Travelled to:1 × Portugal
1 × South Africa
1 × Spain
1 × Sweden
1 × United Kingdom
1 × Uruguay
2 × France
2 × USA
3 × Germany
Collaborated with:M.R.Hansen ∅ T.Teige M.Müller-Olm A.Eggers N.Ramdani N.Zhan L.Zou P.N.Mosaad M.Fakih K.Grüttner A.Rettberg S.Puch B.Wortelen T.Peikenkamp N.S.Nedialkov M.Amri Y.Becis D.Aubry S.Feng M.Chen B.X.0001 B.Buth K.Buth B.v.Karger Y.Lakhnech H.Langmaack L.Cardelli M.C.0002 M.Z.Kwiatkowska L.Laurenti N.Paoletti M.Whitby
Talks about:system (6) hybrid (4) analysi (3) verif (3) delay (3) use (3) differenti (2) provabl (2) correct (2) toward (2)
Person: Martin Fränzle
DBLP: Fr=auml=nzle:Martin
Contributed to:
2015
2015
2013
2013
2011
2011
2010200820072007
1999
1994199220172019Wrote 15 papers:
- CASE-2015-AmriBARF #multi #robust #using
- Robust indoor location tracking of multiple inhabitants using only binary sensors (MHA, YB, DA, NR, MF), pp. 194–199.
- CAV-2015-ZouFZM #automation #difference #equation #safety #verification
- Automatic Verification of Stability and Safety for Delay Differential Equations (LZ, MF, NZ, PNM), pp. 338–355.
- DATE-2013-FakihGFR #analysis #architecture #model checking #performance #towards #using
- Towards performance analysis of SDFGs mapped to shared-bus architectures using model-checking (MF, KG, MF, AR), pp. 1167–1172.
- DHM-SET-2013-PuchWFP #evaluation #interactive #simulation #using
- Evaluation of Drivers Interaction with Assistant Systems Using Criticality Driven Guided Simulation (SP, BW, MF, TP), pp. 108–117.
- SEFM-2011-EggersRNF #analysis #hybrid #satisfiability
- Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods (AE, NR, NSN, MF), pp. 172–187.
- TACAS-2011-TeigeF #probability #problem #satisfiability
- Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems (TT, MF), pp. 158–172.
- IFM-2010-FranzleTE #hybrid #probability #smt
- Satisfaction Meets Expectations — Computing Expected Values of Probabilistic Hybrid Systems with SMT (MF, TT, AE), pp. 168–182.
- SEFM-2008-FranzleH #approximate #calculus #model checking #performance
- Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations (MF, MRH), pp. 63–72.
- CAV-2007-Franzle #hybrid #verification
- Verification of Hybrid Systems (MF), p. 38.
- TACAS-2007-FranzleH #logic
- Deciding an Interval Logic with Accumulated Durations (MF, MRH), pp. 201–215.
- CSL-1999-Franzle #analysis #hybrid #infinity
- Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States (MF), pp. 126–140.
- CC-1994-FranzleM #code generation #programming language #realtime #towards
- Towards Provably Correct Code Generation for a Hard Real-Time Programming Language (MF, MMO), pp. 294–308.
- CC-1992-ButhBFKLLM #compilation #development #implementation
- Provably Correct Compiler Development and Implementation (BB, KHB, MF, BvK, YL, HL, MMO), pp. 141–155.
- CAV-2017-CardelliCFKLPW #network #synthesis
- Syntax-Guided Optimal Synthesis for Chemical Reaction Networks (LC, MC0, MF, MZK, LL, NP, MW), pp. 375–395.
- CAV-2019-FengCZF0 #bound #difference #equation #verification
- Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations (SF, MC, NZ, MF, BX0), pp. 650–669.