Powered by
2017 European Joint Conferences on Theory and Practice of Software (ETAPS),
April 22–29, 2017,
Uppsala, Sweden
FASE
Learning and Inference
Wed, Apr 26, 09:00 - 10:00, K3+K4
Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study
Jingyi Wang, Jun Sun, Qixia Yuan, and
Jun Pang
(Singapore University of Technology and Design, Singapore; University of Luxembourg, Luxembourg)
@InProceedings{ETAPS17p3565,
author = {Jingyi Wang and Jun Sun and Qixia Yuan and Jun Pang},
title = {Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2017},
}
Publisher's Version
Info
Bordeaux: A Tool for Thinking Outside the Box
Vajih Montaghami and Derek Rayside
(University of Waterloo, Canada)
@InProceedings{ETAPS17p3664,
author = {Vajih Montaghami and Derek Rayside},
title = {Bordeaux: A Tool for Thinking Outside the Box},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2017},
}
Publisher's Version
Test Selection
Wed, Apr 26, 10:30 - 12:30, K3+K4
Bucketing Failing Tests via Symbolic Analysis
Van-Thuan Pham, Sakaar Khurana, Subhajit Roy, and
Abhik Roychoudhury
(National University of Singapore, Singapore; IIT Kanpur, India; Microsoft, India)
@InProceedings{ETAPS17p3763,
author = {Van-Thuan Pham and Sakaar Khurana and Subhajit Roy and Abhik Roychoudhury},
title = {Bucketing Failing Tests via Symbolic Analysis},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2017},
}
Publisher's Version
Program and System Analysis
Thu, Apr 27, 10:30 - 12:30, K3+K4
Change and Delay Contracts for Hybrid System Component Verification
Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, and
André Platzer
(JKU Linz, Austria; Carnegie Mellon University, USA)
@InProceedings{ETAPS17p4258,
author = {Andreas Müller and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger and André Platzer},
title = {Change and Delay Contracts for Hybrid System Component Verification},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2017},
}
Publisher's Version
Info
Precise Version Control of Trees with Line-Based Version Control Systems
Dimitar Asenov, Balz Guenat, Peter Müller
, and Martin Otth
(ETH Zurich, Switzerland; Ergon Informatik, Switzerland)
@InProceedings{ETAPS17p4357,
author = {Dimitar Asenov and Balz Guenat and Peter Müller and Martin Otth},
title = {Precise Version Control of Trees with Line-Based Version Control Systems},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2017},
}
Publisher's Version
Video
Info
Best-Paper Award Nominee
Graph Modelling and Transformation
Thu, Apr 27, 14:00 - 16:00, Sal C
StaticGen: Static Generation of UML Sequence Diagrams
Chris Alvin, Brian Peterson, and Supratik Mukhopadhyay
(Bradley University, USA; Louisiana State University, USA)
@InProceedings{ETAPS17p4456,
author = {Chris Alvin and Brian Peterson and Supratik Mukhopadhyay},
title = {StaticGen: Static Generation of UML Sequence Diagrams},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2017},
}
Publisher's Version
Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques
Erhan Leblebici, Anthony Anjorin, and
Andy Schürr
(TU Darmstadt, Germany; University of Paderborn, Germany)
@InProceedings{ETAPS17p4555,
author = {Erhan Leblebici and Anthony Anjorin and Andy Schürr},
title = {Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2017},
}
Publisher's Version
Symbolic Model Generation for Graph Properties
Sven Schneider, Leen Lambers, and Fernando Orejas
(HPI, Germany; Universitat Politècnica de Catalunya, Spain)
@InProceedings{ETAPS17p4753,
author = {Sven Schneider and Leen Lambers and Fernando Orejas},
title = {Symbolic Model Generation for Graph Properties},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2017},
}
Publisher's Version
Model Transformations
Fri, Apr 28, 10:30 - 12:30, Sal C
Traceability Mappings as a Fundamental Instrument in Model Transformations
Zinovy Diskin, Abel Gómez, and
Jordi Cabot
(McMaster University, Canada; University of Waterloo, Canada; Open University of Catalonia, Spain; ICREA, Spain)
@InProceedings{ETAPS17p4852,
author = {Zinovy Diskin and Abel Gómez and Jordi Cabot},
title = {Traceability Mappings as a Fundamental Instrument in Model Transformations},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2017},
}
Publisher's Version
Reusing Model Transformations Through Typing Requirement Models
Juan de Lara , Juri Di Rocco,
Davide Di Ruscio,
Esther Guerra , Ludovico Iovino, Alfonso Pierantonio, and
Jesús Sánchez Cuadrado
(Autonomous University of Madrid, Spain; University of L'Aquila, Italy; Gran Sasso Science Institute, Italy)
@InProceedings{ETAPS17p4951,
author = {Juan de Lara and Juri Di Rocco and Davide Di Ruscio and Esther Guerra and Ludovico Iovino and Alfonso Pierantonio and Jesús Sánchez Cuadrado},
title = {Reusing Model Transformations Through Typing Requirement Models},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2017},
}
Publisher's Version
Change-Preserving Model Repair
Gabriele Taentzer, Manuel Ohrndorf,
Yngve Lamo, and
Adrian Rutle
(University of Marburg, Germany; University of Siegen, Germany; Western Norway University of Applied Sciences, Norway)
@InProceedings{ETAPS17p5050,
author = {Gabriele Taentzer and Manuel Ohrndorf and Yngve Lamo and Adrian Rutle},
title = {Change-Preserving Model Repair},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2017},
}
Publisher's Version
Info
Configuration and Synthesis
Fri, Apr 28, 14:00 - 16:00, Sal C
OpenSAW: Open Security Analysis Workbench
Noomene Ben Henda, Björn Johansson, Patrik Lantz, Karl Norrman, Pasi Saarinen, and Oskar Segersvärd
(Ericsson Research, Sweden; KTH, Sweden)
@InProceedings{ETAPS17p5248,
author = {Noomene Ben Henda and Björn Johansson and Patrik Lantz and Karl Norrman and Pasi Saarinen and Oskar Segersvärd},
title = {OpenSAW: Open Security Analysis Workbench},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2017},
}
Publisher's Version
Info
Visual Configuration of Mobile Privacy Policies
Abdulbaki Aydin,
David Piorkowski, Omer Tripp, Pietro Ferrara, and
Marco Pistoia
(University of California at Santa Barbara, USA; IBM Research, USA; Google, USA; Julia, Italy)
@InProceedings{ETAPS17p5347,
author = {Abdulbaki Aydin and David Piorkowski and Omer Tripp and Pietro Ferrara and Marco Pistoia},
title = {Visual Configuration of Mobile Privacy Policies},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2017},
}
Publisher's Version
Automated Workarounds from Java Program Specifications Based on SAT Solving
Marcelo Uva, Pablo Ponzio
,
Germán Regis,
Nazareno Aguirre , and Marcelo F. Frias
(Universidad Nacional de Río Cuarto, Argentina; CONICET, Argentina; Buenos Aires Institute of Technology, Argentina)
@InProceedings{ETAPS17p5446,
author = {Marcelo Uva and Pablo Ponzio and Germán Regis and Nazareno Aguirre and Marcelo F. Frias},
title = {Automated Workarounds from Java Program Specifications Based on SAT Solving},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2017},
}
Publisher's Version
Info
Slicing from Formal Sematics: Chisel
Adrián Riesco, Irina Mariuca Asavoae, and Mihail Asavoae
(Complutense University of Madrid, Spain; Inria, France)
@InProceedings{ETAPS17p5545,
author = {Adrián Riesco and Irina Mariuca Asavoae and Mihail Asavoae},
title = {Slicing from Formal Sematics: Chisel},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2017},
}
Publisher's Version
Info
EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools
Jesús Doménech,
Samir Genaim, Einar Broch Johnsen
, and Rudolf Schlatte
(Complutense University of Madrid, Spain; University of Oslo, Norway)
@InProceedings{ETAPS17p5644,
author = {Jesús Doménech and Samir Genaim and Einar Broch Johnsen and Rudolf Schlatte},
title = {EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2017},
}
Publisher's Version
Video
Info
Software Product Lines
Fri, Apr 28, 16:30 - 18:00, Sal C
Family-Based Model Checking with mCRL2
Maurice H. ter Beek, Erik P. de Vink, and
Tim A. C. Willemse
(ISTI-CNR, Italy; Eindhoven University of Technology, Netherlands)
@InProceedings{ETAPS17p5743,
author = {Maurice H. ter Beek and Erik P. de Vink and Tim A. C. Willemse},
title = {Family-Based Model Checking with mCRL2},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2017},
}
Publisher's Version
A Unified and Formal Programming Model for Deltas and Traits
Ferruccio Damiani,
Reiner Hähnle , Eduard Kamburjan, and Michael Lienhardt
(University of Turin, Italy; TU Darmstadt, Germany)
@InProceedings{ETAPS17p5941,
author = {Ferruccio Damiani and Reiner Hähnle and Eduard Kamburjan and Michael Lienhardt},
title = {A Unified and Formal Programming Model for Deltas and Traits},
booktitle = {Proc.\ ETAPS},
publisher = {Springer},
year = {2017},
}
Publisher's Version
proc time: 6.54