-
2
-
-
84863928730
-
Computing abstractions of infinite state systems compositionally and automatically
-
A. Hu and M. Vardi, editors Proceedings of CAV'98 (Vancouver, Canada) Springer, 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. Springer, June 1998.
-
(1998)
LNCS
, vol.1427
, pp. 319-331
-
-
Bensalem, S.1
Lakhnech, Y.2
Owre, S.3
-
3
-
-
84949238101
-
Modeling urgency in timed systems
-
International Symposium: Compositionality - The Significant Difference (Holstein, Germany) 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)
LNCS
, vol.1536
-
-
Bornot, S.1
Sifakis, J.2
Tripakis, S.3
-
4
-
-
84863904536
-
Model checking SDL with Spin
-
S. Graf and M. Schwartzbach, editors, Proceedings of TACAS'2000 (Berlin, Germany) Springer, March
-
D. Bošnački, D. Dams, L. Holenderski, and N. Sidorova. Model Checking SDL with Spin. In S. Graf and M. Schwartzbach, editors, Proceedings of TACAS'2000 (Berlin, Germany), volume 1785 of LNCS, pages 363-377, Springer, March 2000.
-
(2000)
LNCS
, vol.1785
, pp. 363-377
-
-
Bošnački, D.1
Dams, D.2
Holenderski, L.3
Sidorova, N.4
-
5
-
-
84959052485
-
Safety for branching time semantics
-
Proceedings of ICALP'91 Springer, July
-
A. Bouajjani, J. Cl. Fernandez, S. Graf, C. Rodriguez, and J. Sifakis. Safety for Branching Time Semantics. In Proceedings of ICALP'91, volume 510 of LNCS. Springer, July 1991.
-
(1991)
LNCS
, vol.510
-
-
Bouajjani, A.1
Fernandez, J.Cl.2
Graf, S.3
Rodriguez, C.4
Sifakis, J.5
-
6
-
-
84957692186
-
State space reduction based on live variables analysis
-
A. Cortesi and FiléG., editors, Proceedings of SAS'99 (Venice, Italy) Springer, September
-
M. Bozga, J. Cl. Fernandez, and L. Ghirvu. State Space Reduction based on Live Variables Analysis. In A. Cortesi and FiléG., editors, Proceedings of SAS'99 (Venice, Italy), volume 1694 of LNCS, pages 164-178. Springer, September 1999.
-
(1999)
LNCS
, vol.1694
, pp. 164-178
-
-
Bozga, M.1
Fernandez, J.Cl.2
Ghirvu, L.3
-
7
-
-
27944452663
-
Using static analysis to improve automatic test generation
-
S. Graf and M. Schwartzbach, editors LNCS Springer, March
-
M. Bozga, J. Cl. Fernandez, and L. Ghirvu. Using Static Analysis to Improve Automatic Test Generation. In S. Graf and M. Schwartzbach, editors, Proceedings of TACAS'00 (Berlin, Germany), LNCS, pages 235-250. Springer, March 2000.
-
(2000)
Proceedings of TACAS'00 (Berlin, Germany)
, pp. 235-250
-
-
Bozga, M.1
Fernandez, J.Cl.2
Ghirvu, L.3
-
8
-
-
84958059981
-
IF: An intermediate representation and validation environment for timed asynchronous systems
-
J.M. Wing, J. Woodcock, and J. Davies, editors, Proceedings of FM'99 (Toulouse, France) Springer, September
-
M. Bozga, J.Cl. Fernandez, L. Ghirvu, S. Graf, J.P. Krimm, and L. Mounier. IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems. In J.M. Wing, J. Woodcock, and J. Davies, editors, Proceedings of FM'99 (Toulouse, France), volume 1708 of LNCS, pages 307-327. Springer, September 1999.
-
(1999)
LNCS
, vol.1708
, pp. 307-327
-
-
Bozga, M.1
Fernandez, J.Cl.2
Ghirvu, L.3
Graf, S.4
Krimm, J.P.5
Mounier, L.6
-
9
-
-
0033905743
-
Verification and Test Generation for the SSCOP Protocol
-
Bozga M., Fernandez J.Cl., Ghirvu L., Jard C., Jéron T., Kerbrat A., Morel P., Mounier L. Verification and Test Generation for the SSCOP Protocol. Journal of Science of Computer Programming, Special Isssue on Formal Methods in Industry. 36:(1):January 2000;27-52
-
(2000)
Journal of Science of Computer Programming, Special Isssue on Formal Methods in Industry
, vol.36
, Issue.1
, pp. 27-52
-
-
Bozga, M.1
Fernandez, J.Cl.2
Ghirvu, L.3
Jard, C.4
Jéron, T.5
Kerbrat, A.6
Morel, P.7
Mounier, L.8
-
10
-
-
84958966298
-
Timed extensions for SDL
-
LNCS to appear
-
M. Bozga, S. Graf, L. Mounier, I. Ober, J.L. Roux, and D. Vincent. Timed Extensions for SDL. In Proceedings of SDL FORUM'01, LNCS, 2001. to appear.
-
(2001)
Proceedings of SDL FORUM'01
-
-
Bozga, M.1
Graf, S.2
Mounier, L.3
Ober, I.4
Roux, J.L.5
Vincent, D.6
-
12
-
-
0033697422
-
Bandera: Extracting finite-state models from Java source code
-
June
-
J. Corbett, M. Dwyer, J. Hatcliff, C. Pasareanu, Robby, S. Laubach, and H. Zheng. Bandera: Extracting Finite-state Models from Java Source Code. In Proceedings of the 22nd International Conference on Software Engineering, June 2000.
-
(2000)
Proceedings of the 22nd International Conference on Software Engineering
-
-
Corbett, J.1
Dwyer, M.2
Hatcliff, J.3
Pasareanu, C.4
Robby5
Laubach, S.6
Zheng, H.7
-
13
-
-
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
-
14
-
-
84957379824
-
CADP: A protocol validation and verification toolbox
-
R. Alur and T.A. Henzinger, editors, Proceedings of CAV'96 (New Brunswick, USA) Springer, August
-
J.Cl. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier, and M. Sighireanu. CADP: A Protocol Validation and Verification Toolbox. In R. Alur and T.A. Henzinger, editors, Proceedings of CAV'96 (New Brunswick, USA), volume 1102 of LNCS, pages 437-440. Springer, August 1996.
-
(1996)
LNCS
, vol.1102
, pp. 437-440
-
-
Fernandez, J.Cl.1
Garavel, H.2
Kerbrat, A.3
Mateescu, R.4
Mounier, L.5
Sighireanu, M.6
-
15
-
-
0031191628
-
An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology
-
Fernandez J.Cl., Jard C., Jéron T., Viho C. 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.Cl.1
Jard, C.2
Jéron, T.3
Viho, C.4
-
16
-
-
84947903650
-
OPEN/CæSAR: An open software architecture for verification, simulation, and testing
-
B. Steffen, editor, Proceedings of TACAS'98 (Lisbon, Portugal) Springer, March
-
H. Garavel. OPEN/CæSAR: An Open Software Architecture for Verification, Simulation, and Testing. In B. Steffen, editor, Proceedings of TACAS'98 (Lisbon, Portugal), volume 1384 of LNCS, pages 68-84. Springer, March 1998.
-
(1998)
LNCS
, vol.1384
, pp. 68-84
-
-
Garavel, H.1
-
18
-
-
84936896425
-
Compositional minimisation of finite state processes
-
E. Clarke and R. Kurshan, editors, Proceedings of CAV'90 (Rutgers, USA) AMS/ACM
-
S. Graf and B. Steffen. Compositional Minimisation of Finite State Processes. In E. Clarke and R. Kurshan, editors, Proceedings of CAV'90 (Rutgers, USA), volume 3 of DIMACS, pages 57-74. AMS/ACM, 1990.
-
(1990)
DIMACS
, vol.3
, pp. 57-74
-
-
Graf, S.1
Steffen, B.2
-
19
-
-
84947423533
-
HyTech: A model checker for hybrid systems
-
O. Grumberg, editor, Proceedings of CAV'97 (Haifa, Israel) Springer, June
-
T.H. Henzinger, P.-H. Ho, and H. Wong-Toi. HyTech: A Model Checker for Hybrid Systems. In O. Grumberg, editor, Proceedings of CAV'97 (Haifa, Israel), volume 1254 of LNCS, pages 460-463. Springer, June 1997.
-
(1997)
LNCS
, vol.1254
, pp. 460-463
-
-
Henzinger, T.H.1
Ho, P.-H.2
Wong-Toi, H.3
-
21
-
-
84889547396
-
-
HyPerformix. Ses/Workbench. http://www.hyperformix.com/.
-
Ses/Workbench
-
-
-
22
-
-
84860942524
-
-
I-Logix. StateMate. http://www.ilogix.com/.
-
StateMate
-
-
-
23
-
-
0003783404
-
LOTOS - A formal description technique based on the temporal ordering of observational behaviour
-
International Organization for Standardization - Information Processing Systems - Open Systems Interconnection, Genève
-
ISO/IEC. LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. Technical Report 8807, International Organization for Standardization - Information Processing Systems - Open Systems Interconnection, Genève, 1988.
-
(1988)
Technical Report
, vol.8807
-
-
-
24
-
-
0003930507
-
ATM adaptation layer - Service Specific Connection Oriented Protocol (SSCOP)
-
ITU-T. Recommendation Q.2110 International Telecommunication Union - Standardization Sector, Genève
-
ITU-T. Recommendation Q.2110. ATM Adaptation Layer - Service Specific Connection Oriented Protocol (SSCOP). Technical Report Q-2110, International Telecommunication Union - Standardization Sector, Genève, 1994.
-
(1994)
Technical Report
, vol.Q-2110
-
-
-
25
-
-
0003503508
-
Specification and Description Language (SDL)
-
ITU-T. Recommendation Z.100 International Telecommunication Union - Standardization Sector, Genève, November
-
ITU-T. Recommendation Z.100. Specification and Description Language (SDL). Technical Report Z-100, International Telecommunication Union - Standardization Sector, Genève, November 1999.
-
(1999)
Technical Report
, vol.Z-100
-
-
-
27
-
-
84947433149
-
UPPAAL: Status & developments
-
O. Grumberg, editor, Proceedings of CAV'97 (Haifa, Israel) Springer, June
-
K.G. Larsen, P. Petterson, and W. Yi. UPPAAL: Status & Developments. In O. Grumberg, editor, Proceedings of CAV'97 (Haifa, Israel), volume 1254 of LNCS, pages 456-459. Springer, June 1997.
-
(1997)
LNCS
, vol.1254
, pp. 456-459
-
-
Larsen, K.G.1
Petterson, P.2
Yi, W.3
-
30
-
-
0003624672
-
Unified modeling language specification
-
Object Management Group, June
-
OMG. Unified Modeling Language Specification. Technical Report OMG UML v1.3 - ad/99-06-09, Object Management Group, June 1999.
-
(1999)
Technical Report OMG UML v1.3 - ad/99-06-09
-
-
-
31
-
-
26944434960
-
-
Rational. Rational Rose. http://www.rational.com/.
-
Rational Rose
-
-
-
34
-
-
84896693998
-
KRONOS: A Verification Tool for Real-Time Systems
-
1+2
-
Yovine S. KRONOS: A Verification Tool for Real-Time Systems. Software Tools for Technology Transfer. 1:(1+2):December 1997;123-133
-
(1997)
Software Tools for Technology Transfer
, vol.1
, pp. 123-133
-
-
Yovine, S.1
|