dblp.uni-trier.dewww.uni-trier.de

Lucian Ghirvu Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2003
9EEMarius Bozga, Jean-Claude Fernandez, Lucian Ghirvu: Using static analysis to improve automatic test generation. STTT 4(2): 142-152 (2003)
8EEJean-Claude Fernandez, Marius Bozga, Lucian Ghirvu: State space reduction based on live variables analysis. Sci. Comput. Program. 47(2-3): 203-220 (2003)
2000
7 Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier: IF: A Validation Environment for Timed Asynchronous Systems. CAV 2000: 543-547
6 Saddek Bensalem, Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Yassine Lakhnech: A Transformational Approach for Generating Non-linear Invariants. SAS 2000: 58-74
5EEMarius Bozga, Jean-Claude Fernandez, Lucian Ghirvu: Using Static Analysis to Improve Automatic Test Generation. TACAS 2000: 235-250
4 Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, Alain Kerbrat, Pierre Morel, Laurent Mounier: Verification and test generation for the SSCOP protocol. Sci. Comput. Program. 36(1): 27-52 (2000)
1999
3EEMarius Bozga, Jean-Claude Fernandez, Lucian Ghirvu: State Space Reduction Based on Live Variables Analysis. SAS 1999: 164-178
2 Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier, Joseph Sifakis: IF: An intermediate representation for SDL and its applications. SDL Forum 1999: 423-440
1EEMarius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier: IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems. World Congress on Formal Methods 1999: 307-327

Coauthor Index

1Saddek Bensalem [6]
2Marius Bozga [1] [2] [3] [4] [5] [6] [7] [8] [9]
3Jean-Claude Fernandez [1] [2] [3] [4] [5] [6] [7] [8] [9]
4Susanne Graf [1] [2] [7]
5Claude Jard [4]
6Thierry Jéron [4]
7Alain Kerbrat [4]
8Jean-Pierre Krimm [1] [2] [7]
9Yassine Lakhnech [6]
10Pierre Morel [4]
11Laurent Mounier [1] [2] [4] [7]
12Joseph Sifakis [2]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)