-
1
-
-
0023544236
-
Introduction to the ISO specification language LOTOS
-
January
-
T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14(1):25-29, January 1988.
-
(1988)
Computer Networks and ISDN Systems
, vol.14
, Issue.1
, pp. 25-29
-
-
Bolognesi, T.1
Brinksma, E.2
-
2
-
-
0025595038
-
Symbolic model checking: 1020 states and beyond
-
J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and J. Hwang. Symbolic model checking: 1020 states and beyond. In Proceedings of the International Conference on Logic in Computer Science'90, 1990.
-
(1990)
Proceedings of the International Conference on Logic in Computer Science'90
-
-
Burch, J.R.1
Clarke, E.M.2
McMillan, K.L.3
Dill, D.L.4
Hwang, J.5
-
3
-
-
84959201388
-
Model checking SDL with SPIN
-
Berlin, Germany, LNCS
-
D. Bosnacki, D. Dams, L. Holenderski, and N. Sidorova. Model Checking SDL with SPIN. In Proceedings of TACAS'2000, Berlin, Germany, LNCS, 2000.
-
(2000)
Proceedings of TACAS'2000
-
-
Bosnacki, D.1
Dams, D.2
Holenderski, L.3
Sidorova, N.4
-
4
-
-
0009353138
-
Safety for branching time semantics
-
LNCS, July
-
A. Bouajjani, J.Cl. Fernandez, S. Graf, C. Rodriguez, and J. Sifakis. Safety for Branching Time Semantics. In 18th ICALP, number 510 in LNCS, July 1991.
-
(1991)
18th ICALP
, Issue.510
-
-
Bouajjani, A.1
Fernandez, J.Cl.2
Graf, S.3
Rodriguez, C.4
Sifakis, J.5
-
5
-
-
84894617204
-
Verification and test generation for the SSCOP protocol
-
M. Bozga, J.-C. Fernandez, L. Ghirvu, C. Jard, T. Jéron, A. Kerbrat, P. Morel, and L. Mounier. Verification and Test Generation for the SSCOP Protocol. SCP, 1998.
-
(1998)
SCP
-
-
Bozga, M.1
Fernandez, J.-C.2
Ghirvu, L.3
Jard, C.4
Jéron, T.5
Kerbrat, A.6
Morel, P.7
Mounier, L.8
-
6
-
-
0038565213
-
IF: An intermediate representation and validation environment for timed asynchronous systems
-
Toulouse, France, LNCS
-
M. Bozga, J.-C. Fernandez, L. Ghirvu, S. Graf, J.P. Krimm, and L. Mounier. IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems. In Proceedings of FM'99, Toulouse, France, LNCS, 1999.
-
(1999)
Proceedings of FM'99
-
-
Bozga, M.1
Fernandez, J.-C.2
Ghirvu, L.3
Graf, S.4
Krimm, J.P.5
Mounier, L.6
-
7
-
-
0242453791
-
IF: An intermediate representation for sdl and its applications
-
Montreal, Canada, June
-
M. Bozga, J.-C. Fernandez, L. Ghirvu, S. Graf, J.P. Krimm, L. Mounier, and J. Sifakis. IF: An Intermediate Representation for SDL and its Applications. In Proceedings of SDL-FORUM'99, Montreal, Canada, June 1999.
-
(1999)
Proceedings of SDL-FORUM'99
-
-
Bozga, M.1
Fernandez, J.-C.2
Ghirvu, L.3
Graf, S.4
Krimm, J.P.5
Mounier, L.6
Sifakis, J.7
-
8
-
-
19144365969
-
Using static analysis to improve automatic test generation
-
Berlin, Germany, LNCS
-
M. Bozga, J-C. Fernandez, and L. Ghirvu. Using Static Analysis to Improve Automatic Test Generation. In Proceedings of TACAS'2000, Berlin, Germany, LNCS, 2000.
-
(2000)
Proceedings of TACAS'2000
-
-
Bozga, M.1
Fernandez, J.-C.2
Ghirvu, L.3
-
9
-
-
11344277728
-
IF: A validation environment for timed asynchronous systems
-
E.A. Emerson and A.P. Sistla, editors, LNCS. Springer, July
-
M. Bozga, J.Cl. Fernandez, L. Ghirvu, S. Graf, J.P. Krimm, and L. Mounier. IF: A Validation Environment for Timed Asynchronous Systems. In E.A. Emerson and A.P. Sistla, editors, Proceedings of CAV'00 (Chicago, USA), LNCS. Springer, July 2000.
-
(2000)
Proceedings of CAV'00 (Chicago, USA)
-
-
Bozga, M.1
Fernandez, J.Cl.2
Ghirvu, L.3
Graf, S.4
Krimm, J.P.5
Mounier, L.6
-
10
-
-
35248879628
-
Timed extensions for sdl
-
June
-
Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, and Daniel Vincent. Timed extensions for sdl. In Proceedings, SDL Forum 2001, June 2001.
-
(2001)
Proceedings, SDL Forum 2001
-
-
Bozga, M.1
Graf, S.2
Kerbrat, A.3
Mounier, L.4
Ober, I.5
Vincent, D.6
-
11
-
-
84863928730
-
Computing abstractions of infinite state systems compositionally and automatically
-
A. Hu and M. Vardi, editors, volume 1427 of LNCS, June
-
S. Bensalem, Y. Lakhnech, and S. Owre. Computing Abstractions of Infinite State Systems Compositionally and Automatically. In A. Hu and M. Vardi, editors, Proceedings of CAV'98 (Vancouver, Canada), volume 1427 of LNCS, pages 319-331, June 1998.
-
(1998)
Proceedings of CAV'98 (Vancouver, Canada)
, pp. 319-331
-
-
Bensalem, S.1
Lakhnech, Y.2
Owre, S.3
-
12
-
-
84894633089
-
-
Technical report, Verimag, Grenoble, France, December
-
M. Bozga, L. Mounier, and D. Lesens. Model Checking Ariane-5 Flight Program. Technical report, Verimag, Grenoble, France, December 2000.
-
(2000)
Model Checking Ariane-5 Flight Program
-
-
Bozga, M.1
Mounier, L.2
Lesens, D.3
-
13
-
-
0013212910
-
Modeling urgency in timed systems
-
volume 1536 of LNCS. Springer, September
-
S. Bornot, J. Sifakis, and S. Tripakis. Modeling Urgency in Timed Systems. In International Symposium: Compositionality - The Significant Difference (Holstein, Germany), volume 1536 of LNCS. Springer, September 1997.
-
(1997)
International Symposium: Compositionality - The Significant Difference (Holstein, Germany)
-
-
Bornot, S.1
Sifakis, J.2
Tripakis, S.3
-
14
-
-
0002367651
-
Design and synthesis of synchronisation skeletons using branching time temporal logic
-
volume 131 of LNCS
-
E.M. Clarke and E.A. Emerson. Design and Synthesis of Synchronisation Skeletons using Branching Time Temporal Logic. In Proceedings of IBM Workshop on Logics of Programs, volume 131 of LNCS, 1981.
-
(1981)
Proceedings of IBM Workshop on Logics of Programs
-
-
Clarke, E.M.1
Emerson, E.A.2
-
15
-
-
0028513196
-
Model checking and abstraction
-
September
-
E.M. Clarke, O. Grumberg, and D.E. Long. Model checking and abstraction. ACM Transactions on Programming Languages and Systems, 16(5):1512-1542, September 1994.
-
(1994)
ACM Transactions on Programming Languages and Systems
, vol.16
, Issue.5
, pp. 1512-1542
-
-
Clarke, E.M.1
Grumberg, O.2
Long, D.E.3
-
18
-
-
19144371487
-
-
August
-
I. Dravapoulos, N. Pronios, and S. Denazis et al. The Magic WAND, Deliverable 3D5, Wireless ATM MAC, Final Report, August 1998.
-
(1998)
The Magic WAND, Deliverable 3D5, Wireless ATM MAC, Final Report
-
-
Dravapoulos, I.1
Pronios, N.2
Denazis, S.3
-
20
-
-
84957379824
-
CADP: A protocol validation and verification toolbox
-
New Brunswick, USA, volume 1102 of LNCS, July
-
J.-C. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier, and M. Sighireanu. CADP: A Protocol Validation and Verification Toolbox. In Proceedings of CAV'96, New Brunswick, USA, volume 1102 of LNCS, July 1996.
-
(1996)
Proceedings of CAV'96
-
-
Fernandez, J.-C.1
Garavel, H.2
Kerbrat, A.3
Mateescu, R.4
Mounier, L.5
Sighireanu, M.6
-
21
-
-
0031191628
-
An Experiment in automatic generation of test suites for protocols with verification technology
-
J.C. Fernandez, C. Jard, T. Jéron, and C. Viho. An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology. Science of Computer Programming, 29, 1997.
-
(1997)
Science of Computer Programming
, vol.29
-
-
Fernandez, J.C.1
Jard, C.2
Jéron, T.3
Viho, C.4
-
22
-
-
0001676405
-
"On the fly" verification of behavioural equivalences and preorders
-
Aalborg University, Denmark, LNCS, July
-
J.-C. Fernandez and L. Mounier. "On the fly" Verification of Behavioural Equivalences and Preorders. In Workshop on Computer-Aided Verification, Aalborg University, Denmark, LNCS, July 1991.
-
(1991)
Workshop on Computer-Aided Verification
-
-
Fernandez, J.-C.1
Mounier, L.2
-
25
-
-
84894615259
-
Compositional Minimisation of finite state processes
-
number 531 in LNCS
-
S. Graf and B. Steffen. Compositional Minimisation of Finite State Processes. In Proceedings of CAV'90, Rutgers, number 531 in LNCS, 1990.
-
(1990)
Proceedings of CAV'90 Rutgers
-
-
Graf, S.1
Steffen, B.2
-
26
-
-
0025207743
-
Algorithms for automated protocol validation
-
January
-
G.J. Holzmann. Algorithms for automated protocol validation. AT&T technical Journal, 60(1):32-44, January 1990.
-
(1990)
AT&T Technical Journal
, vol.60
, Issue.1
, pp. 32-44
-
-
Holzmann, G.J.1
-
30
-
-
33749193192
-
On-line model-checking for finite linear temporal logic specifications
-
J. Sifakis, editor, volume 407 of LNCS, Springer Verlag, Juin
-
C. Jard and T. Jeron. On-Line Model-Checking for Finite Linear Temporal Logic Specifications. In J. Sifakis, editor, Proceedings of the 1st Workshop on Automatic Verification Methods for Finite State Systems (Grenoble, France), volume 407 of LNCS, pages 189-196. Springer Verlag, Juin 1989.
-
(1989)
Proceedings of the 1st Workshop on Automatic Verification Methods for Finite State Systems (Grenoble, France)
, pp. 189-196
-
-
Jard, C.1
Jeron, T.2
-
31
-
-
33645866139
-
Compositional State space generation with partial order reductions for asynchronous communicating systems
-
Berlin, Germany, LNCS
-
J.P. Krimm and L. Mounier. Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems. In Proceedings of TACAS'2000, Berlin, Germany, LNCS, 2000.
-
(2000)
Proceedings of TACAS'2000
-
-
Krimm, J.P.1
Mounier, L.2
-
32
-
-
49049126479
-
Results on the propositional μ-calculus
-
North-Holland
-
D. Kozen. Results on the Propositional μ-Calculus. In Theoretical Computer Science. North-Holland, 1983.
-
(1983)
Theoretical Computer Science
-
-
Kozen, D.1
-
34
-
-
0029207880
-
Property preserving abstractions for the verification of concurrent systems
-
jan first published in CAV'92, LNCS 663
-
C. Loiseaux, S. Graf, J. Sifakis, A. Bouajjani, and S. Bensalem. Property preserving abstractions for the verification of concurrent systems. Formal Methods in System Design, 6, Issue 1:11-44, jan 1995. first published in CAV'92, LNCS 663.
-
(1995)
Formal Methods in System Design
, vol.6
, Issue.1
, pp. 11-44
-
-
Loiseaux, C.1
Graf, S.2
Sifakis, J.3
Bouajjani, A.4
Bensalem, S.5
-
36
-
-
0003630836
-
-
volume 92 of Lecture Notes in Computer Science. Springer- Verlag
-
R. Milner. A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. Springer-Verlag, 1980.
-
(1980)
A Calculus of Communicating Systems
-
-
Milner, R.1
-
38
-
-
0001439560
-
Specification and verification of concurrent programs in cesar
-
volume 137 of LNCS
-
J.P. Queille and J. Sifakis. Specification and Verification of Concurrent Programs in CESAR. In International Symposium on Programming, volume 137 of LNCS, 1982.
-
(1982)
International Symposium on Programming
-
-
Queille, J.P.1
Sifakis, J.2
-
40
-
-
84894609776
-
-
Verilog. ObjectGEODE
-
Verilog. ObjectGEODE SDL Simulator - Reference Manual. http://www.verilogusa.com/products/geode.htm, 1996.
-
(1996)
SDL Simulator - Reference Manual
-
-
-
42
-
-
84896693998
-
KRONOS: A verification tool for real-time systems
-
December
-
S. Yovine. KRONOS: A Verification Tool for Real-Time Systems. Software Tools for Technology Transfer, 1(1+2):123-133, December 1997.
-
(1997)
Software Tools for Technology Transfer
, vol.1
, Issue.1-2
, pp. 123-133
-
-
Yovine, S.1
|