Search - Nantes Université Access content directly

Filter your results

73 Results
authIdHal_s : andre-p
Image document

Alignement des points de vue du système d'information Une approche pragmatique

Jonathan Pepin , Pascal Andre , Christian Attiogbé , Erwann Breton
Actes du XXXVIème Congrès INFORSID, May 2018, Nantes, France
Conference papers hal-02468406v1

A tool-assisted method for the systematic construction of critical embedded systems using Event-B

Pascal Andre , Christian Attiogbé , Arnaud Lanoix
Computer Science and Information Systems, 2019, 00, pp.42-42. ⟨10.2298/CSIS190501042A⟩
Journal articles hal-02468473v1
Image document

A review of reference architectures for digital manufacturing: Classification, applicability and open issues

Jan Kaiser , Duncan Mcfarlane , Gregory Hawkridge , Pascal André , Paulo Leitão
Computers in Industry, 2023, 149, pp.103923. ⟨10.1016/j.compind.2023.103923⟩
Journal articles hal-04085152v1
Image document

A Review of Core Operational Business-IT Alignment

Pascal Andre , Dalila Tamzalit , Ali Benjilany , Hugo Bruneliere
31st International Conference on Information Systems Development (ISD 2023), Aug 2023, Lisbon, Portugal
Conference papers hal-04140806v1
Image document

Un outil d'assistance à la construction de tests de modèles à composants et services

Pascal Andre , Gilles Ardourel , Jean-Marie Mottu , Gerson Sunyé
16èmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2017, Montpellier, France
Conference papers hal-01628306v1
Image document

COSTOTest: a tool for building and running test harness for service-based component models (demo)

Pascal Andre , Jean-Marie Mottu , Gerson Gerson Sunyé
ISSTA 2016 Proceedings of the 25th International Symposium on Software Testing and Analysis, Jul 2016, Saarbrücken, Germany. pp.437-440, ⟨10.1145/2931037.2948704⟩
Conference papers hal-01436067v1

The Invoicing System: Using GAT

Pascal André , Jean-Claude Royer
Comparing Systems Specification Techniques, Henri Habrias, 1998, Nantes, France. pp.381-395
Conference papers hal-01135557v1

A Service-Based Component Model{:} Description Formalism, Formal Analysis and Mechanization

Pascal André , Gilles Ardourel , Christian Attiogbé , Henri Habrias , Cédric Stoquer
2005
Other publications hal-00458116v1

Exercices corrigés en langage Z - Les spécifications formelles par la pratique

Pascal André , Alain Vailly
Editions Ellipses, pp.246, 2004, Collection Technosup
Books hal-00458124v1
Image document

Protocoles d'utilisation de composants : spécification et analyse en Kmelia

Pascal Andre , Gilles Ardourel , Christian Attiogbé
1ère Conférence Francophone sur les Architectures Logicielles, Sep 2006, Nantes, France. pp.101--118
Conference papers hal-00423665v1

Aggregation Patterns in Holonic Manufacturing Systems

Pascal André , Olivier Cardin
Studies in Computational Intelligence, 2022, Studies in Computational Intelligence, 1034, pp.3-15. ⟨10.1007/978-3-030-99108-1_1⟩
Journal articles hal-03904851v1
Image document

A Survey on Secure Android Apps Development Life-Cycle: Vulnerabilities and Tools

Mohammed El Amin Tebib , Mariem Graa , Pascal Andre , Oum-El-Kheir Aktouf
International Journal On Advances in Security, 2023, 16 (1 & 2), pp.54-71
Journal articles hal-04181107v1

Un cadre pour la vérification de modèles UML

Pascal André , Gilles Ardourel , Gerson Sunye
2005
Other publications hal-00458117v1

Vérification de conformité des interactions entre composants

Pascal André , Gilles Ardourel , Christian Attiogbé , Henri Habrias , Cédric Stoquer
LMO Workshop (Objets, Composants et Modèles), OCM'05, 2005, Berne, Suisse, Suisse. pp.1-6
Conference papers hal-00458121v1

Application d'ontologies formelles au droit

Pascal André , Henri Habrias
SDC'06 Journée sur les Ontologies et textes juridiques, OTJ'06, 2006, Nantes, France, France. pp.30--39
Conference papers hal-00458123v1

Préconditions et invariants, l'écriture de contraintes mal adaptées à un paradigme de spécification

Henri Habrias , Pascal André
22e congrès INFORSID, 2004, Biarritz, France, France. pp.387--403
Conference papers hal-00467549v1
Image document

