Filters: Author is Joost-Pieter Katoen [Clear All Filters]
, “The Road from Stochastic Automata to the Simulation of Rare Events”, in ModelEd, TestEd, TrustEd. Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, vol. 10500, Springer, 2017, pp. 276-294.
paper-322.pdf (1.51 MB)
paper-322.pdf (1.51 MB), “MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems”, IEEE Trans. Software Eng., vol. 32, no. 10, pp. 812-830, 2006. paper-22.pdf (1.78 MB)
paper-22.pdf (1.78 MB), “A theory of stochastic systems part I: Stochastic automata”, Inf. Comput., vol. 203, no. 1, pp. 1-38, 2005. paper-3.pdf (530.65 KB)
paper-3.pdf (530.65 KB), “A theory of Stochastic systems. Part II: Process algebra”, Inf. Comput., vol. 203, no. 1, pp. 39-74, 2005. paper-4.pdf (976.9 KB)
paper-4.pdf (976.9 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), “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), “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 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), “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)