|
Search the dblp DataBase
Carsten Kern:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Benedikt Bollig, Carsten Kern, Markus Schlütter, Volker Stolz
MSCan - A Tool for Analyzing MSC Specifications. [Citation Graph (0, 0)][DBLP] TACAS, 2006, pp:455-458 [Conf]
- Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning. [Citation Graph (0, 0)][DBLP] TACAS, 2007, pp:435-450 [Conf]
libalf: The Automata Learning Framework. [Citation Graph (, )][DBLP]
Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning. [Citation Graph (, )][DBLP]
Angluin-Style Learning of NFA. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|