Publications in the year 1999

Found 18 publications

• A complete finite prefix for process algebra, R. Langerak and E. Brinksma Editors: N. Halbwachs and D. Peled, 11th International Conference on Computer Aided Verification, Lecture Notes in Computer Science, Vol. 1633, Springer Verlag, published in 1999
  1. Abstract file
  2. BibTeX file
  3. Compressed Postscript
• Algebras and Automata for Timed and Stochastic Systems, P.R. D'Argenio, University of Twente, published in 1999
  1. Summary
  2. Compressed Postscript
  3. BibTeX file
• Approximate symbolic model checking of continous-time Markov chains, C. Baier and J.-P. Katoen and H. Hermanns Editors: J.C.M. Baeten and S. Mauw, Concurrency Theory, Lecture Notes in Computer Science, Vol. 1664, Springer-Verlag, {Eindhoven, The Netherlands}, pages: 146 - 162, published in 1999
  1. Abstract file
  2. BibTeX file
  3. Full paper
• Automatic Testing with Formal Methods, J. Tretmans and A. Belinfante, EuroSTAR'99: 7th European Int. Conference on Software Testing, Analysis & Review, EuroStar Conferences, Galway, Ireland, Barcelona, Spain, published in 1999
  1. Abstract file
  2. BibTeX file
  3. Compressed Postscript
• Bisimulation Algorithms for StochasticProcess Algebras and their BDD-based Implementation, H. Hermanns and M. Siegle Editors: J.-P. Katoen, {ARTS'99, 5th Int. AMAST Workshop on Real-Time andProbabilistic Systems}, Lecture Notes in Computer Science, Vol. 1601, Springer, pages: 144 - 264, published in 1999
  1. Abstract file
  2. BibTeX file
• Cache Consistency by Design, E. Brinksma, Distributed Computing, Vol. 12, pages: 552 - 565, published in 1999
• Deriving a Graph Rewriting System from a Complete Finite Prefix of an Unfolding, R. Langerak Editors: I. Castellani and B. Victor, Proceedings of the 6th International Workshop on Expressiveness in Concurrency, Electronic Notes in Theoretical Computer Science, Vol. 27, Elsevier, published in 1999
  1. Abstract file
  2. BibTeX file
  3. Compressed Postscript
• Formal Methods for Conformance Testing: Theory Can Be Practical!, E. Brinksma Editors: N. Halbwachs and D. Peled, Computer Aided Verification (CAV), Lecture Notes in Computer Science, Vol. 1633, Springer, Trento, pages: 44 - 46, published in 1999
• Formal Methods for Real-Time and Probabilistic Systems, Editors: J.-P. Katoen, Lecture Notes in Computer Science, Vol. 1601, Springer-Verlag, {Bamberg, Germany}, published in 1999
  1. BibTeX file
• Formal Test Automation: A Simple Experiment, A. Belinfante and J. Feenstra and R.G. de Vries and J. Tretmans and N. Goga and L. Feijs and S. Mauw and L. Heerink Editors: G. Csopaki and S. Dibuz and K. Tarnay, Int. Workshop on Testing of Communicating Systems XII, Kluwer Academic Publishers, pages: 179 - 196, published in 1999
  1. Abstract file
  2. BibTeX file
  3. Compressed Postscript
• Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System, M. Chaudron and J. Tretmans and K. Wijbrans Editors: J.M. Wing and J. Woodcock and J. Davies, FM'99 -- World Congress on Formal Methodsin the Development of Computing Systems II, Lecture Notes in Computer Science, Vol. 1709, Springer-Verlag, pages: 1511 - 1526, published in 1999
  1. Abstract file
  2. BibTeX file
  3. Compressed Postscript
• Multi Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains, H. Hermanns and J. Meyer-Kayser and M. Siegle Editors: B. Plateau and W.J. Stewart and M. Silva, 3rd Int. Workshop on the Numerical Solution of Markov Chains, Prensas Universitarias de Zaragoza, pages: 188 - 207, published in 1999
  1. Abstract file
  2. BibTeX file
• On Generative Parallel Composition, P.R. D'Argenio and H. Hermanns and J.-P. Katoen, Electronic Notes in Theoretical Computer Science, Vol. 22, published in 1999
  1. Abstract file
  2. BibTeX file
• Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System -- Seven Myths of Formal Methods Revisited, J. Tretmans and Wijbrans K. and M. Chaudron Editors: S. Gnesi and D. Latella, Fourth Int. ERCIM Workshop on Formal Methodsfor Industrial Critical Systems (FMICS'99) --Proceedings of the FLoC Workshop, Servizio Tecnografico Area di Ricerca del CNR, Pisa, Italy, pages: 225 - 237, published in 1999
  1. Abstract file
  2. BibTeX file
  3. Compressed Postscript
• Specification and Analysis of Soft Real-Time Systems: Quantity and Quality, P.R. D'Argenio and J.-P. Katoen and E. Brinksma, Proc. 20th IEEE Real-Time Systems Symposium (RTSS'99), IEEE Society Press, Phoenix, Arizona, pages: 104 - 114, published in 1999
  1. Abstract file
  2. Compressed Postscript
  3. BibTeX file
• Testing Concurrent Systems: A Formal Approach, J. Tretmans Editors: J.C.M. Baeten and S. Mauw, CONCUR'99 -- $10^{th}$ Int. Conference on Concurrency Theory, Lecture Notes in Computer Science, Vol. 1664, Springer-Verlag, pages: 46 - 65, published in 1999
  1. Abstract file
  2. BibTeX file
  3. Compressed Postscript
• TIPPtool: Compositional Specification and Analysis of Markovian Performance Models, H. Hermanns and V. Mertsiotakis and M. Siegle Editors: N. Halbwachs and D. Peled, Computer Aided Verification (CAV), Lecture Notes in Computer Science, Vol. 1633, Springer, Trento, pages: 487 - 490, published in 1999
  1. Abstract file
  2. BibTeX file
• Xspin/Project - Integrated Validation Management for Xspin, Theo C. Ruys Editors: Dennis R. Dams and Rob Gerth and Stefan Leue and Mieke Massink, Theoretical and Practical Aspects of SPIN Model Checking.Proceedings of the 5th and 6th International SPIN Workshop, Lecture Notes in Computer Science (LNCS), Vol. 1680, Springer-Verlag, Berlin, Trento, Italy (5th) and Toulouse, France (6th), pages: 108 - 119, published in 1999
  1. Abstract file
  2. BibTeX file
  3. Compressed Postscript