Volume 12,
Number 1,
February 2010
- Yamine Aït Ameur, Frédéric Boniol, Virginie Wiels:
Toward a wider use of formal methods for aerospace systems design and verification.
1-7
- Daniel Plagge, Michael Leuschel:
Seven at one stroke: LTL model checking for high-level specifications in B, Z, CSP, and more.
9-21
- Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig:
Don't care in SMT: building flexible yet efficient abstraction/refinement solvers.
23-37
- Joris Rehm:
Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method.
39-51
- Shlomi Dolev, Ori Gersten:
A framework for robust active super tier systems.
53-67
- Richard H. Carver, Yu Lei:
A class library for implementing, testing, and debugging concurrent programs.
69-88
Volume 12,
Number 2,
May 2010
Special Section on SPIN 07
Volume 12,
Numbers 3-4,
July 2010
Special Section on GraBaTs 08
- Arend Rensink, Pieter Van Gorp:
Graph transformation tool contest 2008.
171-181
- Francisco Javier Pérez, Yania Crespo, Berthold Hoffmann, Tom Mens:
A case study to evaluate the suitability of graph transformation tools for program refactoring.
183-199
- Olaf Muliawan, Dirk Janssens:
Model refactoring using MoTMoT.
201-209
- Ákos Horváth, Gábor Bergmann, István Ráth, Dániel Varró:
Experimental assessment of combining pattern matching strategies with VIATRA2.
211-230
- Tamás Mészáros, Gergely Mezei, Tihamer Levendovszky, Márk Asztalos:
Manual and automated performance optimization of model transformation systems.
231-243
- Enrico Biermann, Claudia Ermel, Leen Lambers, Ulrike Prange, Olga Runge, Gabriele Taentzer:
Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System.
245-261
- Edgar Jakumeit, Sebastian Buchwald, Moritz Kroll:
GrGen.NET - The expressive, convenient and fast graph rewrite system.
263-271
- Naouel Moha, Sagar Sen, Cyril Faucher, Olivier Barais, Jean-Marc Jézéquel:
Evaluation of Kermeta for solving graph-based problems.
273-285
- Leif Geiger, Albert Zündorf:
Fujaba case studies for GraBaTs 2008: lessons learned.
287-304
Volume 12,
Number 5,
September 2010
- Angelika Mader, Henrik C. Bohnenkamp, Yaroslav S. Usenko, David N. Jansen, Johann Hurink, Holger Hermanns:
Synthesis and stochastic assessment of cost-optimal schedules.
305-318
- Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik:
Exploiting resolution proofs to speed up LTL vacuity detection for BMC.
319-335
- Vincent Beaudenon, Emmanuelle Encrenaz, Sami Taktak:
Data decision diagrams for Promela systems analysis.
337-352
- Holger Krahn, Bernhard Rumpe, Steven Völkel:
MontiCore: a framework for compositional development of domain specific languages.
353-372
- Adam Bakewell, Aleksandar Dimovski, Dan R. Ghica, Ranko Lazic:
Data-abstraction refinement: a game semantic approach.
373-389
- Giacomo Bucci, Laura Carnevali, Lorenzo Ridi, Enrico Vicario:
Oris: a tool for modeling, verification and evaluation of real-time systems.
391-403
Volume 12,
Number 6,
November 2010
Special Section on VSTTE 2008
- Daniel Kroening, Tiziana Margaria:
Verified software: theories, tools and experiments.
405-408
- Arie Gurfinkel, Sagar Chaki:
Combining predicate and numeric abstraction for software model checking.
409-427
- Patrice Chalin, Robby, Perry R. James, Jooyong Lee, George Karabotsos:
Towards an industrial grade IVE for Java and next generation research platform for JML.
429-446
- Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, Laurent Voisin:
Rodin: an open toolset for modelling and reasoning in Event-B.
447-466
- David R. Cok:
Improved usability and performance of SMT solvers for debugging specifications.
467-481
Last update Sat May 26 07:07:52 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
