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: Strejcek:Jan
Contributed to:
2015
20142013
2013
20122012
2010
2005
20022019Wrote 10 papers:
- CAV-2015-BabiakBDKKM0S
- 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.
- ISSTA-2012-StrejcekT
- 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.