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 × Estonia
1 × United Kingdom
2 × France
2 × Italy
2 × USA
Collaborated with:
J.Slaby M.Trtík V.Rehák R.Pelánek A.Kucera M.Jonás T.Babiak M.Kretínský P.Slovák L.Hélouët F.Blahoudek A.Duret-Lutz J.Klein J.Kretínský D.Müller D.Parker
Talks about:
automata (3) ltl (3) contribut (2) competit (2) symbiot (2) condit (2) slice (2) more (2) determinist (1) instrument (1)

Person: Jan Strejcek

DBLP DBLP: Strejcek:Jan

Contributed to:

CAV 20152015
TACAS 20142014
TACAS 20132013
VMCAI 20132013
ISSTA 20122012
TACAS 20122012
GT-VMT 20102010
CIAA 20052005
CSL 20022002
CAV (2) 20192019

Wrote 10 papers:

The Hanoi Omega-Automata Format (TB, FB, ADL, JK, JK, DM, DP, JS), pp. 479–486.
TACAS-2014-SlabyS #contest #precise #slicing
Symbiotic 2: More Precise Slicing — (Competition Contribution) (JS, JS), pp. 415–417.
TACAS-2013-SlabyST #contest #execution #named #slicing #symbolic computation
Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution — (Competition Contribution) (JS, JS, MT), pp. 630–632.
VMCAI-2013-SlabyST #classification #database #named
ClabureDB: Classified Bug-Reports Database (JS, JS, MT), pp. 268–274.
Abstracting path conditions (JS, MT), pp. 155–165.
TACAS-2012-BabiakKRS #automaton #ltl #performance
LTL to Büchi Automata Translation: Fast and More Deterministic (TB, MK, VR, JS), pp. 95–109.
GT-VMT-2010-RehakSSH #decidability
Decidable Race Condition and Open Coregions in HMSC (VR, PS, JS, LH).
CIAA-2005-PelanekS #automaton #ltl
Deeper Connections Between LTL and Alternating Automata (RP, JS), pp. 238–249.
CSL-2002-KuceraS #logic #ltl
The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL (AK, JS), pp. 276–291.
CAV-2019-JonasS #named #performance #quantifier #smt
Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors (MJ, JS), pp. 64–73.

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.