![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
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 - 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
- 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 - Kristin Y. Rozier, Moshe Y. Vardi:
LTL satisfiability checking. 123-137 - Jiri Barnat, Lubos Brim, Petr Rockai
:
Scalable shared memory LTL model checking. 139-153 - Sami Evangelista, Christophe Pajault:
Solving the ignoring problem for partial order reduction. 155-170
Volume 12, Numbers 3-4, July 2010
- 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 L. 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 S. 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
- 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.