3
Publications
135
Citations
3
H-Index
2008
Active since
Carsten Kern is an author at École Normale Supérieure Paris-Saclay specializing in machine learning, artificial intelligence, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceMachine LearningAutomated ReasoningFormal VerificationIntelligent SystemsSystems EngineeringComputer EngineeringParallel Programming
Publications per year
2008–2010
3
3
Benedikt Bollig, Peter Habermehl, Carsten Kern et al. · RWTH Publications (RWTH Aachen) · 2008 · 97 citations · Full text
Learning Communicating Automata from MSCs
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern et al. · IEEE Transactions on Software Engineering · 2010 · 28 citations
Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern et al. · 2008 · 10 citations
Rows per page
1–3 of 3