, “Reduction and Refinement Strategies for Probabilistic Analysis”, in Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, Proceedings, 2002, vol. 2399, pp. 57-76.
paper-198.pdf (384.84 KB)
paper-198.pdf (384.84 KB), “General Distributions in Process Algebra”, in Lectures on Formal Methods and Performance Analysis, First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000, Revised Lectures, vol. 2090, Springer, 2001, pp. 375-430. paper-202.pdf (951.38 KB)
paper-202.pdf (951.38 KB), “MoDeST - A Modelling and Description Language for Stochastic Timed Systems”, in Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, Proceedings, 2001, vol. 2165, pp. 87-104. paper-201.pdf (284.8 KB)
paper-201.pdf (284.8 KB), “Reachability Analysis of Probabilistic Systems by Successive Refinements”, in Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, Proceedings, 2001, vol. 2165, pp. 39-56. paper-200.pdf (327.48 KB)
paper-200.pdf (327.48 KB), “Testing timed automata”, Theor. Comput. Sci., vol. 254, pp. 225-257, 2001. paper-199.pdf (270.62 KB)
paper-199.pdf (270.62 KB), “UPPAAL - Now, Next, and Future”, in Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000, vol. 2067, Springer, 2001, pp. 99-124. paper-203.pdf (444.91 KB)
paper-203.pdf (444.91 KB), “From Semantics to Spatial Distribution”, in LATIN 2000: Theoretical Informatics, 4th Latin American Symposium, Punta del Este, Uruguay, April 10-14, 2000, Proceedings, 2000, vol. 1776, pp. 427-436. paper-204.pdf (141.4 KB)
paper-204.pdf (141.4 KB), “Algebras and Automata for Timed and Stochastic Systems”, Department of Computer Science, University of Twente, Enschede, 1999. paper-207.pdf (2.87 MB)
paper-207.pdf (2.87 MB), “On Generative Parallel Composition”, Electr. Notes Theor. Comput. Sci., vol. 22, pp. 30-54, 1999. paper-206.pdf (1.51 MB)
paper-206.pdf (1.51 MB), “Specification and Analysis of Soft Real-Time Systems: Quantity and Quality”, in Proceedings of the 20th IEEE Real-Time Systems Symposium, Phoenix, AZ, USA, December 1-3, 1999, 1999, pp. 104-114}. paper-205.pdf (296.98 KB)
paper-205.pdf (296.98 KB), “An algebraic approach to the specification of stochastic systems”, 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, USA, vol. 125. Chapman {&} Hall, pp. 126-147, 1998. paper-208.pdf (387.7 KB)
paper-208.pdf (387.7 KB), “A Compositional Approach to Generalised semi-Markov Processes”, in Proceedings of the 4th International Workshop on Discrete Event Systems, WODES'98, Caligari, Italy, 1998, p. 391--387. paper-210.pdf (224.63 KB)
paper-210.pdf (224.63 KB), “General Purpose Discrete Event Simulation using ♠︎”, in Proc. of 6th International Workshop on Process Algebras and Performance Modeling, PAPM'98, {\rm Nice, France}, 1998, pp. 85-102. paper-209.pdf (354.6 KB)
paper-209.pdf (354.6 KB), “The Bounded Retransmission Protocol Must Be on Time!”, in Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997, Proceedings, 1997, vol. 1217, pp. 416-431. paper-216.pdf (1003.61 KB)
paper-216.pdf (1003.61 KB), “The bounded retransmission protocol must be on time! (Full version)”, University of Twente, 97-03, 1997. paper-212.pdf (654.77 KB)
paper-212.pdf (654.77 KB), “A General Conservative Extension Theorem in Process Algebras with Inequalities”, Theoretical Computer Science, vol. 177, pp. 351-380, 1997. paper-214.pdf (2.23 MB)
paper-214.pdf (2.23 MB), “Regular Processes and Timed Automata”, Transformation-Based Reactive Systems Development, 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings, vol. 1231. Springer, pp. 141-155, 1997. paper-215.pdf (844.99 KB)
paper-215.pdf (844.99 KB), “A Stochastic Automata Model and its Algebraic Approach”, in Proc. of 5th International Workshop on Process Algebras and Performance Modeling, PAPM'97, Enschede, The Netherlands, 1997, vol. 97-14, pp. 1-16. paper-213.pdf (226.43 KB)
paper-213.pdf (226.43 KB), “Testing Timed Automata”, University of Twente, 97-17, 1997.
, “A Calculus for Timed Automata”, in Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings, 1996, vol. 1135, pp. 110-129. paper-218.pdf (1.09 MB)
paper-218.pdf (1.09 MB), “A Calculus for Timed Automata”, University of Twente, 96-13, 1996. paper-220.pdf (437.02 KB)
paper-220.pdf (437.02 KB), “Modeling and verifying a bounded retransmission protocol”, in Proc. of COST 247 International Workshop on Applied Formal Methods in System Design, {\rm Maribor, Slovenia}, 1996. paper-219.pdf (351.06 KB)
paper-219.pdf (351.06 KB), “Delayed choice for process algebra with abstraction”, in CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings, 1995, vol. 962, pp. 501-515. paper-221.pdf (702.31 KB)
paper-221.pdf (702.31 KB), “A general conservative extension theorem in process algebras with inequalities”, in Proceedings of the 2nd. Workshop ACP'95, 1995, pp. 67-79. paper-224.pdf (151.74 KB)
paper-224.pdf (151.74 KB), “Prioridades en un modelo de verdadero paralelismo”, in Proceedings of the 24as Jornadas Argentinas de Informática e Investigación Operativa (24 JAIIO), Buenos Aires, Argentina, 1995, pp. 417-430. paper-223.pdf (234.38 KB)
paper-223.pdf (234.38 KB)