International Journal on Software Tools for Technology Transfer (STTT), Volume 12
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
- Richard H. Carver, Yu Lei: A class library for implementing, testing, and debugging concurrent programs. 69-88
Volume 12, Number 2, May 2010
- Dragan Bosnacki, Stefan Edelkamp: Model checking software: on some new waves and some evergreens. 89-95
- Michael Weber: An embeddable virtual machine for state space generation. 97-111
- Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby: Distributed dynamic partial order reduction. 113-122
- Sami Evangelista, Christophe Pajault: Solving the ignoring problem for partial order reduction. 155-170
Volume 12, Numbers 3-4, July 2010
- 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
- Á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
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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-17T203403 by the dblp team