Modelling of Complex Software Systems: a Reasoned Overview

Cached

Download Links

by D. Krob
Citations:5 - 2 self

Active Bibliography

2424 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
1977 A theory of timed automata – Rajeev Alur - 1999
598 The algorithmic analysis of hybrid systems – R. Alur, C. Courcoubetis, N. Halbwachs , T. A. Henzinger, P.-H. Ho, X. Nicollin , A. Olivero , J. Sifakis , S. Yovine - 1995
575 An introduction to software architecture – David Garlan, Mary Shaw - 1993
615 A classification and comparison framework for software architecture description languages – Nenad Medvidovic, Richard N. Taylor - 2000
731 Notions of Computation and Monads – Eugenio Moggi - 1991
521 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
603 Counterexample-guided Abstraction Refinement – Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith - 2000
571 Bandera: Extracting Finite-state Models from Java Source Code – James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Hongjun Zheng - 2000