EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Research Project: SVC: System Validation Centre
Home Policy Brochure Browse Search User Area Contact Help

2002

Hermanns, H. and Segala, R., ed. (2002) Process Algebra and Probabilistic Methods, Performance Modeling and Verification. Lecture Notes in Computer Science 2399. Springer-Verlag, Copenhagen, Denmark. ISSN 0302-9743 ISBN 3-540-43913-7
Hermanns, H. (2002) Interactive Markov Chains and the Quest for Quantified Quality. Lecture Notes in Computer Science 2428. Springer-Verlag, Berlin. ISSN 0302-9743 ISBN 3-540-44261-8
Usenko, Y.S. (2002) Linearization of μ-CRL specifications. Extended abstract. In: 3rd International Workshop on Verification and Computational Logic (VCL2002), Southampton, UK. Technical Report DSSE-TR-2002-5. Department of electronics and computer science. ISBN not assigned

2001

Brinksma, H. and Katoen, J.P. (2001) Hooggespannen verwachtingen model checking. Bits en Chips, 3 (4). pp. 31-34. ISSN 1879-6443

1999

Katoen, J.P., ed. (1999) Formal Methods for Real-Time and Probabilistic Systems. Lecture Notes in Computer Science 1601. Springer-Verlag, Bamberg, Germany.
Baier, C. and Katoen, J.P. and Hermanns, H. (1999) Approximate symbolic model checking of continous-time Markov chains. In: CONCUR '99: Concurrency Theory, 10th International Conference, August 24-27, 1999, Eindhoven, The Netherlands. pp. 146-162. Lecture Notes in Computer Science 1664. Springer-Verlag. ISBN 3-540-66425-4
D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. (1999) On Generative Parallel Composition. In: PROBMIV'98, First International Workshop on Probabilistic Methods in Verification, 19 - 20 June 1998, Indianapolis, Indiana. pp. 30-54. Electronic Notes in Theoretical Computer Science 22. Elsevier. ISSN 1571-0661
D'Argenio, P.R. and Katoen, J.P. and Brinksma, H. (1999) Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. In: Real-Time Systems Symposium, 1999. Proceedings. The 20th IEEE, 12/01/1999 - 12/03/1999, Phoenix, AZ, USA. pp. 104-114. IEEE Computer Society. ISBN 0-7695-0475-2
Hermanns, H. and Mertsiotakis, V. and Siegle, M. (1999) TIPPtool: Compositional Specification and Analysis of Markovian Performance Models. In: Computer Aided Verification: 11th International Conference, CAV'99, July 6-10, 1999, Trento, Italy. pp. 487-490. Lecture Notes in Computer Science 1633. Springer Verlag. ISBN 3-540-66202-2
Hermanns, H. and Meyer-Kayser, J. and Siegle, M. (1999) Multi Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains. In: 3rd Int. Workshop on the Numerical Solution of Markov Chains, 2000, Zaragossa, Spain. pp. 188-207. Prensas Universitarias de Zaragoza. ISBN not assigned
Hermanns, H. and Siegle, M. (1999) Bisimulation Algorithms for StochasticProcess Algebras and their BDD-based Implementation. In: Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, May 1999, Bamberg, Germany. pp. 144-264. Lecture Notes in Computer Science 1601. Springer Verlag. ISBN 3-540-66010-0
Langerak, R. (1999) Deriving a Graph Rewriting System from a Complete Finite Prefix of an Unfolding. In: Proceedings of the 6th International Workshop on Expressiveness in Concurrency, 23 August 1999, Eindhoven, The Netherlands. pp. 24-41. Electronic Notes in Theoretical Computer Science 27. Elsevier. ISSN 1571-0661
Langerak, R. and Brinksma, H. (1999) A complete finite prefix for process algebra. In: Computer Aided Verification, 11th International Conference, CAV '99, July 6-10, 1999, Trento, Italy. pp. 184-195. Lecture Notes in Computer Science 1633. Springer Verlag. ISBN 3-540-66202-2
Ruys, T.C. (1999) Xspin/Project - Integrated Validation Management for Xspin. In: Theoretical and Practical Aspects of SPIN Model Checking.Proceedings of the 5th and 6th International SPIN Workshop, 1999, Trento, Italy. pp. 108-119. Lecture Notes in Computer Science 1680. Springer Verlag. ISBN 3-540-66499-8

1998

D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. (1998) On Generative Parallel Composition. In: Proc. of Workshop on Probabilistic Methods in Verification, (PROBMIV'98). pp. 105-121. School of Computer Science, University of Birmingham. ISBN not assigned
D'Argenio, P.R. and Katoen, J.P. and Brinksma, H. (1998) A Compositional Approach to Generalised semi-Markov Processes. In: Proceedings of the 4th Int. Workshop on Discrete Event Systems (WODES'98), Cagliari, Italy. pp. 391-397. IEE. ISBN 0852967101
Hermanns, H. and Lohrey, M. (1998) Priority and Maximal Progress are completely axiomatisable. In: CONCUR'98 Concurrency Theory, September 8-11, 1998, Nice, France. pp. 237-252. Lecture Notes in Computer Science 1446. Springer Verlag. ISBN 3-540-64896-8
Ruys, T.C. and Brinksma, H. (1998) Experience with Literate Programming in the Modelling and Validation of Systems. In: Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98, March 28 - April 4, 1998, Lisbon, Portugal. pp. 393-408. Lecture Notes in Computer Science 1384. Springer Verlag. ISBN 3-540-64356-7