Volume 11,
Number 1,
February 2009
- Antti Valmari:
Software model checking is a rich research field.
1-11
- Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan:
Parallel and distributed model checking in Eddy.
13-25
- Klaus Dräger, Bernd Finkbeiner, Andreas Podelski:
Directed model checking with distance-preserving abstractions.
27-37
- Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente:
Partial-order reduction for general state exploring algorithms.
39-51
- Saswat Anand, Corina S. Pasareanu, Willem Visser:
Symbolic execution with abstraction.
53-67
- Alessandro Armando, Jacopo Mantovani, Lorenzo Platania:
Bounded model checking of software using SMT solvers instead of SAT solvers.
69-83
Volume 11,
Number 2,
April 2009
- Michael Huth, Orna Grumberg:
Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification.
85-94
- Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady:
An abstraction-based decision procedure for bit-vector arithmetic.
95-104
- Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric:
A low-level memory model and an accompanying reachability predicate.
105-116
- Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen:
Decision-diagram-based techniques for bounded reachability checking of asynchronous systems.
117-131
- Lili Tan:
The worst-case execution time tool challenge 2006.
133-152
- Chryssis Georgiou, Nancy A. Lynch, Panayiotis Mavrommatis, Joshua A. Tauber:
Automated implementation of complex distributed algorithms specified in the IOA language.
153-171
Volume 11,
Number 3,
July 2009
Papers from ISoLA 2005
- Mike Hinchey, Tiziana Margaria, Bernhard Steffen:
Guest Editor's introduction.
173-174
- Boutheina Chetali, Quang Huy Nguyen:
An automated testing experiment for layered embedded C code.
175-185
- Bastian Schlich, Stefan Kowalewski:
Model checking C source code for embedded systems.
187-202
- Eric Van Wyk, Mats Per Erik Heimdahl:
Flexibility in modeling languages and tools: a call to arms.
203-215
- Dominique Cansell, Dominique Méry, Cyril Proch:
System-on-chip design by proof-based refinement.
217-238
- Yamine Aït Ameur, Mickaël Baron, Nadjet Kamel, Jean-Marc Mota:
Encoding a process algebra using the Event B method.
239-253
- David Déharbe, Silvio Ranise:
Satisfiability solving for software verification.
255-260
- Alexandra Desmoulin, César Viho:
Formalizing interoperability for test case generation purpose.
261-267
Volume 11,
Number 4,
October 2009
Special Section on HVC 07
Volume 11,
Number 5,
November 2009
Special Section on FMICS 05
- Tiziana Margaria, Mieke Massink:
Preface.
355-357
- Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino, David Sanán:
Checking the reliability of socket based communication software.
359-374
- Anton Wijs, Jaco van de Pol, Elena M. Bortnik:
Solving scheduling problems by untimed model checking.
375-392
- Harald Raffelt, Bernhard Steffen, Therese Berg, Tiziana Margaria:
LearnLib: a framework for extrapolating behavioral models.
393-407
- Jan Mikác, Paul Caspi:
Flush: an example of development by refinements in SCADE/Lustre.
409-418
Volume 11,
Number 6,
December 2009
- Filippo Ricca, Liu Chao:
Special section on Web Systems Evolution.
419-425
- Alessandro Marchetto, Filippo Ricca:
From objects to services: toward a stepwise migration approach for Java applications.
427-440
- Harry M. Sneed:
A pilot project for migrating COBOL code to web services.
441-451
- Keisuke Nakano, Zhenjiang Hu, Masato Takeichi:
Consistent Web site updating based on bidirectional transformation.
453-468
- Giuseppe Scanniello, Damiano Distante, Michele Risi:
An approach and an Eclipse-based environment for enhancing the navigation structure of Web sites.
469-484
- Mario Luca Bernardi, Giuseppe A. Di Lucca, Damiano Distante:
The RE-UWA approach to recover user centered conceptual models from Web applications.
485-501
- Brian Chan, King Chun Foo, Lionel Marks, Ying Zou:
An approach for estimating the time needed to perform code changes in business applications.
503-515
Last update Sat May 26 07:07:52 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page