BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Leue:Stefan

Contributed to:

VMCAI 20132013
QAPL 20112011
TOOLS Europe 20082008
TACAS 20062006
FSE 20042004
TACAS 20042004
TACAS 20002000
ASE 19981998
TACAS 19981998
ICSE 19971997
TACAS 19971997
CAV (1) 20192019

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.