Validation of the Link Layer Protocol of the IEEE-1394 Serial Bus («FireWire»): an Experiment with E-LOTOS
Mihaela Sighireanu
,
Radu Mateescu
[Research Report] RR-3172, INRIA. 1997
Rapport
inria-00073516v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
An algorithm for automatically obtaining distributed and fault-tolerant static schedules
Alain Girault
,
Hamoudi Kalla
,
Mihaela Sighireanu
,
Yves Sorel
Jun 2003, pp.165-190
Communication dans un congrès
hal-00110453v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Compositional Invariant Checking for Overlaid and Nested Linked Lists
Constantin Enea
,
Vlad Saveluc
,
Mihaela Sighireanu
[Research Report] 2012, pp.27
Rapport
hal-00768389v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Compositional Entailment Checking for a Fragment of Separation Logic
Constantin Enea
,
Ondřej Lengál
,
Sighireanu Mihaela
,
Tomáš · Vojnar
Article dans une revue
hal-01937818v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism
Mihaela Sighireanu
,
Tayssir Touili
Infinity , 2006, Bonn, Germany
Communication dans un congrès
hal-00110134v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
TReX: A Tool for Reachability Analysis of Complex Systems
Aurore Collomb-Annichini
,
Ahmed Bouajjani
,
Mihaela Sighireanu
Jul 2001, pp.368-372
Communication dans un congrès
hal-00110460v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes
Ahmed Bouajjani
,
Yan Jurski
,
Mihaela Sighireanu
Mar 2007, pp.690-705
Communication dans un congrès
hal-00129014v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
6 (E-)LOTOS: (Enhanced) Language Of Temporal Ordering Specification
Kenneth J. Turner
,
Mihaela Sighireanu
H. Habrias and M. Frappier. Software Specification Methods -- An Overview Using a Case Study , ISTE Hermes & Lavoisier, pp.233-258, 2006
Chapitre d'ouvrage
hal-00160467v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
On Automated Lemma Generation for Separation Logic with Inductive Definitions
Constantin Enea
,
Mihaela Sighireanu
,
Zhilin Wu
2015
Pré-publication, Document de travail
hal-01175732v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Synthesis and verification of constraints in the PGM protocol
Marc Boyer
,
Mihaela Sighireanu
12th International Formal Methods Europe Symposium, FM'03 , Sep 2003, Pisa, Italy. pp.264-281
Communication dans un congrès
hal-00110252v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Invariant Synthesis for Programs Manipulating Lists with Unbounded Data
Ahmed Bouajjani
,
Cezara Dragoi
,
Constantin Enea
,
Ahmed Rezine
,
Mihaela Sighireanu
2010
Autre publication scientifique
hal-00473754v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems
Alain Girault
,
Christophe Lavarenne
,
Mihaela Sighireanu
,
Yves Sorel
[Research Report] RR-4006, INRIA. 2000
Rapport
inria-00072638v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
A Value-based Memory Model for Deductive Verification
Quentin Bouillaguet
,
François Bobot
,
Mihaela Sighireanu
,
Boris Yakobowski
Les vingt-neuvièmes Journées Francophones des Langages Applicatifs (The 29th Francophone Days of Application Languages - JFLA 2018) , Jan 2018, Banyuls-sur-mer, France
Communication dans un congrès
cea-01809497v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus
Radu Mateescu
,
Mihaela Sighireanu
Article dans une revue
hal-00109620v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Guidelines for Verification of Population Protocols
Julien Clément
,
Carole Delporte-Gallet
,
Hugues Fauconnier
,
Mihaela Sighireanu
2010
Rapport
hal-00565090v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus
Radu Mateescu
,
Mihaela Sighireanu
[Research Report] RR-3899, INRIA. 2000
Rapport
inria-00072755v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Mode d'emploi pour la vérification des protocoles de population
Julien Clément
,
Carole Delporte-Gallet
,
Hugues Fauconnier
,
Mihaela Sighireanu
13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel) , 2011, Cap Estérel, France
Communication dans un congrès
inria-00584684v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Planning Robust Temporal Plans A Comparison Between CBTP and TGA Approaches
Yasmina Abdeddaim
,
Eugene Asarin
,
Matthieu Gallien
,
Félix Ingrand
,
Charles Lesire
,
et al.
International Conference on Automated Planning and Scheduling , Sep 2007, Providence, Rhode Island, United States. pp.2-9
Communication dans un congrès
hal-00157935v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
SL-COMP: Competition of Solvers for Separation Logic
Mihaela Sighireanu
,
Juan Navarro Pérez
,
Andrey Rybalchenko
,
Nikos Gorogiannis
,
Radu Iosif
,
et al.
Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019 , Apr 2019, Prague, Czech Republic. pp.116-132,
⟨10.1007/978-3-030-17502-3_8⟩
Communication dans un congrès
hal-02388022v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Parameterized Reachability Analysis of the IEEE 1394 Root Contention Protocol using TReX
Aurore Collomb-Annichini
,
Mihaela Sighireanu
Proceedings of the Real-Time Tools Workshop (RT TOOLS'01) , Aug 2001, Aalborg, Denmark. pp.1-20
Communication dans un congrès
hal-00110454v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Analyzing Fair Parametric Extended Automata
Ahmed Bouajjani
,
Aurore Collomb-Annichini
,
Yassine Lakhnech
,
Mihaela Sighireanu
2001, pp.335--355
Communication dans un congrès
hal-00129051v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
SPADE: Verification of Multithreaded Dynamic and Recursive Programs
Gael Patin
,
Mihaela Sighireanu
,
Tayssir Touili
19th International Conference in Computer Aided Verification , Jul 2007, Berlin, Germany. pp.254-257
Communication dans un congrès
hal-00160449v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
The CoLiS Platform for the Analysis of Maintainer Scripts in Debian Software Packages
Benedikt Becker
,
Nicolas Jeannerod
,
Claude Marché
,
Yann Régis-Gianas
,
Mihaela Sighireanu
,
et al.
International Journal on Software Tools for Technology Transfer , 2022
Article dans une revue
hal-03737886v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (``FireWire''): an Experiment with E-LOTOS
Mihaela Sighireanu
,
Radu Mateescu
Article dans une revue
istex
hal-00109622v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Requirement Capture, Formal Description and Verification of an Invoicing System
Mihaela Sighireanu
,
Kenneth J. Turner
RR-3575, INRIA. 1998
Rapport
inria-00073106v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
A Verified Implementation of the Bounded List Container
Raphaël Cauderlier
,
Mihaela Sighireanu
Communication dans un congrès
hal-04425550v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
TOOLympics 2019: An Overview of Competitions in Formal Methods
Ezio Bartocci
,
Dirk Beyer
,
Paul Black
,
Grigory Fedyukovich
,
Hubert Garavel
,
et al.
Communication dans un congrès
hal-02094030v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes
Ahmed Bouajjani
,
Yan Jurski
,
Mihaela Sighireanu
2006
Pré-publication, Document de travail
hal-00129018v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Reasoning about Dynamic Networks of Infinite-State Processes with Global Synchronization
Ahmed Bouajjani
,
Yan Jurski
,
Mihaela Sighireanu
2006
Pré-publication, Document de travail
hal-00129025v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Rewriting Systems with Data
Ahmed Bouajjani
,
Peter Habermehl
,
Yan Jurski
,
Mihaela Sighireanu
International Symposium on Fundamentals of Computation Theory , Aug 2007, Budapest, Hungary. pp.1-22
Communication dans un congrès
hal-00157782v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More