Skip to Main content Skip to Navigation

Search by documents

hal-01971429v1  Journal articles
Albert BenvenisteBenoît CaillaudDejan NickovicRoberto PasseroneJean-Baptiste Raclet et al.  Contracts for System Design
Foundations and Trends in Electronic Design Automation, Now Publishers, 2018, 12 (2-3), pp.124-400. ⟨10.1561/1000000053⟩
hal-02089261v1  Conference papers
Jon Haël BrenasRachid EchahedMartin Strecker. On the Closure of Description Logics under Substitutions
29th International Workshop on Description Logics (DL 2016), Apr 2016, Cape Town, South Africa. pp.1-12
hal-02451005v1  Conference papers
Kahina HacidYamine Aït-Ameur. Strengthening MDE and Formal Design Models by References to Domain Ontologies. A Model Annotation Based Approach
International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016), Oct 2016, Corfu, Greece. pp.340-357
hal-01430628v1  Conference papers
John Paul GibsonIdir Ait-SadouneMarc Pantel. Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction.
7th International Symposium, ISoLA 2016, Oct 2016, Corfu, Greece
hal-02272323v1  Conference papers
Ning GeMarc PantelXavier Crégut. Probabilistic Failure Analysis in Model V&V
Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France
hal-02559762v1  Conference papers
Amani MakhloufHanh Nhi TranChristian PerceboisMartin Strecker. Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations
International Conference on Tests and Proofs (TAP 2016), Jul 2016, Vienna, Austria. pp.183-190
hal-01246669v1  Book sections
Manamiary Bruno AndriamiarinaDominique MéryNeeraj Kumar Singh. Incremental Proof-Based Development for Resilient Distributed Systems
Trustworthy Cyber-Physical Systems Engineering, Taylor and Francis Group, 2016, Trustworthy Cyber-Physical Systems Engineering
hal-01500510v1  Conference papers
Badr SialaMohamed Tahar BhiriJean-Paul BodeveixM Filali. Un processus de développement Event-B pour des applications distribuées
15emes Journéees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), en collaboration avec les journées du GDR GPL, Jun 2016, Besançon, France. pp. 94-100
hal-01231772v1  Conference papers
Faiez ZalilaXavier CrégutMarc Pantel. A transformation-driven approach to automate feedback verification results
3rd International Conference On Model and Data Engineering (MEDI 2013), Sep 2013, Amantea, Calabria, Italy. pp. 266-277
hal-02903005v1  Conference papers
Armando CastañedaAurélie HuraultPhilippe QuéinnecMatthieu Roy. Tasks in Modular Proofs of Concurrent Algorithms
21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), Oct 2019, Pisa, Italy. pp.69-83, ⟨10.1007/978-3-030-34992-9_6⟩
inria-00504667v1  Conference papers
Xavier CrégutBenoit CombemaleMarc PantelRaphaël FaudouxJonatas Pavei. Generative technologies for model animation in the TopCased platform
6th European Conference on Modelling Foundations and Applications (ECMFA 2010), 2010, Paris, France, South Africa. pp.90--103
hal-01913983v1  Conference papers
Sergei Soloviev. On Isomorphism of Dependent Products in a Typed Logical Framework
20th International Conference on Types for Proofs and Programs (TYPES 2014), May 2014, Paris, France. pp. 274-287
hal-02333423v1  Conference papers
Dominique Larchey-WendlingRalph Matthes. Certification of Breadth-First Algorithms by Extraction
13th International Conference on Mathematics of Program Construction, MPC 2019, Oct 2019, Porto, Portugal. pp.45-75, ⟨10.1007/978-3-030-33636-3_3⟩
hal-02263437v1  Conference papers
Matteo BordinTonu NaksAndres ToomMarc Pantel. Compilation of Heterogeneous Models: Motivations and Challenges
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
hal-02272341v1  Conference papers
Faiez ZalilaXavier CrégutMarc Pantel. A user-oriented approach to integrate formal verification activity for DSML
Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France
inria-00091666v1  Conference papers
Martin StreckerMathieu Giorgino. Towards a Formalisation of Graph Transformations in Proof Assistants
Automatic Verification of Critical Systems, Sep 2006, Nancy, France. pp.178-183
hal-00447143v1  Conference papers
Rachid BouazizIsmail Berrada. Testing Component-Based Real Time Systems
SNPD '08: Proceedings of the 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, Aug 2008, Phuket, Thailand. pp.888--894, ⟨10.1109/SNPD.2008.105⟩
hal-01402565v1  Conference papers
Ning GeShin NakajimaMarc Pantel. Hidden Markov Model Based Automated Fault Localization for Integration Testing
4th International Conference on Software Engineering and Service Science (ICSESS 2013), May 2013, Beijing, China. pp. 1-4
hal-02875595v1  Conference papers
Erwan Le MerrerBenoît MorganGilles Trédan. Bug ou ban ? Une Perspective Topologique sur le Shadow Banning
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France. pp.1-4
hal-01231769v1  Conference papers
Manuel GarnachoJean-Paul BodeveixM Filali. A Mechanized Semantic Framework for Real-Time Systems
11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2013), Aug 2013, Buenos Aires, Argentina. pp. 106-120
inria-00548815v1  Conference papers
Gregor GoesslerDaniel Le MétayerJean-Baptiste Raclet. Causality Analysis in Contract Violation
Runtime Verification, Nov 2010, St Julians, Malta. pp.270-284
hal-00369873v1  Conference papers
Benoit CombemaleXavier CrégutAlain CaplainBernard Coulette. Towards a rigorous use of SPEM
Eighth International Conference on Enterprise Information Systems, May 2006, Paphos, Cyprus. pp.530-533
hal-00457182v1  Conference papers
Jean-Paul BodeveixM FilaliJulia LawallGilles Muller. Formal Methods Meet Domain Specific Languages
The 5th International Conference on Integrated Formal Methods, 2005, Eindhoven, The Netherlands, Netherlands. pp.187-206