Volume 5,
Number 1,
November 2003
Special section on trends in verification and validation
- Tiziana Margaria, Wang Yi:
Introductory paper: scalability aspects of validation.
1-3
Electronic Edition (link) BibTeX
- Poul Frederick Williams, Henrik Reif Andersen, Henrik Hulgaard:
Satisfiability checking using Boolean Expression Diagrams.
4-14
Electronic Edition (link) BibTeX
- Tuba Yavuz-Kahveci, Tevfik Bultan:
A symbolic manipulator for automated verification of reactive systems with heterogeneous data types.
15-33
Electronic Edition (link) BibTeX
- Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser:
Finding feasible abstract counter-examples.
34-48
Electronic Edition (link) BibTeX
- Thomas Ball, Andreas Podelski, Sriram K. Rajamani:
Boolean and Cartesian abstraction for model checking C programs.
49-58
Electronic Edition (link) BibTeX
- Brian Nielsen, Arne Skou:
Automated test generation from timed automata.
59-77
Electronic Edition (link) BibTeX
- Elsa L. Gunter, Anca Muscholl, Doron Peled:
Compositional message sequence charts.
78-89
Electronic Edition (link) BibTeX
Regular contribution
Volume 5,
Number 2-3,
March 2004
- Jaco van de Pol:
Introductory paper.
105-106
Electronic Edition (link) BibTeX
- Tiziana Margaria, Bernhard Steffen:
Lightweight coarse-grained coordination: a scalable system-level approach.
107-123
Electronic Edition (link) BibTeX
- David Lugato, Céline Bigot, Yannick Valot, Jean-Pierre Gallois, Sébastien Gérard, François Terrier:
Validation and automatic test generation on UML models: the AGATHA approach.
124-139
Electronic Edition (link) BibTeX
- Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel:
Model-based testing for real.
140-157
Electronic Edition (link) BibTeX
- Gordon J. Pace, Nicolas Halbwachs, Pascal Raymond:
Counter-example generation in symbolic abstract model-checking.
158-164
Electronic Edition (link) BibTeX
- María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel:
aSPIN: A tool for abstract model checking.
165-184
Electronic Edition (link) BibTeX
- Viktor Schuppan, Armin Biere:
Efficient reduction of finite state model checking to reachability analysis.
185-204
Electronic Edition (link) BibTeX
- Thomas Arts, Clara Benac Earle, John Derrick:
Development of a verified Erlang program for resource locking.
205-220
Electronic Edition (link) BibTeX
- Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman:
Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM.
221-236
Electronic Edition (link) BibTeX
- Sylvie Boldo, Marc Daumas:
Properties of two's complement floating point notations.
237-246
Electronic Edition (link) BibTeX
- Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente:
Directed explicit-state model checking in the validation of communication protocols.
247-267
Electronic Edition (link) BibTeX
- Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin:
Covering sharing trees: a compact data structure for parameterized verification.
268-297
Electronic Edition (link) BibTeX
Volume 5,
Number 4,
May 2004
- S. Purushothaman Iyer, David Hislop, Paul L. Jones, Jaime Lee, Frederick Pearce, Stephen Van Albert:
Introductory paper.
299-300
Electronic Edition (link) BibTeX
- John C. Martin:
Formal methods software engineering for the CARA system.
301-307
Electronic Edition (link) BibTeX
- Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee, Jaime Lee, Wonhong Nam, Frederick Pearce, Stephen Van Albert, Jiaxiang Zhou:
Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System.
308-319
Electronic Edition (link) BibTeX
- Raoul Praful Jetley, Cohan Carlos, S. Purushothaman Iyer:
A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm.
320-330
Electronic Edition (link) BibTeX
- Eugene W. Stark:
Formally specifying CARA in Java.
331-350
Electronic Edition (link) BibTeX
- Arnab Ray, Rance Cleaveland:
Unit verification: the CARA experience.
351-369
Electronic Edition (link) BibTeX
- Luqi, Zhiwei Guan, Valdis Berzins, Lynn Zhang, David L. Floodeen, Vedat Coskun, Joseph Puett, Michael Brown:
Requirements-document-based prototyping of CARA software.
370-390
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:22:40 2009
by Michael Ley (ley@uni-trier.de)
