Volume 7,
Number 1,
February 2005
Volume 7,
Number 2,
2005
- Armin Biere, Ofer Strichman:
Introductory paper.
87-88
Electronic Edition (link) BibTeX
- Toni Jussila, Keijo Heljanko, Ilkka Niemelä:
BMC via on-the-fly determinization.
89-101
Electronic Edition (link) BibTeX
- Gianpiero Cabodi, Alex Kondratyev, Luciano Lavagno, Sergio Nocco, Stefano Quer, Yosinori Watanabe:
A BMC-based formulation for the scheduling problem of hardware systems.
102-117
Electronic Edition (link) BibTeX
- Rajeev Alur, P. Madhusudan, Wonhong Nam:
Symbolic computational techniques for solving games.
118-128
Electronic Edition (link) BibTeX
- Gianpiero Cabodi, Sergio Nocco, Stefano Quer:
Are BDDs still alive within sequential verification?
129-142
Electronic Edition (link) BibTeX
- Bing Li, Chao Wang, Fabio Somenzi:
Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure.
143-155
Electronic Edition (link) BibTeX
- Mukul R. Prasad, Armin Biere, Aarti Gupta:
A survey of recent advances in SAT-based formal verification.
156-173
Electronic Edition (link) BibTeX
- Edmund M. Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman:
Computational challenges in bounded model checking.
174-183
Electronic Edition (link) BibTeX
- Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber:
Functional programming languages for verification tools: a comparison of Standard ML and Haskell.
184-194
Electronic Edition (link) BibTeX
Volume 7,
Number 3,
2005
- Thomas Arts, Jaco van de Pol:
Introductory paper.
195-196
Electronic Edition (link) BibTeX
- Richard Bubel, Reiner Hähnle:
Integration of informal and formal development of object-oriented safety-critical software.
197-211
Electronic Edition (link) BibTeX
- Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll:
An overview of JML tools and applications.
212-232
Electronic Edition (link) BibTeX
- Achim D. Brucker, Burkhart Wolff:
A verification approach to applied system security.
233-247
Electronic Edition (link) BibTeX
- Andrew Butterfield, Jim Woodcock:
prialt in Handel-C: an operational semantics.
248-267
Electronic Edition (link) BibTeX
- Jerker Hammarberg, Simin Nadjm-Tehrani:
Formal verification of fault tolerance in safety-critical reconfigurable modules.
268-279
Electronic Edition (link) BibTeX
- Stefan Blom, Simona Orzan:
Distributed state space minimization.
280-291
Electronic Edition (link) BibTeX
Volume 7,
Number 4,
2005
- Tiziana Margaria:
Introductory paper.
293-296
Electronic Edition (link) BibTeX
- Claude Jard, Thierry Jéron:
TGV: theory, principles and algorithms.
297-315
Electronic Edition (link) BibTeX
- César Viho:
Test distribution: a solution for complex network system testing.
316-325
Electronic Edition (link) BibTeX
- Andrea Baldini, Alfredo Benso, Paolo Prinetto:
System-level functional testing from UML specifications in end-of-production industrial environments.
326-340
Electronic Edition (link) BibTeX
- Annette Bunker, Ganesh Gopalakrishnan, Konrad Slind:
Live sequence charts applied to hardware requirements specification and verification.
341-350
Electronic Edition (link) BibTeX
- Ina Schieferdecker, George Din, Dimitrios Apostolidis:
Distributed functional and load tests for Web services.
351-360
Electronic Edition (link) BibTeX
- Kenneth J. Turner:
Test generation for radiotherapy accelerators.
361-375
Electronic Edition (link) BibTeX
- Bartholomäus Kellerer, Manfred Reitenspieß:
Practical quality assurance for standards-based, high-availability middleware.
376-387
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:22:40 2009
by Michael Ley (ley@uni-trier.de)