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 × Italy
1 × Switzerland
2 × Germany
Collaborated with:
N.Bertrand T.Jéron M.Krichen L.Clemente F.Herbreteau G.Sutre P.Bouyer T.Brihaye
Talks about:
time (4) automata (3) test (2) determinist (1) reachabl (1) frequenc (1) determin (1) communic (1) approach (1) univers (1)

Person: Amélie Stainer

DBLP DBLP: Stainer:Am=eacute=lie

Contributed to:

FOSSACS 20132013
FOSSACS 20112011
ICALP (2) 20112011
TACAS 20112011

Wrote 4 papers:

FoSSaCS-2013-ClementeHSS #communication #process #reachability
Reachability of Communicating Timed Processes (LC, FH, AS, GS), pp. 81–96.
FoSSaCS-2011-BertrandSJK #approach #automaton #game studies
A Game Approach to Determinize Timed Automata (NB, AS, TJ, MK), pp. 245–259.
ICALP-v2-2011-BertrandBBS #automaton #problem
Emptiness and Universality Problems in Timed Automata with Positive Frequency (NB, PB, TB, AS), pp. 246–257.
TACAS-2011-BertrandJSK #automaton #nondeterminism #testing
Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata (NB, TJ, AS, MK), pp. 96–111.

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.