default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Journal on Software Tools for Technology Transfer (STTT), Volume 4
Volume 4, Number 1, 2002
- Mary Shaw:
What makes good research in software engineering? 1-7
- Klaus Havelund, Willem Visser:
Program model checking as a new trend. 8-20 - Ed Brinksma, Angelika Mader
, Ansgar Fehnker:
Verification and optimization of a PLC control schedule. 21-33 - James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby:
Expressing checkable properties of dynamic systems: the Bandera Specification Language. 34-56 - Heikki Tauriainen, Keijo Heljanko:
Testing LTL formula translation into Büchi automata. 57-70 - Scott D. Stoller:
Model-checking multi-threaded distributed Java programs. 71-91 - Dragan Bosnacki, Dennis Dams, Leszek Holenderski:
Symmetric Spin. 92-106
- Cindy Eisner:
Using symbolic CTL model checking to verify the railway stations of Hoorn-Kersenboogerd and Heerhugowaard. 107-124 - Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum:
Program slicing for VHDL. 125-137
Volume 4, Number 2, February 2003
- Susanne Graf:
Preface by the section editor. 139-141 - Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu:
Using static analysis to improve automatic test generation. 142-152 - Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle:
A tool for model-checking Markov chains. 153-172 - Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero:
Efficient verification of security protocols using partial-order reductions. 173-188 - Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Thomas F. Melham:
The PROSPER toolkit. 189-210 - Steven D. Johnson, Yanhong A. Liu, Yuchen Zhang:
A systematic incrementalization technique and its application to hardware design. 211-223 - Orna Kupferman, Moshe Y. Vardi:
Vacuity detection in temporal model checking. 224-233 - Hong Peng, Sofiène Tahar, Ferhat Khendek:
Comparison of SPIN and VIS for protocol verification. 234-245 - Theo C. Ruys, Ed Brinksma:
Managing the verification trajectory. 246-259
Volume 4, Number 3, May 2003
- Jeannette M. Wing:
Platitudes and attitudes. 261-265 - Tiziana Margaria:
Preface by the section editor. 266-270 - Alan Mycroft, Richard Sharp:
Higher-level techniques for hardware description and synthesis. 271-297 - Mark D. Aagaard, Byron Cook, Nancy A. Day, Robert B. Jones:
A framework for superscalar microprocessor correctness statements. 298-312 - Skander Kort, Sofiène Tahar, Paul Curzon:
Hierarchical formal verification using a hybrid tool. 313-322 - Roope Kaivola, Katherine R. Kohatsu:
Proof engineering in the large: formal verification of Pentium?4 floating-point divider. 323-334 - Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi:
Efficient debugging in a formal verification environment. 335-348 - Koen Claessen, Mary Sheeran, Satnam Singh:
Using Lava to design and verify recursive and periodic sorters. 349-358 - Xiaohua Kong, Radu Negulescu, Larry Weidong Ying:
Refinement-based formal verification with heterogeneous timing. 359-370 - César A. Muñoz, Victor Carreño, Gilles Dowek, Ricky W. Butler:
Formal verification of conflict detection algorithms. 371-380 - Karim El Guemhioui:
A framework for distributing object-oriented designs. 381-396
Volume 4, Number 4, August 2003
- Dieter Hogrefe:
Main issues in protocol testing. 397-400
- Bengt Jonsson, Konstantinos Sagonas:
Preface by the section editors. 401-404 - Lars-Åke Fredlund, Dilian Gurov, Thomas Noll, Mads Dam, Thomas Arts, Gennady Chugunov:
A verification tool for ERLANG. 405-420 - Erik Johansson, Mikael Pettersson, Konstantinos Sagonas, Thomas Lindgren:
The development of the HiPE system: design and experience report. 421-436 - Jakob Engblom, Andreas Ermedahl, Mikael Sjödin, Jan Gustafsson, Hans Hansson:
Worst-case execution-time analysis for embedded real-time systems. 437-455 - John Håkansson, Bengt Jonsson, Ola Lundqvist:
Generating online test oracles from temporal logic specifications. 456-471
- Mourad Debbabi, Nancy A. Durgin, Mohamed Mejri, John C. Mitchell:
Security by typing. 472-495 - Shoham Ben-David, Orna Grumberg, Tamir Heyman, Assaf Schuster:
Scalable distributed on-the-fly symbolic model checking. 496-504 - Yifei Dong, Xiaoqun Du, Gerard J. Holzmann, Scott A. Smolka:
Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking. 505-528
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 2024-12-03 20:17 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:
