Author Publications

Article

Bohnenkamp, H.C. and D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. (2006) MoDeST: A compositional modeling formalism for real-time and stochastic systems. IEEE Transactions on Software Engineering, 32 (10). pp. 812-830. ISSN 0098-5589

Brinksma, Ed and D'Argenio, Pedro R. and Katoen, Joost-Pieter (2000) Stochastic process algebras: linking process descriptions with performance. Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica . pp. 34-42.

D'Argenio, Pedro R. and Katoen, Joost-Pieter (2005) A theory of stochastic systems part I: Stochastic automata. Information and Computation, 203 (1). pp. 1-38. ISSN 0890-5401

D'Argenio, Pedro R. and Katoen, Joost-Pieter (2005) A theory of stochastic systems. Part II: Process algebra. Information and Computation, 203 (1). pp. 39-74. ISSN 0890-5401

D'Argenio, Pedro R. and Verhoef, Chris (1997) A general conservative extension theorem in process algebras with inequalities. Theoretical Computer Science, 177 (2). pp. 351-380. ISSN 0304-3975

Lohrey, M. and D'Argenio, P.R. and Hermanns, H. (2005) Axiomatising Divergence. Information and Computation, 203 (2). pp. 115-144. ISSN 0890-5401

Springintveld, Jan and Vaandrager, Frits and D'Argenio, Pedro R. (2001) Testing Timed Automata. Theoretical Computer Science, 254 (1-2). pp. 225-257. ISSN 0304-3975

Book Section

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.

Conference or Workshop Item

Baier, Christel and D'Argenio, Pedro and Größer, Marcus (2005) Partial Order Reduction for Probabilistic Branching Time. In: Third Workshop on Quantitative Aspects of Programming Languages, QAPL 2005, 23 May 2006, Edinburgh, Scotland.

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.

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.

D'Argenio, P.R. and Gebremichael, B. (2005) The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation. In: Proceedings of CONCUR 2005, 23-26 Aug 2005, San Francisco, USA.

D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. (1999) On Generative Parallel Composition. In: First International Workshop on Probabilistic Methods in Verification, PROBMIV '98, 19-20 June 1998, Indianapolis, Indiana.

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.

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.

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.

D'Argenio, P.R. and Katoen, J.P. and Ruys, T.C. and Tretmans, G.J. (1997) The bounded retransmission protocol must be on time! In: Proceedings of the Third Workshop on Tools and Algorithms for the Construction and Analysis of Systems.

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.

D'Argenio, Pedro R. and Hermanns, Holger and Katoen, Joost-Pieter and Klaren, Ric (2001) MoDeST: A Modelling language for Stochastic Timed Systems. In: Joint International Workshop on Process Algebra and Probabilistic Methods. Performance Modelling and Verification, PAPM-PROBMIV, September 12–14, 2001, Aachen, Germany.

D'Argenio, Pedro R. and Katoen, Joost-Pieter and Brinksma, Ed (1999) Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. In: 20th IEEE Real-Time Systems Symposium, 1-3 Dec. 1999 , Phoenix, Arizona.

D'Argenio, Pedro R. and Katoen, Joost-Pieter and Brinksma, Ed (1997) A Stochastic Automata Model and its Algebraic Approach. In: 5th International Workshop on Process Algebra and Performance Modeling, PAPM 1997, 26-27 June 1997, Enschede, the Netherlands.

Lohrey, M. and D'Argenio, P.R. and Hermanns, H. (2002) Axiomatising Divergence. In: Automata, Languages and Programming, 29th International Colloquium, ICALP 2002.

Sierra Abbate, L.R. and D'Argenio, P.R. and Echagüe, J.V. (2000) From Semantics to Spatial Distributions. In: LATIN 2000: Theoretical Informatics, 4th Latin American Symposium, April 10-14, 2000, Proceedings},, Punta del Este, Uruguay.

Report

Bohnenkamp, H.C. and D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. (2004) MoDeST: A compositional modeling formalism for real-time and stochastic systems. [Report]

Bohnenkamp, Henrik and D'Argenio, Pedro R. and Hermanns, Holger and Katoen, Joost-Pieter (2004) MoDeST: A compositional modeling formalism for hard and softly timed systems. [Report]

D'Argenio, P.R. and Brinksma, H. (1996) A Calculus for Timed Automata. [Report]

D'Argenio, Pedro R. (2000) A compositional translation of stochastic automata into timed automata. [Report]

D'Argenio, Pedro R. (1997) Regular processes and timed automata. [Report]

D'Argenio, Pedro R. and Katoen, Joost-Pieter and Ruijs, Theo C. and Tretmans, G. Jan (1997) The Bounded Retransmission Protocol Must Be on Time! [Report]

D'Argenio, Pedro R. and Verhoef, Chris (1996) A general conservative extension theorem in process algebras with inequalities. [Report]

Springintveld, Jan and Vaandrager, Frits and D'Argenio, Pedro R. (1997) Testing Timed Automata. [Report]

Thesis

D'Argenio, Pedro Ruben (1999) Algebras and Automata for Timed and Stochastic Systems. thesis.