Travelled to:1 × Canada
1 × France
1 × Romania
1 × Spain
2 × Germany
2 × Italy
2 × Switzerland
Collaborated with:R.Reicherdt E.Salecker P.Herber J.O.Blech T.Göthel ∅ C.Hundt D.Stöhr F.Friedemann L.Gesellensetter J.Hänsel D.Rose J.Leitner S.Mülling J.Dyck H.Giese L.Lambers S.Schlesinger
Talks about:test (6) verif (5) model (4) time (4) formal (3) code (3) use (3) transform (2) simulink (2) isabell (2)
Person: Sabine Glesner
DBLP: Glesner:Sabine
Facilitated 1 volumes:
EdContributed to:
2015
2014
2012
20122011
20102010
2010
200920052005
2003Wrote 12 papers:
- AMT-2015-DyckGLSG #automation #behaviour #model transformation #towards #verification
- Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations (JD, HG, LL, SS, SG), pp. 36–45.
- SEFM-2014-ReicherdtG #matlab #modelling #using #verification
- Formal Verification of Discrete-Time MATLAB/Simulink Models Using Boogie (RR, SG), pp. 190–204.
- ICSE-2012-ReichertG #matlab #modelling #slicing
- Slicing MATLAB Simulink models (RR, SG), pp. 551–561.
- ICST-2012-SaleckerG #combinator #grammarware #interactive #testing
- Combinatorial Interaction Testing for Test Selection in Grammar-Based Testing (ES, SG), pp. 610–619.
- ICST-2011-HanselRHG #algorithm #embedded #generative #realtime
- An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems (JH, DR, PH, SG), pp. 170–179.
- ICSM-2010-SaleckerG #graph #testing #using
- Pairwise test set calculation using k-partite graphs (ES, SG), pp. 1–5.
- SEFM-2010-GothelG #automation #invariant #network #realtime #towards #using #verification
- Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants (TG, SG), pp. 310–314.
- TOOLS-EUROPE-2010-HundtSG #aspect-oriented #embedded #optimisation
- Optimizing Aspect-Oriented Mechanisms for Embedded Applications (CH, DS, SG), pp. 137–153.
- TAP-2009-HerberFG #model checking #process #testing
- Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process (PH, FF, SG), pp. 121–136.
- COCV-J-2005-BlechGLM #code generation #comparison #correctness #higher-order #optimisation #proving
- Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL (JOB, SG, JL, SM), pp. 33–51.
- SEFM-2005-BlechGG #higher-order #verification
- Formal Verification of Dead Code Elimination in Isabelle/HOL (JOB, LG, SG), pp. 200–209.
- FME-2003-Glesner
- Program Checking with Certificates: Separating Correctness-Critical Code (SG), pp. 758–777.