Skip to Main content Skip to Navigation


...
inria-00379423v1  Conference papers
Valérie IssarnyConsortium Connect. CONNECT: Emergent Connectors for Eternal Software Intensive Networked Systems
FET'09 - The European Future Technologies Conference and Exhibition, European Commission, Apr 2009, Prague, Czech Republic
...
hal-01125667v2  Conference papers
Philippe AyraultMatthieu CarlierDavid DelahayeCatherine DuboisDamien Doligez et al.  Trusted Software within Focal
C&ESAR 2008 - Computer & Electronics Security Applications Rendez-vous, Dec 2008, Rennes, France. pp.162-179
...
inria-00369395v1  Reports
Véronique CortierGraham Steel. Synthesising Secure APIs
[Research Report] RR-6882, INRIA. 2009, pp.24
...
tel-00636769v1  Habilitation à diriger des recherches
Steve Kremer. Modelling and analyzing security protocols in cryptographic process calculi
Computer Science [cs]. École normale supérieure de Cachan - ENS Cachan, 2011
...
tel-00010545v1  Theses
Felipe Luna del Aguila. Information Flow Security for Asynchronous, Distributed, and Mobile Applications
Modeling and Simulation. Université Nice Sophia Antipolis, 2005. English
...
hal-01238094v1  Conference papers
Vincent ChevalVéronique CortierEric Le Morvan. Secure refinements of communication channels
FSTTCS 2015, Dec 2015, Bangalore, India
...
hal-01215265v2  Reports
Vincent ChevalVéronique CortierEric Le Morvan. Secure refinements of communication channels
[Research Report] RR-8790, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2015, pp.50
hal-01140824v1  Conference papers
Atif MashkoorJean-Pierre Jacquot. Observation-Level-Driven Formal Modeling
16th IEEE International Symposium on High Assurance Systems Engineering. HASE 2015, Jan 2015, Daytona Beach (FL), United States. pp.158--165, ⟨10.1109/HASE.2015.32⟩
hal-01257171v1  Directions of work or proceedings
Martin LeuckerCamilo RuedaFrank Valencia. Theoretical Aspects of Computing - ICTAC 2015
France. 9399, Springer, 2015, Lecture Notes in Computer Science, 978-3-319-25149-3. ⟨10.1007/978-3-319-25150-9⟩
hal-00747305v1  Conference papers
Dominique MéryNeeraj Kumar Singh. Critical systems development methodology using formal techniques
3rd International Symposium on Information and Communication Technology - SoICT 2012, Aug 2012, Ha Long, Vietnam. pp.3-12, ⟨10.1145/2350716.2350720⟩
hal-00743808v1  Books
Dimitra GiannakopoulouDominique Méry. FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
Dimitra Giannakopoulou and Dominique Méry. Springer, 7436, pp.488, 2012, LNCS - Lecture Notes in Computer Science, 978-3-642-32758-2. ⟨10.1007/978-3-642-32759-9⟩
...
hal-01087659v1  Conference papers
Maxime CordyAndreas ClassenGilles PerrouinPierre-Yves SchobbensPatrick Heymans et al.  Simulation-Based Abstractions for Software Product-Line Model Checking
ICSE 2012 : 34th International Conference on Software Engineering, Jun 2012, Zürich, Switzerland. pp.672 - 682, ⟨10.1109/ICSE.2012.6227150⟩
...
hal-02598330v1  Reports
Georges GonthierLeslie Lamport. Recursive Operator Definitions
[Research Report] RR-9341, Inria Saclay Ile de France. 2020, pp.17
...
tel-01750224v2  Theses
Faqing Yang. A Simulation Framework for the Validation of Event-B Specifications
Formal Languages and Automata Theory [cs.FL]. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0158⟩
...
hal-01798224v1  Conference papers
John Paul GibsonDominique Méry. Explicit modelling of physical measures: from Event-B to Java
IMPEX 2017: 1st International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development, Nov 2017, Xi’An, China. pp.64 - 79, ⟨10.4204/EPTCS.271.5⟩
...
hal-01658423v1  Conference papers
John Paul GibsonSouad KherroubiDominique Méry. Applying a Dependency Mechanism for Voting Protocol Models Using Event-B
37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2017), Jun 2017, Neuchâtel, Switzerland. pp.124-138, ⟨10.1007/978-3-319-60225-7_9⟩
inria-00528582v1  Journal articles
Patrick CousotRadhia CousotJérôme FeretLaurent MauborgneAntoine Miné et al.  Why does Astrée scale up?
Formal Methods in System Design, Springer Verlag, 2009, Special issue on Numerical Software Verification, 35 (3), pp.229-264. ⟨10.1007/s10703-009-0089-6⟩
...
tel-02411487v1  Theses
Andreea Beica. Abstractions of Biochemical Reaction Networks
Quantitative Methods [q-bio.QM]. PSL University, 2019. English
...
tel-01483676v1  Theses
Pierre Wilke. Formally verified compilation of low-level C code
Programming Languages [cs.PL]. Université Rennes 1, 2016. English. ⟨NNT : 2016REN1S088⟩