Stefan Leue
机构: Professor of Computer Science, University of Konstanz, Germany
主页: uni-konstanz.de
每年引用次数
引用次数
引用: 3,692
H-指数: 34
I10-指数 : 74
出版物: 191
QoS Specification Based on SDL/MSC and Temporal Logic
Stefan Leue
Distributed Multimedia Applications and Quality of Service Verification
10
1994
Architecture of a Requirements and Design Tool Based on Message Sequence Charts
Stefan Leue , Hanêne Ben-Abdallah
5
1996
Extending non-termination proof techniques to asynchronously communicating concurrent programs
Stefan Leue , Christoph Scheben , Matthias Kuntz
WING@ETAPS/IJCAR 132 -147
2010
Synthesizing ROOM Models from Message Sequence Chart Specifications
Stefan Leue , Mohammad Rezai , Lars Mehrmann
37
1998
Symbolic Causality Checking Using SAT-Solving
Stefan Leue , Florian Leitner-Fischer , Uwe Kühne , Rüdiger Prem
2014
JaCaL : an implementation of Linda in Java
Stefan Leue , Piotr Tysowski , Mohammad Zulkernine
IASTED 683 -692
4
1999
On the Relationship of Event Order Logic and Linear Temporal Logic
Stefan Leue , Florian Leitner-Fischer , Adrian Beer
3
2014
Quantitative Safety Analysis of Non-Deterministic System Architectures
Stefan Leue , Florian Leitner-Fischer , Uwe Kühne , Rüdiger Prem
2013
Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models
Stefan Leue , Florian Leitner-Fischer , Adrian Beer , Todor G. Georgiev
Model-Based Development of Embedded Systems 60 -69
2
2013
Automated Invariant Generation for the Verification of Real-Time Systems
Stefan Leue , Jan-Georg Smaus , Bahareh Badban
2nd International Workshop on Invariant Generation (WING)
3
2009
Modeling and analyzing spike timing dependent plasticity with linear hybrid automata
Stefan Leue , Alina Bey
1
2011
Towards causality checking for complex system models
Stefan Leue , Florian Leitner-Fischer
Model-Based Development of Embedded Systems 71 -80
1
2012
Towards Symbolic Causality Checking using SAT-Solving
Stefan Leue , Florian Leitner-Fischer , Uwe Kühne , Adrian Beer
Model-based development of embedded systems 11 -20
2014
K* : heuristics-guided, on-the-fly k shortest paths search
Stefan Leue , Husain Aljazzar
1
2010
Implementing Message Sequence Charts in Promela
Stefan Leue , Peter B. Ladkin
SPIN
1
1995
Heuristic Search for Unbounded Executions
Stefan Leue , Christoph Scheben , Matthias Kuntz , Wei Wei
2009
Protocol verification with heuristic search
Stefan Leue , Stefan Edelkamp , Alberto Lluch-Lafuente
national conference on artificial intelligence
40
2001
Formal methods for industrial critical systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, revised selected papers
Stefan Leue , Pedro Merino
Berlin [u.a.] : Springer
2008
Explicit state model checking in the development process for interlocking software systems
Stefan Leue , Peter Biechele
1
2003
Dagstuhl--Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland
Manfred Nagl , Barbara Paech , Volker Gruhn , Sabine Glesner
dagstuhl seminar proceedings 0
2
2006
Florian Leitner-Fischer Edelkamp, Stefan Husain Aljazzar Alberto Lluch Lafuente Philippe Oechslin Adrian Beer Dragan Bosnacki Alin Stefanescu Lars Grunske Giuseppe Di Fatta Holger Hermanns Stefan Fischer Gerard Holzmann Shlomo Zilberstein Lori Clarke Christian Wienbruch Willem Visser Pedro Merino Matthew Dwyer Doron A. Peled