Search - Archive ouverte HAL Access content directly

Filter your results

34 Results
Image document

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
Reports inria-00073516v1
Image document

An algorithm for automatically obtaining distributed and fault-tolerant static schedules

Alain Girault , Hamoudi Kalla , Mihaela Sighireanu , Yves Sorel
Jun 2003, pp.165-190
Conference papers hal-00110453v1
Image document

Guidelines for Verification of Population Protocols

Julien Clément , Carole Delporte-Gallet , Hugues Fauconnier , Mihaela Sighireanu
2010
Reports hal-00565090v1
Image document

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
Conference papers cea-01809497v1
Image document

Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems

Alain Girault , Christophe Lavarenne , Mihaela Sighireanu , Yves Sorel
[Research Report] RR-4006, INRIA. 2000
Reports inria-00072638v1

Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus

Radu Mateescu , Mihaela Sighireanu
Science of Computer Programming, 2003, 46(3), pp.255-281. ⟨10.1016/s0167-6423(02)00094-1⟩
Journal articles hal-00109620v1
Image document

Compositional Entailment Checking for a Fragment of Separation Logic

Constantin Enea , Ondřej Lengál , Sighireanu Mihaela , Tomáš · Vojnar
Formal Methods in System Design, 2017, 51 (3), pp.575-607. ⟨10.1007/s10703-017-0289-4⟩
Journal articles hal-01937818v1
Image document

Compositional Invariant Checking for Overlaid and Nested Linked Lists

Constantin Enea , Vlad Saveluc , Mihaela Sighireanu
[Research Report] 2012, pp.27
Reports hal-00768389v1
Image document

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⟩
Conference papers hal-02388022v1
Image document

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
Conference papers inria-00584684v1
Image document

Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus

Radu Mateescu , Mihaela Sighireanu
[Research Report] RR-3899, INRIA. 2000
Reports inria-00072755v1
Image document

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
Conference papers hal-00157935v1
Image document

Invariant Synthesis for Programs Manipulating Lists with Unbounded Data

Ahmed Bouajjani , Cezara Dragoi , Constantin Enea , Ahmed Rezine , Mihaela Sighireanu et al.
2010
Other publications hal-00473754v1

TReX: A Tool for Reachability Analysis of Complex Systems

Aurore Collomb-Annichini , Ahmed Bouajjani , Mihaela Sighireanu
Jul 2001, pp.368-372
Conference papers hal-00110460v1
Image document

On Automated Lemma Generation for Separation Logic with Inductive Definitions

Constantin Enea , Mihaela Sighireanu , Zhilin Wu
2015
Preprints, Working Papers, ... hal-01175732v1
Image document

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
Book sections hal-00160467v1
Image document

Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism

Mihaela Sighireanu , Tayssir Touili
Infinity, 2006, Bonn, Germany
Conference papers hal-00110134v1

A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes

Ahmed Bouajjani , Yan Jurski , Mihaela Sighireanu
Mar 2007, pp.690-705
Conference papers hal-00129014v1
Image document

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
Conference papers hal-00110252v1
Image document

Requirement Capture, Formal Description and Verification of an Invoicing System

Mihaela Sighireanu , Kenneth J. Turner
RR-3575, INRIA. 1998
Reports inria-00073106v1

Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (``FireWire''): an Experiment with E-LOTOS

Mihaela Sighireanu , Radu Mateescu
International Journal on Software Tools for Technology Transfer, 1998, 2(1), pp.68-88. ⟨10.1007/s100090050018⟩
Journal articles hal-00109622v1

Analyzing Fair Parametric Extended Automata

Ahmed Bouajjani , Aurore Collomb-Annichini , Yassine Lakhnech , Mihaela Sighireanu
2001, pp.335--355
Conference papers hal-00129051v1
Image document

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
Conference papers hal-00110454v1
Image document

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
Conference papers hal-00160449v1

TOOLympics 2019: An Overview of Competitions in Formal Methods

Ezio Bartocci , Dirk Beyer , Paul Black , Grigory Fedyukovich , Hubert Garavel et al.
25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Apr 2019, Prague, Czech Republic. pp.3-24, ⟨10.1007/978-3-030-17502-3_1⟩
Conference papers hal-02094030v1
Image document

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
Journal articles hal-03737886v1
Image document

Introduction à E-LOTOS

Guy Leduc , Alan Jeffrey , Mihaela Sighireanu
Ana Cavalli. Ingenierie des protocoles et qualite de service, Hermes Lavoisier, pp.213-252, 2001, serie IC2
Book sections hal-00109629v1
Image document

A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes

Ahmed Bouajjani , Yan Jurski , Mihaela Sighireanu
2006
Preprints, Working Papers, ... hal-00129018v1
Image document

SPEN: A Solver for Separation Logic

Constantin Enea , Ondřej Lengál , Mihaela Sighireanu , Tomáš Vojnar
9th NASA Formal Methods Symposium (NFM 2017), May 2017, Moffett Field, United States
Conference papers hal-01936210v1
Image document

Reasoning about Dynamic Networks of Infinite-State Processes with Global Synchronization

Ahmed Bouajjani , Yan Jurski , Mihaela Sighireanu
2006
Preprints, Working Papers, ... hal-00129025v1