Travelled to:1 × Austria
1 × Italy
1 × Portugal
1 × Spain
1 × Switzerland
1 × The Netherlands
2 × Germany
2 × USA
Collaborated with:W.Wei F.Leitner-Fischer H.Ben-Abdallah M.Kamel S.Fischer A.Stefanescu R.Mayr L.Mehrmann M.Rezai M.Kölbl T.Wies J.Tan G.S.Avrunin L.A.Clarke S.Zilberstein
Talks about:system (4) model (3) uml (3) sequenc (2) chart (2) time (2) base (2) counterexampl (1) architectur (1) multimedia (1)
Person: Stefan Leue
DBLP: Leue:Stefan
Contributed to:
2013
2011
2008
2006
200420042000
19981998
19971997
2019Wrote 12 papers:
- VMCAI-2013-Leitner-FischerL #modelling
- Causality Checking for Complex System Models (FLF, SL), pp. 248–267.
- QAPL-2011-LeitnerFischerL #analysis #modelling #named #quantum #safety #uml
- QuantUM: Quantitative Safety Analysis of UML Models (FLF, SL), pp. 16–30.
- TOOLS-EUROPE-2008-LeueSW #runtime #scheduling #semantics #uml
- An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT (SL, AS, WW), pp. 238–257.
- TACAS-2006-LeueW #approach #graph #proving #termination
- A Region Graph Based Approach to Termination Proofs (SL, WW), pp. 318–333.
- FSE-2004-TanACZL
- Heuristic-guided counterexample search in FLAVERS (JT, GSA, LAC, SZ, SL), pp. 201–210.
- TACAS-2004-LeueMW #bound #modelling #scalability #uml
- A Scalable Incomplete Test for the Boundedness of UML RT Models (SL, RM, WW), pp. 327–341.
- TACAS-2000-KamelL #compilation #editing #named #visual notation
- VIP: A Visual Editor and Compiler for v-Promela (MK, SL), pp. 471–486.
- ASE-1998-LeueMR #architecture #sequence chart #specification
- Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications (SL, LM, MR), pp. 192–195.
- TACAS-1998-Ben-AbdallahL #concurrent #design #named
- MESA: Support for Scenario-Based Design of Concurrent Systems (HBA, SL), pp. 118–135.
- ICSE-1997-FischerL #formal method #multi
- Formal Methods for Broadband and Multimedia Systems (SF, SL), pp. 665–666.
- TACAS-1997-Ben-AbdallahL #detection #process #sequence chart
- Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts (HBA, SL), pp. 259–274.
- CAV-2019-KolblLW #bound
- Clock Bound Repair for Timed Systems (MK, SL, TW), pp. 79–96.