|
Albarghouthi, Aws
|
ETAPS '13-TACAS: "UFO: Verification with Interpolants ..."
UFO: Verification with Interpolants and Abstract Interpretation
Aws Albarghouthi and Marsha Chechik
(University of Toronto, Canada; Software Engineering Institute, Carnegie Mellon University, USA)
@InProceedings{ETAPS13p205,
author = {Aws Albarghouthi and Marsha Chechik},
title = {UFO: Verification with Interpolants and Abstract Interpretation},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Beyer, Dirk
|
ETAPS '13-TACAS: "Second Competition on Software ..."
Second Competition on Software Verification
Dirk Beyer
(University of Passau, Germany)
@InProceedings{ETAPS13p169,
author = {Dirk Beyer},
title = {Second Competition on Software Verification},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Chakraborty, Supratik
|
ETAPS '13-TACAS: "Extending Quantifier Elimination ..."
Extending Quantifier Elimination to Linear Inequalities on Bit-vectors
Supratik Chakraborty
(BARC, India; IIT Bombay, India)
@InProceedings{ETAPS13p21,
author = {Supratik Chakraborty},
title = {Extending Quantifier Elimination to Linear Inequalities on Bit-vectors},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Chechik, Marsha |
ETAPS '13-TACAS: "UFO: Verification with Interpolants ..."
UFO: Verification with Interpolants and Abstract Interpretation
Aws Albarghouthi and Marsha Chechik
(University of Toronto, Canada; Software Engineering Institute, Carnegie Mellon University, USA)
@InProceedings{ETAPS13p205,
author = {Aws Albarghouthi and Marsha Chechik},
title = {UFO: Verification with Interpolants and Abstract Interpretation},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Dudka, Kamil
|
ETAPS '13-TACAS: "Predator: A Tool for Verification ..."
Predator: A Tool for Verification of Low-level List Manipulation
Kamil Dudka and Tomas Vojnar
(Brno University of Technology, Czech Republic)
@InProceedings{ETAPS13p193,
author = {Kamil Dudka and Tomas Vojnar},
title = {Predator: A Tool for Verification of Low-level List Manipulation},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Engelen, Luc
|
ETAPS '13-TACAS: "Efficient Property Preservation ..."
Efficient Property Preservation Checking of Model Refinements
Luc Engelen
(Eindhoven University of Technology, Netherlands)
@InProceedings{ETAPS13p161,
author = {Luc Engelen},
title = {Efficient Property Preservation Checking of Model Refinements},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Falke, Stephan
|
ETAPS '13-TACAS: "LLBMC: Improved Bounded Model ..."
LLBMC: Improved Bounded Model Checking of C Programs Using LLVM
Stephan Falke and Carsten Sinz
(Karlsruhe Institute of Technology (KIT), Germany)
@InProceedings{ETAPS13p189,
author = {Stephan Falke and Carsten Sinz},
title = {LLBMC: Improved Bounded Model Checking of C Programs Using LLVM},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Fischer, Bernd |
ETAPS '13-TACAS: "Handling Unbounded Loops with ..."
Handling Unbounded Loops with ESBMC 1.20 (Competition Contribution)
Jeremy Morse and Bernd Fischer
(University of Southampton, UK; Universidade Federal do Amazonas, Brazil)
@InProceedings{ETAPS13p185,
author = {Jeremy Morse and Bernd Fischer},
title = {Handling Unbounded Loops with ESBMC 1.20 (Competition Contribution)},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
ETAPS '13-TACAS: "CSeq: A Sequentialization ..."
CSeq: A Sequentialization Tool for C (Competition Contribution)
Bernd Fischer and Gennaro Parlato
(University of Southampton, UK)
@InProceedings{ETAPS13p181,
author = {Bernd Fischer and Gennaro Parlato},
title = {CSeq: A Sequentialization Tool for C (Competition Contribution)},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Heizmann, Matthias
|
ETAPS '13-TACAS: "Ultimate Automizer with SMTInterpol ..."
Ultimate Automizer with SMTInterpol
Matthias Heizmann and Andreas Podelski
(University of Freiburg, Germany)
@InProceedings{ETAPS13p209,
author = {Matthias Heizmann and Andreas Podelski},
title = {Ultimate Automizer with SMTInterpol},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Heljanko, Keijo |
ETAPS '13-TACAS: "Asynchronous Multi-Core Incremental ..."
Asynchronous Multi-Core Incremental SAT Solving
Keijo Heljanko
(Aalto University School of Science and Technology, Finland; Aalto University, Finland)
@InProceedings{ETAPS13p37,
author = {Keijo Heljanko},
title = {Asynchronous Multi-Core Incremental SAT Solving},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Konecny, Filip
|
ETAPS '13-TACAS: "Underapproximation of Procedure ..."
Underapproximation of Procedure Summaries for Integer Programs
Filip Konecny
(IMDEA Software Institute, Spain; Verimag, CNRS, France; Verimag, France)
@InProceedings{ETAPS13p69,
author = {Filip Konecny},
title = {Underapproximation of Procedure Summaries for Integer Programs},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Löwe, Stefan
|
ETAPS '13-TACAS: "CPAchecker with Explicit-Value ..."
CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation (Competition Contribution)
Stefan Löwe
(University of Passau, Germany)
@InProceedings{ETAPS13p173,
author = {Stefan Löwe},
title = {CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation (Competition Contribution)},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Lowry, Michael |
ETAPS '13-TACAS: "Polyglot: Systematic Analysis ..."
Polyglot: Systematic Analysis for Multiple Statechart Formalisms
Michael Lowry
(CMU, USA; Vanderbilt University, USA; NASA Ames Research Center, USA)
@InProceedings{ETAPS13p141,
author = {Michael Lowry},
title = {Polyglot: Systematic Analysis for Multiple Statechart Formalisms},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Lüttgen, Gerald |
ETAPS '13-TACAS: "Identifying Dynamic Data Structures ..."
Identifying Dynamic Data Structures by Learning Evolving Patterns in Memory
Gerald Lüttgen
(Universität Bamberg, Germany)
@InProceedings{ETAPS13p97,
author = {Gerald Lüttgen},
title = {Identifying Dynamic Data Structures by Learning Evolving Patterns in Memory},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Majumdar, Rupak
|
ETAPS '13-TACAS: "Model Checking Database Applications ..."
Model Checking Database Applications
Rupak Majumdar
(University of Illinois at Urbana-Champaign, USA; Max Planck Institute for Software Systems, Germany)
@InProceedings{ETAPS13p157,
author = {Rupak Majumdar},
title = {Model Checking Database Applications},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Maler, Oded |
ETAPS '13-TACAS: "As Soon as Probable: Optimal ..."
As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty
Oded Maler
(VERIMAG, France; Verimag/CNRS, France; CNRS-VERIMAG, France)
@InProceedings{ETAPS13p105,
author = {Oded Maler},
title = {As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Mardare, Radu |
ETAPS '13-TACAS: "On-the-Fly Exact Computation ..."
On-the-Fly Exact Computation of Bisimilarity Distances
Radu Mardare
(Dept. of Mathematics and Computer Science, University of Udine, Italy, Italy; Dept. of Computer Science, Aalborg University, Denmark, Denmark)
@InProceedings{ETAPS13p1,
author = {Radu Mardare},
title = {On-the-Fly Exact Computation of Bisimilarity Distances},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Marques-Silva, Joao |
ETAPS '13-TACAS: "Formula Preprocessing in MUS ..."
Formula Preprocessing in MUS Extraction
Joao Marques-Silva
(Univesity College Dublin, Ireland; University of Helsinki, Finland; University College Dublin, Ireland)
@InProceedings{ETAPS13p29,
author = {Joao Marques-Silva},
title = {Formula Preprocessing in MUS Extraction},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Minamide, Yasuhiko |
ETAPS '13-TACAS: "Weighted Pushdown Systems ..."
Weighted Pushdown Systems with Indexed Weight Domains
Yasuhiko Minamide
(Faculty of Engineering, Information and Systems, University of Tsukuba, Japan)
@InProceedings{ETAPS13p65,
author = {Yasuhiko Minamide},
title = {Weighted Pushdown Systems with Indexed Weight Domains},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Morse, Jeremy |
ETAPS '13-TACAS: "Handling Unbounded Loops with ..."
Handling Unbounded Loops with ESBMC 1.20 (Competition Contribution)
Jeremy Morse and Bernd Fischer
(University of Southampton, UK; Universidade Federal do Amazonas, Brazil)
@InProceedings{ETAPS13p185,
author = {Jeremy Morse and Bernd Fischer},
title = {Handling Unbounded Loops with ESBMC 1.20 (Competition Contribution)},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Mutilin, Vadim |
ETAPS '13-TACAS: "Predicate Analysis with BLAST ..."
Predicate Analysis with BLAST 2.7.1
Pavel Shved and Vadim Mutilin
(ISPRAS, Russia)
@InProceedings{ETAPS13p213,
author = {Pavel Shved and Vadim Mutilin},
title = {Predicate Analysis with BLAST 2.7.1},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Nagarajan, Rajagopal
|
ETAPS '13-TACAS: "Equivalence Checking Quantum ..."
Equivalence Checking Quantum Protocols
Rajagopal Nagarajan
(University of Warwick, UK; University of Glasgow, UK; Middlesex University, UK)
@InProceedings{ETAPS13p129,
author = {Rajagopal Nagarajan},
title = {Equivalence Checking Quantum Protocols},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Nutz, Alexander |
ETAPS '13-TACAS: "Proof Tree Preserving Interpolation ..."
Proof Tree Preserving Interpolation
Alexander Nutz
(University of Freiburg, Germany)
@InProceedings{ETAPS13p33,
author = {Alexander Nutz},
title = {Proof Tree Preserving Interpolation},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Parlato, Gennaro
|
ETAPS '13-TACAS: "CSeq: A Sequentialization ..."
CSeq: A Sequentialization Tool for C (Competition Contribution)
Bernd Fischer and Gennaro Parlato
(University of Southampton, UK)
@InProceedings{ETAPS13p181,
author = {Bernd Fischer and Gennaro Parlato},
title = {CSeq: A Sequentialization Tool for C (Competition Contribution)},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
ETAPS '13-TACAS: "Policy Analysis for Self-Administrated ..."
Policy Analysis for Self-Administrated Role-Based Access Control
Gennaro Parlato
(University of Bristol, UK; University of Illinois, USA; University of Southampton, UK)
@InProceedings{ETAPS13p117,
author = {Gennaro Parlato},
title = {Policy Analysis for Self-Administrated Role-Based Access Control},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Podelski, Andreas |
ETAPS '13-TACAS: "Ultimate Automizer with SMTInterpol ..."
Ultimate Automizer with SMTInterpol
Matthias Heizmann and Andreas Podelski
(University of Freiburg, Germany)
@InProceedings{ETAPS13p209,
author = {Matthias Heizmann and Andreas Podelski},
title = {Ultimate Automizer with SMTInterpol},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Poitrenaud, Denis |
ETAPS '13-TACAS: "Strength-based decomposition ..."
Strength-based decomposition of the property Büchi automaton for faster model-checking
Denis Poitrenaud
(LRDE - LIP6/UPMC, France; LRDE, France; LIP6/UPMC, France)
@InProceedings{ETAPS13p165,
author = {Denis Poitrenaud},
title = {Strength-based decomposition of the property Büchi automaton for faster model-checking},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Popeea, Corneliu |
ETAPS '13-TACAS: "Threader: A Verifier for Multi-threaded ..."
Threader: A Verifier for Multi-threaded Programs (Competition Contribution)
Corneliu Popeea and Andrey Rybalchenko
(Technical University Munich, Germany; TUM, Germany)
@InProceedings{ETAPS13p201,
author = {Corneliu Popeea and Andrey Rybalchenko},
title = {Threader: A Verifier for Multi-threaded Programs (Competition Contribution)},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Raskin, Jean-Francois
|
ETAPS '13-TACAS: "Synthesis from LTL Specifications ..."
Synthesis from LTL Specifications with Mean-Payoff Objectives
Jean-Francois Raskin
(UMONS, Belgium; University of Mons, Belgium; Universite Paris-Est Creteil, France; Universite Libre de Bruxelles, Belgium)
@InProceedings{ETAPS13p45,
author = {Jean-Francois Raskin},
title = {Synthesis from LTL Specifications with Mean-Payoff Objectives},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Rezine, Ahmed |
ETAPS '13-TACAS: "Memorax: Fence Inference under ..."
Memorax: Fence Inference under the TSO Memory Model
Ahmed Rezine
(Uppsala University, Sweden; Academia Sinica, Taiwan; Linköping University, Sweden)
@InProceedings{ETAPS13p145,
author = {Ahmed Rezine},
title = {Memorax: Fence Inference under the TSO Memory Model},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
ETAPS '13-TACAS: "An Integrated Specification ..."
An Integrated Specification and Verification Technique for Highly Concurrent Data Structures
Ahmed Rezine
(Uppsala University, Sweden; Brno University of Technology, Czech Republic; Linköping University, Sweden)
@InProceedings{ETAPS13p101,
author = {Ahmed Rezine},
title = {An Integrated Specification and Verification Technique for Highly Concurrent Data Structures},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Roux, Olivier H. |
ETAPS '13-TACAS: "Integer Parameter Synthesis ..."
Integer Parameter Synthesis for Timed Automata
Olivier H. Roux
(Ecole Centrale de Nantes, France; IRCCyN; IRCCyN/Ecole Centrale de Nantes, France)
@InProceedings{ETAPS13p109,
author = {Olivier H. Roux},
title = {Integer Parameter Synthesis for Timed Automata},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Russo, Claudio |
ETAPS '13-TACAS: "Deriving Probability Density ..."
Deriving Probability Density Functions from Probabilistic Functional Programs
Claudio Russo
(Georgia Institute of Technology, USA; Uppsala University, Sweden; Microsoft Research and University of Edinburgh, UK; Microsoft Research, UK)
@InProceedings{ETAPS13p137,
author = {Claudio Russo},
title = {Deriving Probability Density Functions from Probabilistic Functional Programs},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Ryan, Mark |
ETAPS '13-TACAS: "Model checking agent knowledge ..."
Model checking agent knowledge in dynamic access control policies
Mark Ryan
(University of Birmingham, UK)
@InProceedings{ETAPS13p121,
author = {Mark Ryan},
title = {Model checking agent knowledge in dynamic access control policies},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Rybalchenko, Andrey |
ETAPS '13-TACAS: "Threader: A Verifier for Multi-threaded ..."
Threader: A Verifier for Multi-threaded Programs (Competition Contribution)
Corneliu Popeea and Andrey Rybalchenko
(Technical University Munich, Germany; TUM, Germany)
@InProceedings{ETAPS13p201,
author = {Corneliu Popeea and Andrey Rybalchenko},
title = {Threader: A Verifier for Multi-threaded Programs (Competition Contribution)},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Sagiv, Mooly
|
ETAPS '13-TACAS: "Synthesis of Circular Compositional ..."
Synthesis of Circular Compositional Program Proofs via Abduction
Mooly Sagiv
(College of William & Mary, USA; Microsoft Research, USA; Tel Aviv University, Israel)
@InProceedings{ETAPS13p89,
author = {Mooly Sagiv},
title = {Synthesis of Circular Compositional Program Proofs via Abduction},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Salaün, Gwen |
ETAPS '13-TACAS: "PIC2LNT: Model Transformation ..."
PIC2LNT: Model Transformation for Model Checking an Applied Pi-calculus
Gwen Salaün
(INRIA Grenoble - Rhone-Alpes, France; Grenoble INP - INRIA - LIG, France)
@InProceedings{ETAPS13p53,
author = {Gwen Salaün},
title = {PIC2LNT: Model Transformation for Model Checking an Applied Pi-calculus},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Schachte, Peter |
ETAPS '13-TACAS: "Unbounded Model-Checking with ..."
Unbounded Model-Checking with Interpolation for Regular Language Constraints
Peter Schachte
(University of Melbourne, Australia)
@InProceedings{ETAPS13p77,
author = {Peter Schachte},
title = {Unbounded Model-Checking with Interpolation for Regular Language Constraints},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Sebastiani, Roberto |
ETAPS '13-TACAS: "The MathSAT5 SMT Solver ..."
The MathSAT5 SMT Solver
Roberto Sebastiani
(FBK-irst, Italy; FBK-IRST, Italy; DISI, University of Trento and FBK-IRST, Italy; DISI, University of Trento, Italy)
@InProceedings{ETAPS13p25,
author = {Roberto Sebastiani},
title = {The MathSAT5 SMT Solver},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Sharygina, Natasha |
ETAPS '13-TACAS: "eVolCheck: Incremental Upgrade ..."
eVolCheck: Incremental Upgrade Checker for C
Natasha Sharygina
(University of Lugano, Switzerland)
@InProceedings{ETAPS13p81,
author = {Natasha Sharygina},
title = {eVolCheck: Incremental Upgrade Checker for C},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Shoham, Sharon |
ETAPS '13-TACAS: "Intertwined Forward-Backward ..."
Intertwined Forward-Backward Reachability Analysis Using Interpolants
Sharon Shoham
(Technion - Israel Institute of Technology, Israel)
@InProceedings{ETAPS13p85,
author = {Sharon Shoham},
title = {Intertwined Forward-Backward Reachability Analysis Using Interpolants},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Shved, Pavel |
ETAPS '13-TACAS: "Predicate Analysis with BLAST ..."
Predicate Analysis with BLAST 2.7.1
Pavel Shved and Vadim Mutilin
(ISPRAS, Russia)
@InProceedings{ETAPS13p213,
author = {Pavel Shved and Vadim Mutilin},
title = {Predicate Analysis with BLAST 2.7.1},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Simaitis, Aistis |
ETAPS '13-TACAS: "PRISM-games: A Model Checker ..."
PRISM-games: A Model Checker for Stochastic Multi-Player Games
Aistis Simaitis
(University of Oxford, UK; Oxford University, UK; University of Birmingham, UK)
@InProceedings{ETAPS13p49,
author = {Aistis Simaitis},
title = {PRISM-games: A Model Checker for Stochastic Multi-Player Games},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Sinz, Carsten |
ETAPS '13-TACAS: "LLBMC: Improved Bounded Model ..."
LLBMC: Improved Bounded Model Checking of C Programs Using LLVM
Stephan Falke and Carsten Sinz
(Karlsruhe Institute of Technology (KIT), Germany)
@InProceedings{ETAPS13p189,
author = {Stephan Falke and Carsten Sinz},
title = {LLBMC: Improved Bounded Model Checking of C Programs Using LLVM},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Slaby, Jiri |
ETAPS '13-TACAS: "Symbiotic: Synergy of Instrumentation, ..."
Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution
Jiri Slaby and Marek Trtík
(Faculty of Informatics, Masaryk University, Brno, Czech Republic; Masaryk University, Brno, Czech Republic)
@InProceedings{ETAPS13p197,
author = {Jiri Slaby and Marek Trtík},
title = {Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Smallbone, Nicholas |
ETAPS '13-TACAS: "Encoding Monomorphic and Polymorphic ..."
Encoding Monomorphic and Polymorphic Types
Nicholas Smallbone
(TU Muenchen, Germany; Technische Universität München, Germany; Chalmers University of Technology, Sweden)
@InProceedings{ETAPS13p133,
author = {Nicholas Smallbone},
title = {Encoding Monomorphic and Polymorphic Types},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Styp-Rekowsky, Philipp von |
ETAPS '13-TACAS: "AppGuard - Enforcing User ..."
AppGuard - Enforcing User Requirements on Android Apps
Philipp von Styp-Rekowsky
(Saarland University and Max Planck Institute for Software Systems, Germany; Saarland University, Germany)
@InProceedings{ETAPS13p153,
author = {Philipp von Styp-Rekowsky},
title = {AppGuard - Enforcing User Requirements on Android Apps},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Timofeitchik, Aram
|
ETAPS '13-TACAS: "Automatic Testing of Real-Time ..."
Automatic Testing of Real-Time Graphic Systems
Aram Timofeitchik
(Dfind Redpatch, Sweden; Chalmers | University of Gothenburg|, Sweden; DQ Consulting AB, Sweden)
@InProceedings{ETAPS13p125,
author = {Aram Timofeitchik},
title = {Automatic Testing of Real-Time Graphic Systems},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Touili, Tayssir |
ETAPS '13-TACAS: "LTL Model-Checking for Malware ..."
LTL Model-Checking for Malware Detection
Tayssir Touili
(LIAFA, CNRS & University Paris Diderot, France)
@InProceedings{ETAPS13p113,
author = {Tayssir Touili},
title = {LTL Model-Checking for Malware Detection},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Trtík, Marek |
ETAPS '13-TACAS: "Symbiotic: Synergy of Instrumentation, ..."
Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution
Jiri Slaby and Marek Trtík
(Faculty of Informatics, Masaryk University, Brno, Czech Republic; Masaryk University, Brno, Czech Republic)
@InProceedings{ETAPS13p197,
author = {Jiri Slaby and Marek Trtík},
title = {Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Tzevelekos, Nikos |
ETAPS '13-TACAS: "Runtime Verification Based ..."
Runtime Verification Based on Register Automata
Nikos Tzevelekos
(Queen Mary, University of London, UK; Microsoft Research, UK)
@InProceedings{ETAPS13p73,
author = {Nikos Tzevelekos},
title = {Runtime Verification Based on Register Automata},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Vojnar, Tomas
|
ETAPS '13-TACAS: "Predator: A Tool for Verification ..."
Predator: A Tool for Verification of Low-level List Manipulation
Kamil Dudka and Tomas Vojnar
(Brno University of Technology, Czech Republic)
@InProceedings{ETAPS13p193,
author = {Kamil Dudka and Tomas Vojnar},
title = {Predator: A Tool for Verification of Low-level List Manipulation},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Wang, Bow-Yaw
|
ETAPS '13-TACAS: "BULL: a Library for Learning ..."
BULL: a Library for Learning Algorithms of Boolean Functions
Bow-Yaw Wang
(Academia Sinica, Taiwan)
@InProceedings{ETAPS13p149,
author = {Bow-Yaw Wang},
title = {BULL: a Library for Learning Algorithms of Boolean Functions},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Wang, Farn |
ETAPS '13-TACAS: "Model-Checking Iterative Games ..."
Model-Checking Iterative Games
Farn Wang
(National Taiwan University, Taiwan; University of Liverpool, UK)
@InProceedings{ETAPS13p41,
author = {Farn Wang},
title = {Model-Checking Iterative Games},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Wendler, Philipp |
ETAPS '13-TACAS: "CPAchecker with Sequential ..."
CPAchecker with Sequential Combination of Explicit-State Analysis and Predicate Analysis (Competition Contribution)
Philipp Wendler
(University of Passau, Germany)
@InProceedings{ETAPS13p177,
author = {Philipp Wendler},
title = {CPAchecker with Sequential Combination of Explicit-State Analysis and Predicate Analysis (Competition Contribution)},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Willemse, Tim |
ETAPS '13-TACAS: "Ins and outs of the mCRL2 ..."
Ins and outs of the mCRL2 toolset
Tim Willemse
(Eindhoven University of Technologoy, Netherlands; Eindhoven University of Technology, Netherlands; Eindhoven Universtiy of Technology, Netherlands)
@InProceedings{ETAPS13p57,
author = {Tim Willemse},
title = {Ins and outs of the mCRL2 toolset},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Wolper, Pierre |
ETAPS '13-TACAS: "A Verification-Based Approach ..."
A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems
Pierre Wolper
(Université de Liège, Belgium)
@InProceedings{ETAPS13p93,
author = {Pierre Wolper},
title = {A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Worrell, James |
ETAPS '13-TACAS: "LTL model checking of Interval ..."
LTL model checking of Interval Markov Chains
James Worrell
(Oxford University, UK; Oxford University, Computing Laboratory, UK)
@InProceedings{ETAPS13p9,
author = {James Worrell},
title = {LTL model checking of Interval Markov Chains},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Yannakakis, Mihalis
|
ETAPS '13-TACAS: "Analysis of Boolean Programs ..."
Analysis of Boolean Programs
Mihalis Yannakakis
(Microsoft Research, USA; Columbia University, USA)
@InProceedings{ETAPS13p61,
author = {Mihalis Yannakakis},
title = {Analysis of Boolean Programs},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Zhang, Lijun
|
ETAPS '13-TACAS: "The Quest for Minimal Quotients ..."
The Quest for Minimal Quotients for Probabilistic Automata
Lijun Zhang
(Saarland University, Germany; Universität der Bundeswehr München, Germany; Universität des Saarlandes, Germany; Technical University of Denmark, Denmark)
@InProceedings{ETAPS13p5,
author = {Lijun Zhang},
title = {The Quest for Minimal Quotients for Probabilistic Automata},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Zufferey, Damien |
ETAPS '13-TACAS: "Structural Counter Abstraction ..."
Structural Counter Abstraction
Damien Zufferey
(New York University, USA; IST Austria, Austria)
@InProceedings{ETAPS13p17,
author = {Damien Zufferey},
title = {Structural Counter Abstraction},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|
|
Zuleger, Florian |
ETAPS '13-TACAS: "Ramsey vs. lexicographic termination ..."
Ramsey vs. lexicographic termination proving
Florian Zuleger
(Microsoft Research, UK; Cambridge University, UK; TU Wien, Austria)
@InProceedings{ETAPS13p13,
author = {Florian Zuleger},
title = {Ramsey vs. lexicographic termination proving},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2013},
}
|