EEMCS

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

EEMCS EPrints Service


Classification: FMT-PA: PROCESS ALGEBRAS
Home Policy Brochure Browse Search User Area Contact Help

2011

Aceto, L. and Chen, Taolue and Ingolfsdottir, A. and Luttik, B. and van de Pol, J.C. (2011) On the axiomatizability of priority II. Theoretical computer science, 412 (28). pp. 3035-3044. ISSN 0304-3975 *** ISI Impact 0,643 ***

2010

Katoen, J.P. and van de Pol, J.C. and Stoelinga, M.I.A. and Timmer, M. (2010) A linear process-algebraic format for probabilistic systems with data. In: Application of Concurrency to System Design, Tenth International Conference on, 21-25 Jun 2010, Braga, Portugal. pp. 213-222. IEEE Computer Society. ISSN 1550-4808 ISBN 978-0-7695-4066-5

2004

Andova, S. and Willemse, T.A.C. (2004) Verification of probabilistic behaviours. In: 1 st South-East European Workshop on Formal Methods: Agile Formal Methods: Practical, Rigorous Methods for a Changing World, 20 Nov 2003, Thessaloniki, Greece. pp. 84-99. SEERC. ISBN 960-87869-1-6

2003

Brinksma, H. and Mader, A.H. (2003) Prozessalgebra, Teil 1. Automatisierungstechnik, 51 (8). pp. 13-16. ISSN 0178-2312 *** ISI Impact 0,212 ***

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
Andova, S. (2002) Probabilistic Process Algebra. PhD thesis, Eindhoven University of Technology.
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
Hermanns, H. and Herzog, U. and Katoen, J.P. (2002) Process algebra for performance evaluation. Theoretical Computer Science, 274 (1-2). pp. 43-87. ISSN 0304-3975 *** ISI Impact 0,643 ***
Lohrey, M. and D'Argenio, P.R. and Hermanns, H. (2002) Axiomatising Divergence. In: Automata, Languages and Programming, 29th International Colloquium, ICALP 2002. pp. 585-596. Lecture Notes In Computer Science 2380. Springer Verlag. ISSN 0302-9743 ISBN 3-540-43864-5
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 Hermanns, H. and Katoen, J.P., ed. (2001) Lectures on Formal Methods and Performance Analysis. Lecture Notes in Computer Science 2090. Springer Verlag, Berlin. ISSN 0302-9743 ISBN 3-540-42479-2
Brinksma, H. and Hermanns, H. (2001) Process Algebra and Markov Chains. In: Lectures on Formal Methods and Performance Analysis. Lecture Notes in Computer Science 2090. Springer Verlag, Berlin, pp. 183-231. ISBN 3-540-42479-2
D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. and Klaren, R. (2001) Modelling stochastic timed systems. In: 2nd PROGRESS workshop on Embedded Systems, 18 Oct 2001, Veldhoven, The Netherlands. pp. 31-36. Technology Foundation STW. ISBN 90-73461-26-X
Hermanns, H. (2001) Construction and Verification of Performance and Reliability Models. Bulletin of the European Association for Theoretical Computer Science, 74. pp. 135-153. ISSN 0252-9742
Hermanns, H. and Katoen, J.P. (2001) Performance evaluation:= (process algebra + model checking) x Markov chains. (Invited) In: CONCUR 2001 - Concurrency Theory: 12th International Conference, 20-25 Aug 2001, Aalborg, Denmark. pp. 59-81. Lecture Notes in Computer Science 2154. Springer. ISBN 3-540-42497-0
Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. (2001) Implementing a Model Checker for Performability Behaviour. In: Fifth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 5), September 15-16, 2001, Erlangen, Germany. pp. 110-114. Arbeitsberichte des IMMD 34 (13). University of Erlangen. ISSN 0344-3515
Katoen, J.P. and D'Argenio, P.R. (2001) General distributions in process algebra. In: Lectures on Formal Methods and Performance Analysis. Lecture notes in Computer Science 2090. Springer Verlag, London, pp. 375-428.

2000

Hermanns, H. and Herzog, U. and Klehmet, U. and Mertsiotakis, V. and Siegle, M. (2000) Compositional Performance Modelling with the TIPPtool. Performance Evaluation, 39 (1-4). pp. 5-35. ISSN 0166-5316 *** ISI Impact 0,944 ***
Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. and Siegle, M. (2000) Towards Model Checking Stochastic Process Algebra. In: Integrated Formal Methods, 2nd international Workshop, IFM 2000, 1-3 Nov 2000, Schloss Dagstuhl, Saarland, Germany. pp. 420-439. Lecture Notes in Computer Science 1945. Springer Verlag. ISBN 3-540-41196-8

1999

