Constraint / Using Interpolation / Guide Model / Building Superposition / Checking Using Interpolation-Based Function Summaries Chris Casinghino / /
Company
HI-Maude Co / Interface / SafetyCritical Systems / AES / Service-Oriented Systems / Dalvik Bytecode Co / Boogie Co / Agentbased Hybrid Control Systems / GPU / Timed Reo Networks / Labelled Transition Systems / Factorization Systems / Kleisli Categories [Short contributions] Co / Classical Modal Transition Systems / Maude Co / Wireless Ad Hoc Networks / /
Event
FDA Phase / /
Facility
Tallinn University / /
IndustryTerm
satellite workshops / /
Movie
Man in the Middle / /
NaturalFeature
Inductive Types WRLA Mark Hills / /
OperatingSystem
Android / /
Organization
Tallinn University / /
Person
Metasyntactically Arash Jalaliv / Marius Mikučionis / Olga Kouchnarenko / Harley D. Eades III / Erika Ábrahám / Sibylle Schupp / Louis-Marie Traonouez / Ivan Gazeau / Responses Kyungmin Bae / Shaz Qadeer / Paul Klint / Sebastian Oster / Hana Chockler / Daniel Ratiu / Boris Köpf / Peter Csaba Ölveczky / Zheng Wang / Bart Jacobs / Svetlana Arifulina / Kohei Kishida / Alexandra Silva / Kohei Honda / Peter Bulychev / Dorel Lucanu / Alexandre David / Anne Remke / Albert Cohen / Jeremy Bradley / Lawrence Moss / Perdita Stevens / Christian Prehofer / José Oana Andrei / Eric van Wyk / Gabriele Costa / Cristina Seceleanu / Reinhard Kahle / Laurent Fousse / Mark Minas / Robert Simmons / Isabel Pita / Robert Rosebrugh / Hugo A. López / Sonja Smets / José Pedro Magalhães / Yde Venema / Yoshifumi Manabe / Paula Severi / Maria Paola Bonacina / Neil Ghani / Marco Carbone / Peter Csaba Anna Ingólfsdóttir / Marius Bozga / Romain Demangeon / Serdar Tasiran / Edward Lee / Olivier Bartheye / Jan Rutten / Luca Wiegand / Pedro Baltazar / Tillmann Rendel / Calder / Joseph Sifakis / Simona Ronchi Della Rocca / Daniel Gebler / Sander Bruggink / Marc Pantel / Jurgen Vinju / Andres Löh / Maribel Fernández / Luca Bortolussi / Ammar Osaiweran / Hugo Pacheco / Celia Picard / Alois Brunel / Jean-Claude Reynaud / Amir Hossein Ghamarian / Viktor Winschel / Doaitse Swierstra / Leen Lambers / Marco Maggesi / Adrian Rutle / Frank de Boer / Pieter Mosterman / Paolo Torrini / Antoine Madet / Lunch André Hirschowitz / Pierre Ana Sokolova / Yung Ahn / Benedict Gaster / Alice Miller / Hanna Schölzel / Ugo Dal Lago / Hartmut Ehrig / Jean-Christophe Bach / G. Michele Pinna / Claudia Frydman / Mathias Hülsbusch / Naohi Eguchi / Modulo Elena Tushkanova / Vasco Vasconcelos / Natallia Kokash / Henri Hansen / Maria Maximova / Michael Johnson / Mohammad Mahdi Jaghoori / Alex Orso / Claude Tadonki / Patrick Bahr / Xavier Crégut / Tzu-Chun Chen / Peter M. Kruse / Paolo Bottoni / Olivier Pène / Frank Hermann / Guillermo Román-Díez / Kim Guldstrand Larsen / Gregor Engels / Fazle Rabbi / Fenglin Han / Marcos Viera / Gabriele Taentzer / Thomas Studer / Grigori Mints / Peter Kissmann / Pascal Lingnau / Michael Löwe / Roberto Zunino / Thomas Hildebrandt / Rolf Hennicker / Kazuhiro Ogata / Tatsuaki Okamoto / Vadim Zaytsev / Christine Natschläger / Holger Giese / Pierre-Etienne Moreau / Marco Stronati / Bytecode Elvira Albert / Maximiliano Cristia / Vincenzo Ciancia / Jiří Velebil / Muhammad Fadlisyah / Samir Genaim / Andrei Arusoaie / Andrzej Wasowski / Sergio Giro / Aaron Stump / Rineke Verbrugge / Gennaro Parlato / Fernando Orejas / Sonja Maier / Zinovy Diskin / Isabel Oitavem / Tomasz Brengos / Eleftherios Matsikoudis / Dimitris Graph / Reiko Heckel / Claudia Ermel / Arend Rensink / Axel Haddad / Adrián Riesco / José Meseguer / Maurizio Dominici / Charles Pecheur / Alexander Kurz / Adriana Balan / Jacco Wesselius / Alain Giorgetti / Min Zhang / Garrin Kimmell / Ahmed Hammad / Raluca Marinescu / Hassan Mountassir / Marino Miculan / Andrea Corradini / Zhenjiang Hu / Jiří Adámek / Daniela Lepri / Martin Avanzini / Elise Cormie-Bowins / Jörg Endrullis / Salvatore La Torre / Grigore Rosu / P. Madhusudan / Uwe Wolter / Traian Serbanuta / Gian Perrone / Thorsten Altenkirch / Wendy MacCaull / Danny Bøgsted Poulsen / Eduard Enoiu / Jean-Christophe Filliâtre / Sumit Sourabh / Eduardo Lostal / Joost-Pieter Katoen / Baltasar Trancón / Harald König / José Luiz Fiadeiro / Denis Barthou / Christian Berg / Olga Runge / Gergely Varró / Peng Fu / Pierre Boutillier / Daniela Petrisan / Tobias Muhlbauer / Thomas Leventis / Marko Kääramees / Fabio Massacci / Olga Gadyatskaya / Nathan Collins / Jaco van de Pol / Thiri Haymar Kyaw / Alvaro Torralba Arias de Reyna / Luca Aceto / Eugen Jiresch / Georg Moser / Lunch Henrik Søndberg Karlsen / Jean-Luc Hainaut / Maps Bernhard Aichernig / Francesco Parisi-Presicce / Stephanie Weirich / Fabrizio Montesi / Stephan Hildebrandt / César Sánchez / Tiziana Cimoli / Sung-Shik T.Q. Jongmans / Joost Winter / Jurriaan Rot / Toby Wilkinson / Chris Casinghino / Chiristian Soltenborn / David Liu / Ölveczky Ábrahám / Peter Herrmann / Alastair Donaldson / Mariëlle I. A. Stoelinga / Jasmin Blanchette / Marco Gaboardi / Arrays Giulio Caravagna / Tom Stefano Guerrini / Andreas Beckmann / Andy Schürr / Claudio Sacerdoti Coen / Holger Hermanns / Yevgeny Gerlits / Jeremy Gibbons / Chucky Ellison / Tarmo Uustalu / Elisabeth Jöbstl / Barbara Jobstmann / Michael Barnett / Alberto Lluch Lafuente / Ofer Strichman / Luke Ong / Andrei Dorman / Dale Miller / Tobias Heindel / Giovanni Pardini / Axel Legay / Camilo Rocha / Louise Dennis / Mark Timmer / Anthony Anjorin / Peter Marwedel / Frank Roumen / Johannes Reich / Fabio Gadducci / Patrick Baillot / Chad Brown / Marcello M. Bonsangue / Jozef Hooman / Karsten Gabriel / Aida Čauševic / Sébastien Maulat / Alcino Cunha / Hao Wang / Etienne Lozes / Samuel Kounev / Opening Samson Abramsky / Samir Chouali / Paolo G. Giarrusso / Automata Anna Kolesnichenko / Santiago Escobar / Stefan Edelkamp / Paolo Tranquilli / Karsten Wolf / Matthieu Perrinel / Raúl Gutiérrez / Mathijs Schuts / Francesco Belardinelli / Boudewijn Haverkort / James Laird / Atze Dijkstra / Eduardo Zambon / Gijs Kant / Beniamino Accattoli / Vashti Galpin / Dominique Duval / Martin Fränzle / Jean-François Raskin / Ivan Zorcic / Jane Hillston / Paraskevas Bourgos / Nash Equilibrium / Barbara Petit / Sujata Ghosh / Irina Mariuca Asavoae / Niaz Arijo / Simon Busard / Tim Sheard / Giorgio Bacci / Andrea Vandin / Antoniu Pop / Michael Kruse / Alexander Heußner / Philipp Rümmer / Danel Ahman / Alessio Lomuscio / Sebastian Erdweg / Alexey Khoroshilov / Mads Christian Olesen / Pieter-Tjerk de Boer / Gilbert Grosdidier / Anthony Sloane / Checking Dirk Richter / Erika De Benedetti / Erik Ramsgaard Wognsen / Julian Samborski-Forlese / Maciej Piróg / Roberto Bruni / Ralph Matthes / Case Anthony Anjorin / Tomas Petricek / Mauro Jaskelio / Pavel Gonzalez / René Rydhof Hansen / Stefan Milius / Jonathan Zvesper / Michal Malohlava / Guillaume Dumas / Tamim Khan / Catuscia Palamidessi / Christophe Ringeissen / Jort Bergfeld / Jonas Eckhardt / Janis Voigtländer / Farhad Arbab / Barbara König / Franck van Breugel / Marco Solieri / Types Bart Jacobs / /
Position
Probabilistic LTL Model / General / dlPCF Model / Model / Translator / Rabbi / CTL Model / Temporal-Epistemic Logic Model / Bounded Model / /
Svetlana Arifulina, Chiristian Soltenborn and Gregor Engels. Coverage Criteria for Testing DMM Specifications