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 × France
1 × Israel
1 × Spain
1 × United Kingdom
3 × USA
Collaborated with:
W.Visser C.S.Pasareanu G.Behrmann K.G.Larsen P.Jarusek J.Strejcek P.Bouyer
Talks about:
abstract (3) automata (2) generat (2) store (2) match (2) input (2) test (2) base (2) use (2) introductori (1)

Person: Radek Pelánek

DBLP DBLP: Pel=aacute=nek:Radek

Contributed to:

ITiCSE 20122012
ISSTA 20062006
ASE 20052005
CAV 20052005
CIAA 20052005
TACAS 20042004
CAV 20032003

Wrote 7 papers:

ITiCSE-2012-JarusekP #problem
A web-based problem solving tool for introductory computer science (PJ, RP), p. 371.
ISSTA-2006-VisserPP #generative #java #using
Test input generation for java containers using state matching (WV, CSP, RP), pp. 37–48.
ASE-2005-VisserPP #abstraction #generative #using
Test input generation for red-black trees using abstraction (WV, CSP, RP), pp. 414–417.
CAV-2005-PasareanuPV #model checking #refinement
Concrete Model Checking with Abstract Matching and Refinement (CSP, RP, WV), pp. 52–66.
CIAA-2005-PelanekS #automaton #ltl
Deeper Connections Between LTL and Alternating Automata (RP, JS), pp. 238–249.
TACAS-2004-BehrmannBLP #abstraction #automaton #bound
Lower and Upper Bounds in Zone Based Abstractions of Timed Automata (GB, PB, KGL, RP), pp. 312–326.
To Store or Not to Store (GB, KGL, RP), pp. 433–445.

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.