dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Joost-Pieter Katoen (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


164Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf: Three-valued abstraction for probabilistic systems. J. Log. Algebr. Program. 81(4): 356-389 (2012)
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker, Daniel Neider, David R. Piegdon: libalf: The Automata Learning Framework. CAV 2010: 360-364
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker: SMA - The Smyle Modeling Approach. Computing and Informatics 29(1): 45-72 (2010)
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker: Learning Communicating Automata from MSCs. IEEE Trans. Software Eng. 36(3): 390-408 (2010)
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker: SMA - The Smyle Modeling Approach. CEE-SET 2008: 103-117
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker: Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning. CONCUR 2008: 162-166
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf: Abstraction for Stochastic Systems by Erlang's Method of Stages. CONCUR 2008: 279-294
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf: Three-Valued Abstraction for Continuous-Time Markov Chains. CAV 2007: 311-324
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker: Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning. TACAS 2007: 435-450
80no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner: Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004] Springer 2005

Selection of 10 from 174 records - Joost-Pieter Katoen has 129 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page