Correction d'assemblages de composants impliquant des interfaces paramétrées

Pascal André , Christian Attiogbé , Mohamed Messabihi
3e Conférence Francophone sur les Architectures Logicielles, Mar 2009, Nancy, France. pp.34--44
Conference papers hal-00423658v1

Optimizing Method Search with Lookup Caches and Incremental Coloring

Pascal André , Jean-Claude Royer
110-126, Oct 1992, Vancouver, Canada. pp.110-126, ⟨10.1145/141937.141947⟩
Conference papers hal-01135528v1
Image document

Vérification de contrats logiciels à l'aide de transformations de modèles Application à Kmelia

Pascal Andre , Gilles Ardourel , Mohamed Messabihi
7ièmes Journées sur l'Ingénierie Dirigée par les Modèles, Ileana Ober, Jun 2011, Toulouse, France
Conference papers hal-01147192v1

More Automation in Model Driven Development

Pascal Andre , Mohammed El Amin Tebib
Model and Data Engineering, 12732, Springer International Publishing, pp.75-83, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-78428-7_7⟩
Book sections hal-03682475v1

Definition and Visualization of Virtual Meta-model Extensions with a Facet Framework

Pascal Andre , Jonathan Pepin , Christian Attiogbé , Erwan Breton
Model-Driven Engineering and Software Development - 6th International Conference, {MODELSWARD} 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers, 991, Springer, pp.106-133, 2019, Communications in Computer and Information Science book series (CCIS, volume 991), ⟨10.1007/978-3-030-11030-7_6⟩
Book sections hal-02090263v1
Image document

Virtual Extension of Meta-models with Facet Tools

Pascal Andre , Jonathan Pepin , Christian Attiogbé , Erwan Breton
6th International Conference on Model-Driven Engineering and Software Development, Jan 2018, Funchal, Portugal. ⟨10.5220/0006547100590070⟩
Conference papers hal-01911500v1
Image document

Raffinement de protocoles de communication par transformation de modèle

Pascal Andre , Antoine Guérin , Anthony Rozen , Alexandre Gicquel
13ème Colloque sur la Modélisation des Systèmes Réactifs (MSR'21), CNAM, Sep 2021, Paris, France
Conference papers hal-04203186v1

Multi-protocol Communication Tool for Virtualized Cyber Manufacturing Systems

Pascal Andre , Olivier Cardin , Fawzi Azzi
Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future, 952, Springer International Publishing, pp.385-397, 2021, Studies in Computational Intelligence, ⟨10.1007/978-3-030-69373-2_27⟩
Book sections hal-03452293v1

Case Studies in Model-Driven Reverse Engineering

Pascal Andre
7th International Conference on Model-Driven Engineering and Software Development, Feb 2019, Prague, Czech Republic. pp.258-265, ⟨10.5220/0007312502580265⟩
Conference papers hal-02468440v1
Image document

Assistance au test de modèles à composants et services

Pascal Andre , Gilles Ardourel , Jean-Marie Mottu
2ème Conférence en IngénieriE du Logiciel, Apr 2013, Nancy, France. pp.13-28
Conference papers hal-00823319v1

Checking the Consistency of UML Class Diagrams Using Larch Prover

Pascal André , Annya Réquilé Romanczuk , Jean-Claude Royer , Vasconcelos Aline
Third Rigorous Object-Oriented Methods Workshop, 2000, York, United Kingdom
Conference papers hal-01135641v1
Image document

Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies

Pascal Andre , Gilles Ardourel , Christian Attiogbé , Arnaud Lanoix
6th International Workshop on Formal Aspects of Component Software (FACS 2009), Oct 2009, Eindhoven, Netherlands
Conference papers hal-00423672v1

Behavioural Verification of Service Composition

Pascal André , Gilles Ardourel , Christian Attiogbé
ICSOC Workshop on Engineering Service Compositions, WESC'05, 2005, Amsterdam, The Netherlands, Netherlands. pp.77--84
Conference papers hal-00458120v1
Image document

Systematic Construction of Critical Embedded Systems Using Event-B

Pascal Andre , Christian Attiogbé , Arnaud Lanoix
New Trends in Model and Data Engineering - MEDI 2018 Workshops: DETECT, MEDI4SG, IWCFS, REMEDY, Oct 2018, Marrakesh, Morocco. ⟨10.1007/978-3-030-02852-7_18⟩
Conference papers hal-01929259v1