Follow
Mihaela Sighireanu
Mihaela Sighireanu
Associate Professor in Computer Science, IRIF, Université de Paris
Verified email at irif.fr - Homepage
Title
Cited by
Cited by
Year
CADP a protocol validation and verification toolbox
JC Fernandez, H Garavel, A Kerbrat, L Mounier, R Mateescu, ...
Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996
6141996
Efficient on-the-fly model-checking for regular alternation-free mu-calculus
R Mateescu, M Sighireanu
Science of Computer Programming 46 (3), 255-281, 2003
2582003
TReX: A tool for reachability analysis of complex systems
A Annichini, A Bouajjani, M Sighireanu
Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001
1512001
An algorithm for automatically obtaining distributed and fault-tolerant static schedules
A Girault, H Kalla, M Sighireanu, Y Sorel
Proceeding of international conference on dependable systems and networks …, 2003
852003
A graphical parallel composition operator for process algebras
H Garavel, M Sighireanu
International Conference on Protocol Specification, Testing and Verification …, 1999
751999
Rewriting Systems with Data: A Framework for Reasoning about Systems with Unbounded Structures over Infinite Data Domains
A Bouajjani, P Habermehl, Y Jurski, M Sighireanu
International Symposium on Fundamentals of Computation Theory, 1-22, 2007
642007
A logic-based framework for reasoning about composite data structures
A Bouajjani, C Drăgoi, C Enea, M Sighireanu
CONCUR 2009-Concurrency Theory: 20th International Conference, CONCUR 2009 …, 2009
542009
Compositional entailment checking for a fragment of separation logic
C Enea, O Lengál, M Sighireanu, T Vojnar
Formal Methods in System Design 51, 575-607, 2017
482017
Abstract domains for automated reasoning about list-manipulating programs with infinite data
A Bouajjani, C Drăgoi, C Enea, M Sighireanu
International Workshop on Verification, Model Checking, and Abstract …, 2012
442012
On inter-procedural analysis of programs with lists and data
A Bouajjani, C Drăgoi, C Enea, M Sighireanu
ACM SIGPLAN Notices 46 (6), 578-589, 2011
432011
Accurate invariant checking for programs manipulating lists and arrays with infinite data
A Bouajjani, C Drăgoi, C Enea, M Sighireanu
International Symposium on Automated Technology for Verification and …, 2012
402012
TOOLympics 2019: An overview of competitions in formal methods
E Bartocci, D Beyer, PE Black, G Fedyukovich, H Garavel, A Hartmanns, ...
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019
392019
Cadp’97–status, applications and perspectives
H Garavel, M Jorgensen, R Mateescu, C Pecheur, M Sighireanu, B Vivien
Proceedings of the 2nd COST 247, 1997
391997
On automated lemma generation for separation logic with inductive definitions
C Enea, M Sighireanu, Z Wu
Automated Technology for Verification and Analysis: 13th International …, 2015
382015
Verification of the link layer protocol of the IEEE-1394 serial bus (FireWire): an experiment with E-LOTOS
M Sighireanu, R Mateescu
International Journal on Software Tools for Technology Transfer (STTT) 2 (1 …, 1998
371998
Guidelines for the verification of population protocols
J Clément, C Delporte-Gallet, H Fauconnier, M Sighireanu
2011 31st International Conference on Distributed Computing Systems, 215-224, 2011
352011
Planning Robust Temporal Plans A Comparison Between CBTP and TGA Approaches
Y Abdeddaim, E Asarin, M Gallien, F Ingrand, C Lesire, M Sighireanu
International Conference on Automated Planning and Scheduling, 2-9, 2007
342007
A generic framework for reasoning about dynamic networks of infinite-state processes
A Bouajjani, C Dragoi, C Enea, Y Jurski, M Sighireanu
Logical Methods in Computer Science 5, 2009
332009
Towards a second generation of formal description techniques–rationale for the design of E-LOTOS
H Garavel, M Sighireanu
Proceedings of the 3rd International Workshop on Formal Methods for …, 1998
331998
Parameterized reachability analysis of the IEEE 1394 root contention protocol using TReX
A Collomb-Annichini, M Sighireanu
Proceedings of the Real-Time Tools Workshop (RT TOOLS'01), 1-20, 2001
312001
The system can't perform the operation now. Try again later.
Articles 1–20