Volume 4,
Number 1,
2002
Special Section on Spin
Regular Contributions
Volume 4,
Number 2,
February 2003
- Susanne Graf:
Preface by the section editor.
139-141
Electronic Edition (link) BibTeX
- Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu:
Using static analysis to improve automatic test generation.
142-152
Electronic Edition (link) BibTeX
- Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle:
A tool for model-checking Markov chains.
153-172
Electronic Edition (link) BibTeX
- Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero:
Efficient verification of security protocols using partial-order reductions.
173-188
Electronic Edition (link) BibTeX
- Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Thomas F. Melham:
The PROSPER toolkit.
189-210
Electronic Edition (link) BibTeX
- Steven D. Johnson, Yanhong A. Liu, Yuchen Zhang:
A systematic incrementalization technique and its application to hardware design.
211-223
Electronic Edition (link) BibTeX
- Orna Kupferman, Moshe Y. Vardi:
Vacuity detection in temporal model checking.
224-233
Electronic Edition (link) BibTeX
- Hong Peng, Sofiène Tahar, Ferhat Khendek:
Comparison of SPIN and VIS for protocol verification.
234-245
Electronic Edition (link) BibTeX
- Theo C. Ruys, Ed Brinksma:
Managing the verification trajectory.
246-259
Electronic Edition (link) BibTeX
Volume 4,
Number 3,
May 2003
- Jeannette M. Wing:
Platitudes and attitudes.
261-265
Electronic Edition (link) BibTeX
- Tiziana Margaria:
Preface by the section editor.
266-270
Electronic Edition (link) BibTeX
- Alan Mycroft, Richard Sharp:
Higher-level techniques for hardware description and synthesis.
271-297
Electronic Edition (link) BibTeX
- Mark Aagaard, Byron Cook, Nancy A. Day, Robert B. Jones:
A framework for superscalar microprocessor correctness statements.
298-312
Electronic Edition (link) BibTeX
- Skander Kort, Sofiène Tahar, Paul Curzon:
Hierarchical formal verification using a hybrid tool.
313-322
Electronic Edition (link) BibTeX
- Roope Kaivola, Katherine R. Kohatsu:
Proof engineering in the large: formal verification of Pentium?4 floating-point divider.
323-334
Electronic Edition (link) BibTeX
- Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi:
Efficient debugging in a formal verification environment.
335-348
Electronic Edition (link) BibTeX
- Koen Claessen, Mary Sheeran, Satnam Singh:
Using Lava to design and verify recursive and periodic sorters.
349-358
Electronic Edition (link) BibTeX
- Xiaohua Kong, Radu Negulescu, Larry Weidong Ying:
Refinement-based formal verification with heterogeneous timing.
359-370
Electronic Edition (link) BibTeX
- César Muñoz, Victor Carreño, Gilles Dowek, Ricky W. Butler:
Formal verification of conflict detection algorithms.
371-380
Electronic Edition (link) BibTeX
- Karim El Guemhioui:
A framework for distributing object-oriented designs.
381-396
Electronic Edition (link) BibTeX
Volume 4,
Number 4,
August 2003
The Opinion Corner
Special section:
An experience in the establishment of collaboration between academia and industry
- Bengt Jonsson, Konstantinos F. Sagonas:
Preface by the section editors.
401-404
Electronic Edition (link) BibTeX
- Lars-Åke Fredlund, Dilian Gurov, Thomas Noll, Mads Dam, Thomas Arts, Gennady Chugunov:
A verification tool for ERLANG.
405-420
Electronic Edition (link) BibTeX
- Erik Johansson, Mikael Pettersson, Konstantinos F. Sagonas, Thomas Lindgren:
The development of the HiPE system: design and experience report.
421-436
Electronic Edition (link) BibTeX
- Jakob Engblom, Andreas Ermedahl, Mikael Sjödin, Jan Gustafsson, Hans Hansson:
Worst-case execution-time analysis for embedded real-time systems.
437-455
Electronic Edition (link) BibTeX
- John Håkansson, Bengt Jonsson, Ola Lundqvist:
Generating online test oracles from temporal logic specifications.
456-471
Electronic Edition (link) BibTeX
Regular Contributions
Copyright © Sun May 17 00:22:40 2009
by Michael Ley (ley@uni-trier.de)