Brinksma, H. (1999) Cache Consistency by Design. Distributed Computing, 12 (2/3). pp. 552-565. ISSN 0178-2770 *** ISI Impact 1,263 ***
D'Argenio, P.R. (1999) Algebras and Automata for Timed and Stochastic Systems. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 99-25
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

1998

Baier, C. and Katoen, J.P. and Latella, D. (1998) Metric semantics for true concurrent real time. In: Automata, Languages and Programming, 25th International Colloquium, ICALP'98, July 13-17, 1998, Aalborg, Denmark. pp. 568-580. Lecture Notes in Computer Science 1443. Springer Verlag. ISBN 3-540-64781-3
Bowman, H. and Katoen, J.P. (1998) A true concurrency semantics for ET-LOTOS. In: Application of Concurrency to System Design, 1998. Proceedings., 1998 International Conference on, 03/23/1998 - 03/26/1998, Fukushima, Japan. pp. 228-239. IEEE Computer Society. ISBN 0-8186-8350-3
Brinksma, H. and Katoen, J.P. and Latella, D. and Langerak, R. (1998) Partial-order models for quantitative extensions of LOTOS. Computer networks and ISDN systems, 30 (9-10). pp. 925-950. ISSN 0169-7552
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
D'Argenio, P.R. and Katoen, J.P. and Brinksma, H. (1998) An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract). In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98), 8-12 June 1998, Shelter Island, New York. pp. 126-147. IFIP Conference Proceedings 125. Chapman & Hall. ISBN 0-412-83760-9
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
Katoen, J.P. and Latella, D. and Langerak, R. and Brinksma, H. and Bolognesi, T. (1998) A consistent causality-based view on a timed process algebra including urgent interactions. Formal Methods in System Design, 12 (2). pp. 189-216. ISSN 0925-9856 *** ISI Impact 1,132 ***

1997

D'Argenio, P.R. (1997) Regular Processes and Timed Automata. In: Proceedings of the 4th AMAST Workshop on Real-TimeSystems, Concurrent, and Distributed Software, ARTS'97, Mallorca, Spain. pp. 141-155. Lecture Notes in Computer Science 1231. Springer Verlag. ISBN 3-540-63010-4
D'Argenio, P.R. and Katoen, J.P. and Brinksma, H. (1997) A Stochastic Automata Model and its Algebraic Approach. In: 5th International Workshop on Process Algebra and Performance Modeling (PAPM'97), 26-27 Jun 1997, Enschede, the Netherlands. pp. 1-16. Technical Report TR-CTIT-97-14. Centre for Telematics and Information Technology University of Twente. ISSN 1381-3625
D'Argenio, P.R. and Verhoef, C. (1997) A general conservative extension theorem in process algebras with inequalities. Theoretical computer science, 177 (2). pp. 351-380. ISSN 0304-3975 *** ISI Impact 0,643 ***

1996

D'Argenio, P.R. and Brinksma, H. (1996) A Calculus for Timed Automata. Technical Report 96-13, University of Twente.
D'Argenio, P.R. and Brinksma, H. (1996) A Calculus for Timed Automata (Extended Abstract). In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT'96, September 9-13, 1996, Uppsala, Sweden. pp. 110-129. Lecture Notes in Computer Science 1135. Springer Verlag. ISBN 3-540-61648-9
D'Argenio, P.R. and Verhoef, C. (1996) A general conservative extension theorem in process algebras with inequalities. Technical Report 96-17, University of Twente.
Katoen, J.P. (1996) Quantitative and Qualitative Extensions of Event Structures. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 96-09
Katoen, J.P. and Latella, D. and Langerak, R. and Brinksma, H. (1996) On specifying real-time systems in a causality-based setting. In: Formal Techniques in Real-Time and Fault-Tolerant Systems, September 9-13, 1996, Uppsala, Sweden. pp. 385-405. Lecture Notes in Computer Science 1135. Springer-Verlag. ISBN 3-540-61648-9

1995

Brinksma, H. and Katoen, J.P. and Latella, D. and Langerak, R. (1995) A stochastic causality-based process algebra. The Computer journal, 38 (7). pp. 552-565. ISSN 0010-4620 *** ISI Impact 1,000 ***
Brinksma, H. and Langerak, R. (1995) Functionality Decomposition by Compositional Correctness Preserving Transformation. South African Computer Journal, 13. pp. 2-13. ISSN 1015-7999
D'Argenio, P.R. and Mauw, S. (1995) Delayed choice for process algebra with abstraction. In: Proceedings of the 6th International Conference on Concurrency Theory CONCUR 95, Philadelphia,United States. pp. 501-515. Lecture Notes in Computer Science 962. Springer Verlag. ISBN 3-540-60218-6