EEMCS

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

EEMCS EPrints Service


Author: D'Argenio, P.R.
Home Policy Brochure Browse Search User Area Contact Help

2016

D'Argenio, P.R. and Hartmanns, A. and Legay, A. and Sedwards, S. (2016) Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata. In: Proceedings of the 12th International Conference on Integrated Formal Methods (IFM 2016), 1-5 June 2016, Reykjavík, Iceland. pp. 99-114. Lecture Notes in Computer Science 9681. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-33692-3

2006

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 *** ISI Impact 1,516 ***

2005

Baier, C. and D'Argenio, P.R. and Größer, M. (2005) Partial Order Reduction for Probabilistic Branching Time. In: Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005), 23 May 2006, Edinburgh, Scotland. pp. 97-116. Electronic Notes in Theoretical Computer Science 153 (2). Elsevier. ISSN 1571-0661
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. pp. 125-140. Lecture Notes in Computer Science 3653. Springer Verlag. ISBN 3-540-28309-9
D'Argenio, P.R. and Katoen, J.P. (2005) A theory of stochastic systems part I: Stochastic automata. Information and Computation, 203 (1). pp. 1-38. ISSN 0890-5401 *** ISI Impact 0,873 ***
D'Argenio, P.R. and Katoen, J.P. (2005) A theory of stochastic systems. Part II: Process algebra. Information and Computation, 203 (1). pp. 39-74. ISSN 0890-5401 *** ISI Impact 0,873 ***
Lohrey, M. and D'Argenio, P.R. and Hermanns, H. (2005) Axiomatising Divergence. Information and computation, 203 (2). pp. 115-144. ISSN 0890-5401 *** ISI Impact 0,873 ***

2004

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. Technical Report TR-CTIT-04-46, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

2002

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

2001

D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. and Klaren, R. (2001) MODEST: A modelling language for stochastic timed systems. In: Joint Int. Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification (PAPM-PROBMIV), Aachen, Germany. pp. 87-104. Springer-Verlag. ISBN 3-540-42556-X
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
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.
Springintveld, J. and Vaandrager, F.W. and D'Argenio, P.R. (2001) Testing Timed Automata. Theoretical Computer Science, 254 (1-2). pp. 225-257. ISSN 0304-3975 *** ISI Impact 0,643 ***

2000

D'Argenio, P.R. (2000) A compositional Translation of Stochastic Automata into Timed Automata. Technical Report TR-CTIT-00-08, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
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. pp. 427-436. Lecture Notes in Computer Science 1776. Springer Verlag. ISBN 3-540-67306-7

1999

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

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) An Algebraic Approach to the Specification of Stochastic Systems. Technical Report TR-CTIT-98-02, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
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

1997

D'Argenio, P.R. (1997) Regular Processes and Timed Automata. Technical Report TR-CTIT-97-02, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
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 Katoen, J.P. and Ruys, T.C. and Tretmans, G.J. (1997) The Bounded Retransmission Protocol must be on time! Technical Report TR-CTIT-97-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
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. pp. 416-431. Lecture Notes in Computer Science 1217. Springer-Verlag.
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 ***
Springintveld, J. and Vaandrager, F.W. and D'Argenio, P.R. (1997) Testing Timed Automata. Technical Report TR-CTIT-97-17, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

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.

1995

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