default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Journal on Software Tools for Technology Transfer (STTT), Volume 7
Volume 7, Number 1, February 2005
- Lubos Brim, Orna Grumberg:
Introductory paper. 1-3 - Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik:
Issues in distributed timed model checking. 4-18 - Gerd Behrmann:
Distributed reachability analysis in timed automata. 19-30 - Michael D. Jones, Jacob Sorber:
Parallel search for LTL violations. 31-42 - Alexander Bell, Boudewijn R. Haverkort
:
Sequential and distributed model checking of Petri nets. 43-60 - Lubos Brim, Karen Yorav, Jitka Zidkova:
Assumption-based distribution of CTL model checking. 61-73 - Stefan Blom, Simona Orzan:
A distributed algorithm for strong bisimulation reduction of state spaces. 74-86
Volume 7, Number 2, 2005
- Armin Biere, Ofer Strichman:
Introductory paper. 87-88 - Toni Jussila, Keijo Heljanko, Ilkka Niemelä:
BMC via on-the-fly determinization. 89-101 - Gianpiero Cabodi, Alex Kondratyev, Luciano Lavagno, Sergio Nocco, Stefano Quer, Yosinori Watanabe:
A BMC-based formulation for the scheduling problem of hardware systems. 102-117 - Rajeev Alur, P. Madhusudan, Wonhong Nam:
Symbolic computational techniques for solving games. 118-128 - Gianpiero Cabodi, Sergio Nocco, Stefano Quer:
Are BDDs still alive within sequential verification? 129-142 - Bing Li, Chao Wang, Fabio Somenzi:
Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure. 143-155 - Mukul R. Prasad, Armin Biere, Aarti Gupta:
A survey of recent advances in SAT-based formal verification. 156-173 - Edmund M. Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman:
Computational challenges in bounded model checking. 174-183 - Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber:
Functional programming languages for verification tools: a comparison of Standard ML and Haskell. 184-194
Volume 7, Number 3, 2005
- Thomas Arts, Jaco van de Pol:
Introductory paper. 195-196 - Richard Bubel, Reiner Hähnle:
Integration of informal and formal development of object-oriented safety-critical software. 197-211 - Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll:
An overview of JML tools and applications. 212-232 - Achim D. Brucker, Burkhart Wolff:
A verification approach to applied system security. 233-247 - Andrew Butterfield, Jim Woodcock:
prialt in Handel-C: an operational semantics. 248-267 - Jerker Hammarberg, Simin Nadjm-Tehrani:
Formal verification of fault tolerance in safety-critical reconfigurable modules. 268-279 - Stefan Blom, Simona Orzan:
Distributed state space minimization. 280-291
Volume 7, Number 4, 2005
- Tiziana Margaria:
Introductory paper. 293-296 - Claude Jard, Thierry Jéron:
TGV: theory, principles and algorithms. 297-315 - César Viho:
Test distribution: a solution for complex network system testing. 316-325 - Andrea Baldini, Alfredo Benso, Paolo Prinetto:
System-level functional testing from UML specifications in end-of-production industrial environments. 326-340 - Annette Bunker, Ganesh Gopalakrishnan, Konrad Slind:
Live sequence charts applied to hardware requirements specification and verification. 341-350 - Ina Schieferdecker, George Din, Dimitrios Apostolidis:
Distributed functional and load tests for Web services. 351-360 - Kenneth J. Turner:
Test generation for radiotherapy accelerators. 361-375 - Bartholomäus Kellerer, Manfred Reitenspieß:
Practical quality assurance for standards-based, high-availability middleware. 376-387
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 2026-01-31 23:38 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:
