default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational 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
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.
last updated on 2025-12-12 22:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
