ETAPS 2017
2017 European Joint Conferences on Theory and Practice of Software (ETAPS)
Powered by
Conference Publishing Consulting

2017 European Joint Conferences on Theory and Practice of Software (ETAPS), April 22–29, 2017, Uppsala, Sweden

ETAPS 2017 – Author Index

Contents - Abstracts - Authors
Online Calendar - iCal File

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Abate, Alessandro ETAPS '17: "On the Relationship Between ..." Article: etaps17fossacs-fossacsid16-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_19
Abdulla, Parosh Aziz ETAPS '17: "Context-Bounded Analysis for ..." Article: etaps17tacas-tacasid177-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_4
Abriola, Sergio ETAPS '17: "Logics of Repeating Values ..." Article: etaps17fossacs-fossacsid86-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_12
Aguirre, Nazareno ETAPS '17: "Automated Workarounds from ..." Article: etaps17fase-faseid103-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_20
Ah-Fat, Patrick ETAPS '17: "Secure Multi-party Computation: ..." Article: etaps17post-mainid16-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_4
Akshay, S. ETAPS '17: "Towards Parallel Boolean Functional ..." Article: etaps17tacas-tacasid214-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_19
Alabbad, Mohammed ETAPS '17: "Defense in Depth Formulation ..." Article: etaps17post-mainid21-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_12
Alpuim, João ETAPS '17: "Disjoint Polymorphism ..." Article: etaps17esop-id123-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_1
Alrajeh, Dalal ETAPS '17: "Interpolation-Based GR(1) ..." Article: etaps17tacas-tacasid82-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_16
Alt, Leonardo ETAPS '17: "HiFrog: SMT-based Function ..." Article: etaps17tacas-tacasid56-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_12
Altenkirch, Thorsten ETAPS '17: "Partiality, Revisited - The ..." Article: etaps17fossacs-fossacsid8-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_31
Alur, Rajeev ETAPS '17: "Scaling Enumerative Program ..." Article: etaps17tacas-tacasid119-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_18
Alvim, Mário S. ETAPS '17: "Quantifying Vulnerability ..." Article: etaps17post-mainid17-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_2
Alvin, Chris ETAPS '17: "StaticGen: Static Generation ..." Article: etaps17fase-faseid12-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_10
Amadini, Roberto ETAPS '17: "Combining String Abstract ..." Article: etaps17tacas-tacasid62-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_3
Ancona, Davide ETAPS '17: "Generalizing Inference Systems ..." Article: etaps17esop-id12-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_2
Andersen, Kristoffer Just ETAPS '17: "Caper - Automatic Verification ..." Article: etaps17esop-id81-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_16
Andrianov, Pavel ETAPS '17: "CPA-BAM-BnB: Block-Abstraction ..." Article: etaps17tacas-tacassvcompid21-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_22
Anjorin, Anthony ETAPS '17: "Inter-model Consistency Checking ..." Article: etaps17fase-faseid23-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_11
Antonino, Pedro R. G. ETAPS '17: "The Automatic Detection of ..." Article: etaps17tacas-tacasid123-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_15
Araújo, Cristiano Werner ETAPS '17: "On the Effectiveness of Bug ..." Article: etaps17fase-faseid60-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_5
Asada, Kazuyuki ETAPS '17: "Almost Every Simply Typed ..." Article: etaps17fossacs-fossacsid54-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_4
Asadi, Sepideh ETAPS '17: "HiFrog: SMT-based Function ..." Article: etaps17tacas-tacasid56-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_12
Asavoae, Irina Mariuca ETAPS '17: "Slicing from Formal Sematics: ..." Article: etaps17fase-faseid91-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_21
Asavoae, Mihail ETAPS '17: "Slicing from Formal Sematics: ..." Article: etaps17fase-faseid91-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_21
Asenov, Dimitar ETAPS '17: "Precise Version Control of ..." Article: etaps17fase-faseid71-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_9
Aslanyan, Zaruhi ETAPS '17: "Model Checking Exact Cost ..." Article: etaps17post-mainid15-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_10
Atig, Mohamed Faouzi ETAPS '17: "Context-Bounded Analysis for ..." Article: etaps17tacas-tacasid177-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_4
Atkey, Robert ETAPS '17: "Observed Communication Semantics ..." Article: etaps17esop-id72-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_3
Atzei, Nicola ETAPS '17: "A Survey of Attacks on Ethereum ..." Article: etaps17post-mainid45-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_8
Avni, Guy ETAPS '17: "Computing Scores of Forwarding ..." Article: etaps17tacas-tacasid50-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_10
Aydin, Abdulbaki ETAPS '17: "Visual Configuration of Mobile ..." Article: etaps17fase-faseid97-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_19
Babel, Kushal ETAPS '17: "On Communication Models When ..." Article: etaps17post-mainid32-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_7
Baier, Christel ETAPS '17: "Maximizing the Conditional ..." Article: etaps17tacas-tacasid163-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_16
Bak, Stanley ETAPS '17: "Rigorous Simulation-Based ..." Article: etaps17tacas-tacasid227-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_32
Baldan, Paolo ETAPS '17: "Local Model Checking in a ..." Article: etaps17fossacs-fossacsid89-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_24
Barbosa, Haniel ETAPS '17: "Congruence Closure with Free ..." Article: etaps17tacas-tacasid72-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_13
Barnat, Jiří ETAPS '17: "Optimizing and Caching SMT ..." Article: etaps17tacas-tacassvcompid28-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_29
Barthe, Gilles ETAPS '17: "Is Your Software on Dope? ..." Article: etaps17esop-id62-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_4
Bartocci, Ezio ETAPS '17: "ARES: Adaptive Receding-Horizon ..." Article: etaps17tacas-tacasid101-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_17
Bartoletti, Massimo ETAPS '17: "A Survey of Attacks on Ethereum ..." Article: etaps17post-mainid45-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_8
Basin, David A. ETAPS '17: "Almost Event-Rate Independent ..." Article: etaps17tacas-tacasid76-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_6
Bauer, Lujo ETAPS '17: "Timing-Sensitive Noninterference ..." Article: etaps17post-mainid18-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_1
Becker, Bernd ETAPS '17: "HQSpre - An Effective Preprocessor ..." Article: etaps17tacas-tacasid52-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_21
Berardi, Stefano ETAPS '17: "Classical System of Martin-Löf's ..." Article: etaps17fossacs-fossacsid22-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_18
Beyer, Dirk ETAPS '17: "Software Verification with ..." Article: etaps17tacas-tacassvcompid000-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_20
Bhatt, Bhargav Nagaraja ETAPS '17: "Almost Event-Rate Independent ..." Article: etaps17tacas-tacasid76-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_6
Bian, Gaoang ETAPS '17: "On the Relationship Between ..." Article: etaps17fossacs-fossacsid16-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_19
Biere, Armin ETAPS '17: "Counterexample-Guided Model ..." Article: etaps17tacas-tacasid42-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_15
Biewer, Sebastian ETAPS '17: "Is Your Software on Dope? ..." Article: etaps17esop-id62-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_4
Birkedal, Lars ETAPS '17: "The Essence of Higher-Order ..." Article: etaps17esop-id73-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_26 ETAPS '17: "Caper - Automatic Verification ..." Article: etaps17esop-id81-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_16
Bizjak, Aleš ETAPS '17: "The Essence of Higher-Order ..." Article: etaps17esop-id73-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_26
Blanchette, Jasmin Christian ETAPS '17: "Friends with Benefits - Implementing ..." Article: etaps17esop-id26-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_5 ETAPS '17: "A Lambda-Free Higher-Order ..." Article: etaps17fossacs-fossacsid3-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_27
Blatter, Lionel ETAPS '17: "RPP: Automatic Proof of Relational ..." Article: etaps17tacas-tacasid150-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_22
Blot, Arthur ETAPS '17: "Compositional Synthesis of ..." Article: etaps17post-mainid20-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_13
Bogomolov, Sergiy ETAPS '17: "Counterexample-Guided Refinement ..." Article: etaps17tacas-tacasid77-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_34
Bonakdarpour, Borzoo ETAPS '17: "Rewriting-Based Runtime Verification ..." Article: etaps17tacas-tacasid40-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_5
Bonchi, Filippo ETAPS '17: "Confluence of Graph Rewriting ..." Article: etaps17esop-id53-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_6 ETAPS '17: "Up-To Techniques for Weighted ..." Article: etaps17tacas-tacasid130-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_31
Boreale, Michele ETAPS '17: "Algebra, Coalgebra, and Minimization ..." Article: etaps17fossacs-fossacsid23-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_5
Borralleras, Cristina ETAPS '17: "Proving Termination Through ..." Article: etaps17tacas-tacasid87-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_6
Bouajjani, Ahmed ETAPS '17: "Verifying Robustness of Event-Driven ..." Article: etaps17esop-id82-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_7 ETAPS '17: "Context-Bounded Analysis for ..." Article: etaps17tacas-tacasid177-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_4
Boutillier, Pierre ETAPS '17: "Incremental Update for Graph ..." Article: etaps17esop-id71-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_8
Bouyer, Patricia ETAPS '17: "Bounding Average-Energy Games ..." Article: etaps17fossacs-fossacsid90-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_11 ETAPS '17: "Dynamic Complexity of the ..." Article: etaps17fossacs-fossacsid40-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_16
Bouzy, Aymeric ETAPS '17: "Friends with Benefits - Implementing ..." Article: etaps17esop-id26-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_5
Brett, Noel ETAPS '17: "Rewriting-Based Runtime Verification ..." Article: etaps17tacas-tacasid40-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_5
Breuvart, Flavien ETAPS '17: "On Higher-Order Probabilistic ..." Article: etaps17fossacs-fossacsid75-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_22
Brockschmidt, Marc ETAPS '17: "Proving Termination Through ..." Article: etaps17tacas-tacasid87-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_6
Bruyère, Véronique ETAPS '17: "On the Existence of Weak Subgame ..." Article: etaps17fossacs-fossacsid57-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_9
Budde, Carlos E. ETAPS '17: "JANI: Quantitative Model and ..." Article: etaps17tacas-tacasid39-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_9
Bursuc, Sergiu ETAPS '17: "Automated Verification of ..." Article: etaps17post-mainid44-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_5
Busatto-Gaston, Damien ETAPS '17: "Optimal Reachability in Divergent ..." Article: etaps17fossacs-fossacsid24-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_10
Butkova, Yuliya ETAPS '17: "Long-Run Rewards for Markov ..." Article: etaps17tacas-tacasid209-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_11
Cabot, Jordi ETAPS '17: "Traceability Mappings as a ..." Article: etaps17fase-faseid50-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_14
Caires, Luis ETAPS '17: "Linearity, Control Effects, ..." Article: etaps17esop-id47-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_9
Cañones, Pablo ETAPS '17: "Security Analysis of Cache ..." Article: etaps17post-mainid7-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_9
Cardelli, Luca ETAPS '17: "ERODE: A Tool for the Evaluation ..." Article: etaps17tacas-tacasid144-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_19
Casini, Giovanni ETAPS '17: "Postulates for Revocation ..." Article: etaps17post-mainid40-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_11
Cassez, Franck ETAPS '17: "Skink: Static Analysis of ..." Article: etaps17tacas-tacassvcompid13-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_27
Cavezza, Davide G. ETAPS '17: "Interpolation-Based GR(1) ..." Article: etaps17tacas-tacasid82-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_16
Cerný, Pavol ETAPS '17: "Discriminating Traces with ..." Article: etaps17tacas-tacasid135-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_2
Chadha, Rohit ETAPS '17: "Emptiness Under Isolation ..." Article: etaps17fossacs-fossacsid108-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_14
Chakraborty, Supratik ETAPS '17: "Towards Parallel Boolean Functional ..." Article: etaps17tacas-tacasid214-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_19
Chalupa, Marek ETAPS '17: "Symbiotic 4: Beyond Reachability ..." Article: etaps17tacas-tacassvcompid29-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_28
Chang, Bor-Yuh Evan ETAPS '17: "Discriminating Traces with ..." Article: etaps17tacas-tacasid135-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_2
Charguéraud, Arthur ETAPS '17: "Temporary Read-Only Permissions ..." Article: etaps17esop-id67-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_10
Chatterjee, Krishnendu ETAPS '17: "Faster Algorithms for Weighted ..." Article: etaps17esop-id21-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_11
Chattopadhyay, Sudipta ETAPS '17: "Directed Automated Memory ..." Article: etaps17tacas-tacasid147-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_3
Chauhan, Avriti ETAPS '17: "VeriAbs: Verification by Abstraction ..." Article: etaps17tacas-tacassvcompid17-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_32
Chen, Yu-Fang ETAPS '17: "A Novel Learning Algorithm ..." Article: etaps17tacas-tacasid102-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_12
Chen, Yu-Wen ETAPS '17: "Ultimate Automizer with an ..." Article: etaps17tacas-tacassvcompid33-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_30
Cheng, Chih-Hong ETAPS '17: "autoCode4: Structural Controller ..." Article: etaps17tacas-tacasid13-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_23
Cheng, Zheng ETAPS '17: "A Deductive Approach for Fault ..." Article: etaps17fase-faseid58-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_17
Cheval, Vincent ETAPS '17: "On Communication Models When ..." Article: etaps17post-mainid32-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_7
Chimdyalwar, Bharti ETAPS '17: "VeriAbs: Verification by Abstraction ..." Article: etaps17tacas-tacassvcompid17-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_32
Chin, Wei-Ngan ETAPS '17: "HipTNT+: A Termination and ..." Article: etaps17tacas-tacassvcompid12-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_25
Chockler, Hana ETAPS '17: "HiFrog: SMT-based Function ..." Article: etaps17tacas-tacasid56-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_12
Cimatti, Alessandro ETAPS '17: "Invariant Checking of NRA ..." Article: etaps17tacas-tacasid113-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_4
Cimoli, Tiziana ETAPS '17: "A Survey of Attacks on Ethereum ..." Article: etaps17post-mainid45-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_8
Clerc, Florence ETAPS '17: "Pointless Learning ..." Article: etaps17fossacs-fossacsid114-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_21
Cobb, Andrew ETAPS '17: "Contextual Equivalence for ..." Article: etaps17esop-id115-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_14
Cordeiro, Lucas C. ETAPS '17: "DepthK: A k-Induction Verifier ..." Article: etaps17tacas-tacassvcompid26-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_23
Cotton-Barratt, Conrad ETAPS '17: "ML and Extended Branching ..." Article: etaps17esop-id50-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_12
Courant, Nathanaël ETAPS '17: "Precise Widening Operators ..." Article: etaps17tacas-tacasid120-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_8
Cramer, Marcos ETAPS '17: "Postulates for Revocation ..." Article: etaps17post-mainid40-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_11
Crubillé, Raphaëlle ETAPS '17: "Metric Reasoning About λ-Terms: ..." Article: etaps17esop-id131-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_13 ETAPS '17: "The Free Exponential Modality ..." Article: etaps17fossacs-fossacsid32-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_2
Cruz-Filipe, Luís ETAPS '17: "The Paths to Choreography ..." Article: etaps17fossacs-fossacsid26-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_25 ETAPS '17: "Efficient Certified Resolution ..." Article: etaps17tacas-tacasid91-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_7
Cuadrado, Jesús Sánchez ETAPS '17: "Reusing Model Transformations ..." Article: etaps17fase-faseid54-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_15
Cubuktepe, Murat ETAPS '17: "Sequential Convex Programming ..." Article: etaps17tacas-tacasid169-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_8
Culpepper, Ryan ETAPS '17: "Contextual Equivalence for ..." Article: etaps17esop-id115-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_14
Dagnino, Francesco ETAPS '17: "Generalizing Inference Systems ..." Article: etaps17esop-id12-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_2
Dahlqvist, Fredrik ETAPS '17: "Pointless Learning ..." Article: etaps17fossacs-fossacsid114-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_21
Dal Lago, Ugo ETAPS '17: "Metric Reasoning About λ-Terms: ..." Article: etaps17esop-id131-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_13 ETAPS '17: "Probabilistic Termination ..." Article: etaps17esop-id87-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_15 ETAPS '17: "On Higher-Order Probabilistic ..." Article: etaps17fossacs-fossacsid75-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_22
Damiani, Ferruccio ETAPS '17: "A Unified and Formal Programming ..." Article: etaps17fase-faseid94-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_25
Danielsson, Nils Anders ETAPS '17: "Partiality, Revisited - The ..." Article: etaps17fossacs-fossacsid8-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_31
Danos, Vincent ETAPS '17: "Computing Continuous-Time ..." Article: etaps17fossacs-fossacsid120-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_20 ETAPS '17: "Pointless Learning ..." Article: etaps17fossacs-fossacsid114-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_21
D'Antoni, Loris ETAPS '17: "Learning Symbolic Automata ..." Article: etaps17tacas-tacasid3-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_10 ETAPS '17: "Forward Bisimulations for ..." Article: etaps17tacas-tacasid2-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_30
D'Argenio, Pedro R. ETAPS '17: "Is Your Software on Dope? ..." Article: etaps17esop-id62-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_4
Darke, Priyanka ETAPS '17: "VeriAbs: Verification by Abstraction ..." Article: etaps17tacas-tacassvcompid17-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_32
Da Rocha Pinto, Pedro ETAPS '17: "Abstract Specifications for ..." Article: etaps17esop-id65-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_36 ETAPS '17: "Caper - Automatic Verification ..." Article: etaps17esop-id81-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_16
Das, Ankush ETAPS '17: "ML for ML: Learning Cost Semantics ..." Article: etaps17tacas-tacasid21-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_11
Daviaud, Laure ETAPS '17: "Degree of Sequentiality of ..." Article: etaps17fossacs-fossacsid25-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_13
De Aledo Marugán, Pablo González ETAPS '17: "Skink: Static Analysis of ..." Article: etaps17tacas-tacassvcompid13-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_27
Dehnert, Christian ETAPS '17: "JANI: Quantitative Model and ..." Article: etaps17tacas-tacasid39-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_9
De Lara, Juan ETAPS '17: "Reusing Model Transformations ..." Article: etaps17fase-faseid54-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_15
De Vink, Erik P. ETAPS '17: "Family-Based Model Checking ..." Article: etaps17fase-faseid6-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_23
Dietsch, Daniel ETAPS '17: "Ultimate Automizer with an ..." Article: etaps17tacas-tacassvcompid33-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_30 ETAPS '17: "Ultimate Taipan: Trace Abstraction ..." Article: etaps17tacas-tacassvcompid31-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_31
Dillig, Isil ETAPS '17: "Static Detection of DoS Vulnerabilities ..." Article: etaps17tacas-tacasid57-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_1
Dimovski, Aleksandar S. ETAPS '17: "Variability-Specific Abstraction ..." Article: etaps17fase-faseid59-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_24
Dinsdale-Young, Thomas ETAPS '17: "Caper - Automatic Verification ..." Article: etaps17esop-id81-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_16
Di Rocco, Juri ETAPS '17: "Reusing Model Transformations ..." Article: etaps17fase-faseid54-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_15
Di Ruscio, Davide ETAPS '17: "Reusing Model Transformations ..." Article: etaps17fase-faseid54-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_15
Diskin, Zinovy ETAPS '17: "Traceability Mappings as a ..." Article: etaps17fase-faseid50-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_14
Dodds, Mike ETAPS '17: "Proving Linearizability Using ..." Article: etaps17esop-id45-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_24
Doko, Marko ETAPS '17: "Tackling Real-Life Relaxed ..." Article: etaps17esop-id63-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_17
Doménech, Jesús ETAPS '17: "EasyInterface: A Toolkit for ..." Article: etaps17fase-faseid47-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_22
Dreier, Jannik ETAPS '17: "Beyond Subterm-Convergent ..." Article: etaps17post-mainid23-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_6
Drews, Samuel ETAPS '17: "Learning Symbolic Automata ..." Article: etaps17tacas-tacasid3-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_10
Dreyer, Derek ETAPS '17: "The Essence of Higher-Order ..." Article: etaps17esop-id73-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_26
Drossopolou, Sophia ETAPS '17: "Modular Verification of Procedure ..." Article: etaps17esop-id105-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_35
Duggirala, Parasara Sridhar ETAPS '17: "Rigorous Simulation-Based ..." Article: etaps17tacas-tacasid227-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_32
Duménil, Charles ETAPS '17: "Beyond Subterm-Convergent ..." Article: etaps17post-mainid23-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_6
Dunfield, Joshua ETAPS '17: "Extensible Datasort Refinements ..." Article: etaps17esop-id97-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_18
Durán, Francisco ETAPS '17: "GTS Families for the Flexible ..." Article: etaps17fase-faseid49-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_12
Ehrhard, Thomas ETAPS '17: "Incremental Update for Graph ..." Article: etaps17esop-id71-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_8 ETAPS '17: "The Free Exponential Modality ..." Article: etaps17fossacs-fossacsid32-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_2
Eisenbach, Susan ETAPS '17: "Modular Verification of Procedure ..." Article: etaps17esop-id105-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_35
Emmi, Michael ETAPS '17: "Verifying Robustness of Event-Driven ..." Article: etaps17esop-id82-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_7
Emrich, Frank ETAPS '17: "AProVE: Proving and Disproving ..." Article: etaps17tacas-tacassvcompid14-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_21
Enea, Constantin ETAPS '17: "Verifying Robustness of Event-Driven ..." Article: etaps17esop-id82-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_7
Esparza, Javier ETAPS '17: "From LTL and Limit-Deterministic ..." Article: etaps17tacas-tacasid69-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_25
Esterle, Lukas ETAPS '17: "ARES: Adaptive Receding-Horizon ..." Article: etaps17tacas-tacasid101-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_17
Even Mendoza, Karine ETAPS '17: "HiFrog: SMT-based Function ..." Article: etaps17tacas-tacasid56-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_12
Faymonville, Peter ETAPS '17: "Encodings of Bounded Synthesis ..." Article: etaps17tacas-tacasid215-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_20
Fedyukovich, Grigory ETAPS '17: "HiFrog: SMT-based Function ..." Article: etaps17tacas-tacasid56-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_12
Feldman, Yotam M. Y. ETAPS '17: "Bounded Quantifier Instantiation ..." Article: etaps17tacas-tacasid45-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_5
Ferrara, Pietro ETAPS '17: "Visual Configuration of Mobile ..." Article: etaps17fase-faseid97-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_19
Ferreira, Francisco ETAPS '17: "Programs Using Syntax with ..." Article: etaps17esop-id13-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_19
Fiedor, Tomas ETAPS '17: "Lazy Automata Techniques for ..." Article: etaps17tacas-tacasid44-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_24
Figueira, Diego ETAPS '17: "Logics of Repeating Values ..." Article: etaps17fossacs-fossacsid86-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_12
Figueira, Santiago ETAPS '17: "Logics of Repeating Values ..." Article: etaps17fossacs-fossacsid86-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_12
Finkbeiner, Bernd ETAPS '17: "Is Your Software on Dope? ..." Article: etaps17esop-id62-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_4 ETAPS '17: "Encodings of Bounded Synthesis ..." Article: etaps17tacas-tacasid215-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_20
Fischer, Bernd ETAPS '17: "DepthK: A k-Induction Verifier ..." Article: etaps17tacas-tacassvcompid26-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_23 ETAPS '17: "Lazy-CSeq 2.0: Combining Lazy ..." Article: etaps17tacas-tacassvcompid23-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_26
Fontaine, Pascal ETAPS '17: "Congruence Closure with Free ..." Article: etaps17tacas-tacasid72-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_13
Forrest, Stephanie ETAPS '17: "Connecting Program Synthesis ..." Article: etaps17tacas-tacasid105-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_17
Frehse, Goran ETAPS '17: "Counterexample-Guided Refinement ..." Article: etaps17tacas-tacasid77-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_34
Frias, Marcelo F. ETAPS '17: "Automated Workarounds from ..." Article: etaps17fase-faseid103-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_20
Friedberger, Karlheinz ETAPS '17: "CPA-BAM-BnB: Block-Abstraction ..." Article: etaps17tacas-tacassvcompid21-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_22
Frohn, Florian ETAPS '17: "AProVE: Proving and Disproving ..." Article: etaps17tacas-tacassvcompid14-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_21
Gadducci, Fabio ETAPS '17: "Confluence of Graph Rewriting ..." Article: etaps17esop-id53-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_6
Gange, Graeme ETAPS '17: "Combining String Abstract ..." Article: etaps17tacas-tacasid62-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_3
Gardner, Philippa ETAPS '17: "Abstract Specifications for ..." Article: etaps17esop-id65-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_36
Garnier, Ilias ETAPS '17: "Computing Continuous-Time ..." Article: etaps17fossacs-fossacsid120-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_20 ETAPS '17: "Pointless Learning ..." Article: etaps17fossacs-fossacsid114-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_21
Gauthier, François ETAPS '17: "Combining String Abstract ..." Article: etaps17tacas-tacasid62-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_3
Genaim, Samir ETAPS '17: "EasyInterface: A Toolkit for ..." Article: etaps17fase-faseid47-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_22
Georges, Aina Linn ETAPS '17: "Lincx: A Linear Logical Framework ..." Article: etaps17esop-id30-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_20
Giacobbe, Mirco ETAPS '17: "Counterexample-Guided Refinement ..." Article: etaps17tacas-tacasid77-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_34
Gibbons, Jeremy ETAPS '17: "APLicative Programming with ..." Article: etaps17esop-id6-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_21
Gibson-Robinson, Thomas ETAPS '17: "The Automatic Detection of ..." Article: etaps17tacas-tacasid123-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_15
Giesl, Jürgen ETAPS '17: "AProVE: Proving and Disproving ..." Article: etaps17tacas-tacassvcompid14-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_21
Gilbert, Frédéric ETAPS '17: "Automated Constructivization ..." Article: etaps17fossacs-fossacsid13-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_28
Gligoric, Milos ETAPS '17: "Selective Bisection Debugging ..." Article: etaps17fase-faseid107-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_4
Goel, Shubham ETAPS '17: "Computing Scores of Forwarding ..." Article: etaps17tacas-tacasid50-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_10
Gómez, Abel ETAPS '17: "Traceability Mappings as a ..." Article: etaps17fase-faseid50-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_14
Goncharov, Sergey ETAPS '17: "Unifying Guarded and Unguarded ..." Article: etaps17fossacs-fossacsid70-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_30
Gotsman, Alexey ETAPS '17: "Proving Linearizability Using ..." Article: etaps17esop-id45-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_24
Greitschus, Marius ETAPS '17: "Ultimate Automizer with an ..." Article: etaps17tacas-tacassvcompid33-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_30 ETAPS '17: "Ultimate Taipan: Trace Abstraction ..." Article: etaps17tacas-tacassvcompid31-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_31
Grellois, Charles ETAPS '17: "Probabilistic Termination ..." Article: etaps17esop-id87-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_15
Griggio, Alberto ETAPS '17: "Invariant Checking of NRA ..." Article: etaps17tacas-tacasid113-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_4
Grosu, Radu ETAPS '17: "ARES: Adaptive Receding-Horizon ..." Article: etaps17tacas-tacasid101-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_17
Guenat, Balz ETAPS '17: "Precise Version Control of ..." Article: etaps17fase-faseid71-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_9
Guéneau, Armaël ETAPS '17: "Verified Characteristic Formulae ..." Article: etaps17esop-id80-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_22
Guerra, Esther ETAPS '17: "Reusing Model Transformations ..." Article: etaps17fase-faseid54-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_15
Hahn, Ernst Moritz ETAPS '17: "JANI: Quantitative Model and ..." Article: etaps17tacas-tacasid39-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_9
Hähnle, Reiner ETAPS '17: "A Unified and Formal Programming ..." Article: etaps17fase-faseid94-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_25
Harper, Robert ETAPS '17: "A Higher-Order Logic for Concurrent ..." Article: etaps17esop-id98-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_34
Hartmanns, Arnd ETAPS '17: "JANI: Quantitative Model and ..." Article: etaps17tacas-tacasid39-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_9
Hedin, Daniel ETAPS '17: "A Principled Approach to Tracking ..." Article: etaps17post-mainid43-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_3
Heindel, Tobias ETAPS '17: "Computing Continuous-Time ..." Article: etaps17fossacs-fossacsid120-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_20
Heizmann, Matthias ETAPS '17: "Minimization of Visibly Pushdown ..." Article: etaps17tacas-tacasid185-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_27 ETAPS '17: "Ultimate Automizer with an ..." Article: etaps17tacas-tacassvcompid33-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_30 ETAPS '17: "Ultimate Taipan: Trace Abstraction ..." Article: etaps17tacas-tacassvcompid31-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_31
Henda, Noomene Ben ETAPS '17: "OpenSAW: Open Security Analysis ..." Article: etaps17fase-faseid87-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_18
Hensel, Jera ETAPS '17: "AProVE: Proving and Disproving ..." Article: etaps17tacas-tacassvcompid14-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_21
Henzinger, Thomas A. ETAPS '17: "Counterexample-Guided Refinement ..." Article: etaps17tacas-tacasid77-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_34 ETAPS '17: "Computing Scores of Forwarding ..." Article: etaps17tacas-tacasid50-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_10
Hermanns, Holger ETAPS '17: "Is Your Software on Dope? ..." Article: etaps17esop-id62-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_4 ETAPS '17: "Long-Run Rewards for Markov ..." Article: etaps17tacas-tacasid209-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_11
Herrou, Agathe ETAPS '17: "On Higher-Order Probabilistic ..." Article: etaps17fossacs-fossacsid75-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_22
Heule, Marijn J. H. ETAPS '17: "Static Detection of DoS Vulnerabilities ..." Article: etaps17tacas-tacasid57-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_1
Hicks, Michael W. ETAPS '17: "Quantifying Vulnerability ..." Article: etaps17post-mainid17-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_2
Hirsch, Christian ETAPS '17: "ARES: Adaptive Receding-Horizon ..." Article: etaps17tacas-tacasid101-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_17
Hoffmann, Jan ETAPS '17: "ML for ML: Learning Cost Semantics ..." Article: etaps17tacas-tacasid21-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_11
Hofman, Piotr ETAPS '17: "Bounding Average-Energy Games ..." Article: etaps17fossacs-fossacsid90-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_11
Holik, Lukas ETAPS '17: "Lazy Automata Techniques for ..." Article: etaps17tacas-tacasid44-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_24
Holík, Lukás ETAPS '17: "Forester: From Heap Shapes ..." Article: etaps17tacas-tacassvcompid16-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_24
Hou, Zhe ETAPS '17: "CSimpl: A Rely-Guarantee-Based ..." Article: etaps17tacas-tacasid25-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_28
Hruska, Martin ETAPS '17: "Forester: From Heap Shapes ..." Article: etaps17tacas-tacassvcompid16-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_24
Hu, Raymond ETAPS '17: "Explicit Connection Actions ..." Article: etaps17fase-faseid17-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_7
Huth, Michael ETAPS '17: "Secure Multi-party Computation: ..." Article: etaps17post-mainid16-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_4
Hyvärinen, Antti E. J. ETAPS '17: "HiFrog: SMT-based Function ..." Article: etaps17tacas-tacasid56-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_12
Immerman, Neil ETAPS '17: "Bounded Quantifier Instantiation ..." Article: etaps17tacas-tacasid45-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_5
Inala, Jeevana Priya ETAPS '17: "Synthesis of Recursive ADT ..." Article: etaps17tacas-tacasid30-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_14
Inverso, Omar ETAPS '17: "Lazy-CSeq 2.0: Combining Lazy ..." Article: etaps17tacas-tacassvcompid23-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_26
Iovino, Ludovico ETAPS '17: "Reusing Model Transformations ..." Article: etaps17fase-faseid54-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_15
Irfan, Ahmed ETAPS '17: "Invariant Checking of NRA ..." Article: etaps17tacas-tacasid113-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_4
Ismail, Hussama ETAPS '17: "DepthK: A k-Induction Verifier ..." Article: etaps17tacas-tacassvcompid26-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_23
Janku, Petr ETAPS '17: "Lazy Automata Techniques for ..." Article: etaps17tacas-tacasid44-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_24
Jansen, Christina ETAPS '17: "Unified Reasoning About Robustness ..." Article: etaps17esop-id54-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_23
Jansen, Nils ETAPS '17: "Sequential Convex Programming ..." Article: etaps17tacas-tacasid169-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_8
Jecker, Ismaël ETAPS '17: "Degree of Sequentiality of ..." Article: etaps17fossacs-fossacsid25-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_13
Jia, Limin ETAPS '17: "Timing-Sensitive Noninterference ..." Article: etaps17post-mainid18-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_1
Johansen, Christian ETAPS '17: "Automated Verification of ..." Article: etaps17post-mainid44-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_5
Johansson, Björn ETAPS '17: "OpenSAW: Open Security Analysis ..." Article: etaps17fase-faseid87-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_18
John, Ajith K. ETAPS '17: "Towards Parallel Boolean Functional ..." Article: etaps17tacas-tacasid214-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_19
Johnsen, Einar Broch ETAPS '17: "EasyInterface: A Toolkit for ..." Article: etaps17fase-faseid47-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_22
Jonáš, Martin ETAPS '17: "Symbiotic 4: Beyond Reachability ..." Article: etaps17tacas-tacassvcompid29-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_28 ETAPS '17: "Optimizing and Caching SMT ..." Article: etaps17tacas-tacassvcompid28-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_29
Jones, Owain ETAPS '17: "Defense in Depth Formulation ..." Article: etaps17post-mainid21-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_12
Jordan, Alexander ETAPS '17: "Combining String Abstract ..." Article: etaps17tacas-tacasid62-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_3
Jourdan, Jacques-Henri ETAPS '17: "The Essence of Higher-Order ..." Article: etaps17esop-id73-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_26
Jugé, Vincent ETAPS '17: "Dynamic Complexity of the ..." Article: etaps17fossacs-fossacsid40-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_16
Jung, Ralf ETAPS '17: "A Higher-Order Logic for Concurrent ..." Article: etaps17esop-id98-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_34 ETAPS '17: "The Essence of Higher-Order ..." Article: etaps17esop-id73-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_26
Junges, Sebastian ETAPS '17: "Sequential Convex Programming ..." Article: etaps17tacas-tacasid169-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_8 ETAPS '17: "JANI: Quantitative Model and ..." Article: etaps17tacas-tacasid39-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_9
Kamburjan, Eduard ETAPS '17: "A Unified and Formal Programming ..." Article: etaps17fase-faseid94-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_25
Kapur, Deepak ETAPS '17: "Connecting Program Synthesis ..." Article: etaps17tacas-tacasid105-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_17
Katelaan, Jens ETAPS '17: "Unified Reasoning About Robustness ..." Article: etaps17esop-id54-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_23
Katoen, Joost-Pieter ETAPS '17: "Sequential Convex Programming ..." Article: etaps17tacas-tacasid169-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_8
Kavvos, G. A. ETAPS '17: "On the Semantics of Intensionality ..." Article: etaps17fossacs-fossacsid81-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_32
Khedri, Ridha ETAPS '17: "Defense in Depth Formulation ..." Article: etaps17post-mainid21-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_12
Khurana, Sakaar ETAPS '17: "Bucketing Failing Tests via ..." Article: etaps17fase-faseid7-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_3
Khyzha, Artem ETAPS '17: "Proving Linearizability Using ..." Article: etaps17esop-id45-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_24
Kini, Dileep ETAPS '17: "Optimal Translation of LTL ..." Article: etaps17tacas-tacasid154-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_7
Kissinger, Aleks ETAPS '17: "Confluence of Graph Rewriting ..." Article: etaps17esop-id53-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_6
Klein, Joachim ETAPS '17: "Maximizing the Conditional ..." Article: etaps17tacas-tacasid163-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_16
Klüppelholz, Sascha ETAPS '17: "Maximizing the Conditional ..." Article: etaps17tacas-tacasid163-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_16
Kobayashi, Naoki ETAPS '17: "Modular Verification of Higher-Order ..." Article: etaps17esop-id129-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_31 ETAPS '17: "Almost Every Simply Typed ..." Article: etaps17fossacs-fossacsid54-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_4
König, Barbara ETAPS '17: "Up-To Techniques for Weighted ..." Article: etaps17tacas-tacasid130-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_31
Kop, Cynthia ETAPS '17: "The Power of Non-determinism ..." Article: etaps17esop-id77-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_25
Köpf, Boris ETAPS '17: "Security Analysis of Cache ..." Article: etaps17post-mainid7-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_9
Kosmatov, Nikolai ETAPS '17: "RPP: Automatic Proof of Relational ..." Article: etaps17tacas-tacasid150-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_22
Kozen, Dexter ETAPS '17: "Nominal Automata with Name ..." Article: etaps17fossacs-fossacsid50-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_8
Kragl, Bernhard ETAPS '17: "Faster Algorithms for Weighted ..." Article: etaps17esop-id21-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_11
Kraus, Nicolai ETAPS '17: "Partiality, Revisited - The ..." Article: etaps17fossacs-fossacsid8-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_31
Krebbers, Robbert ETAPS '17: "The Essence of Higher-Order ..." Article: etaps17esop-id73-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_26
Kremer, Steve ETAPS '17: "Beyond Subterm-Convergent ..." Article: etaps17post-mainid23-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_6 ETAPS '17: "On Communication Models When ..." Article: etaps17post-mainid32-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_7
Kretínský, Jan ETAPS '17: "From LTL and Limit-Deterministic ..." Article: etaps17tacas-tacasid69-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_25 ETAPS '17: "Index Appearance Record for ..." Article: etaps17tacas-tacasid167-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_26
Kristensen, Erik Krogh ETAPS '17: "Inference and Evolution of ..." Article: etaps17fase-faseid14-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_6
Krivine, Jean ETAPS '17: "Incremental Update for Graph ..." Article: etaps17esop-id71-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_8
Kumar, Ramana ETAPS '17: "Verified Characteristic Formulae ..." Article: etaps17esop-id80-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_22
Kumar, Shrawan ETAPS '17: "VeriAbs: Verification by Abstraction ..." Article: etaps17tacas-tacassvcompid17-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_32
Kunčar, Ondřej ETAPS '17: "Comprehending Isabelle/HOL's ..." Article: etaps17esop-id31-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_27
Kupferman, Orna ETAPS '17: "Hierarchical Network Formation ..." Article: etaps17tacas-tacasid10-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_13
Küpper, Sebastian ETAPS '17: "Up-To Techniques for Weighted ..." Article: etaps17tacas-tacasid130-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_31
Lahiri, Shuvendu K. ETAPS '17: "Modular Verification of Procedure ..." Article: etaps17esop-id105-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_35
Laird, James ETAPS '17: "From Qualitative to Quantitative ..." Article: etaps17fossacs-fossacsid95-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_3
Lambers, Leen ETAPS '17: "Symbolic Model Generation ..." Article: etaps17fase-faseid51-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_13
Lämmel, Ralf ETAPS '17: "The Essence of Functional ..." Article: etaps17esop-id39-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_28
Lamo, Yngve ETAPS '17: "Change-Preserving Model Repair ..." Article: etaps17fase-faseid74-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_16
Lange, Julien ETAPS '17: "On the Undecidability of Asynchronous ..." Article: etaps17fossacs-fossacsid20-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_26
Lantz, Patrik ETAPS '17: "OpenSAW: Open Security Analysis ..." Article: etaps17fase-faseid87-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_18
Larraz, Daniel ETAPS '17: "Proving Termination Through ..." Article: etaps17tacas-tacasid87-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_6
Larsen, Kim Guldstrand ETAPS '17: "Validation, Synthesis, and ..." Article: etaps17tacas-tacasinv1-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_1
Larsen, Kim S. ETAPS '17: "The Paths to Choreography ..." Article: etaps17fossacs-fossacsid26-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_25
Latella, Diego ETAPS '17: "FlyFast: A Mean Field Model ..." Article: etaps17tacas-tacasid65-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_18
La Torre, Salvatore ETAPS '17: "Lazy-CSeq 2.0: Combining Lazy ..." Article: etaps17tacas-tacassvcompid23-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_26
Laud, Peeter ETAPS '17: "Combining Differential Privacy ..." Article: etaps17post-mainid8-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_14
Lauko, Henrich ETAPS '17: "Optimizing and Caching SMT ..." Article: etaps17tacas-tacassvcompid28-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_29
Le, Ton Chanh ETAPS '17: "HipTNT+: A Termination and ..." Article: etaps17tacas-tacassvcompid12-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_25
Leblebici, Erhan ETAPS '17: "Inter-model Consistency Checking ..." Article: etaps17fase-faseid23-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_11
Lee, Edward A. ETAPS '17: "autoCode4: Structural Controller ..." Article: etaps17tacas-tacasid13-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_23
Lee, Insup ETAPS '17: "Automatic Verification of ..." Article: etaps17tacas-tacasid162-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_9
Le Gall, Pascale ETAPS '17: "RPP: Automatic Proof of Relational ..." Article: etaps17tacas-tacasid150-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_22
Leinberger, Martin ETAPS '17: "The Essence of Functional ..." Article: etaps17esop-id39-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_28
Lengal, Ondrej ETAPS '17: "Lazy Automata Techniques for ..." Article: etaps17tacas-tacasid44-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_24
Lengál, Ondrej ETAPS '17: "Fair Termination for Parameterized ..." Article: etaps17tacas-tacasid96-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_29 ETAPS '17: "Forester: From Heap Shapes ..." Article: etaps17tacas-tacassvcompid16-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_24
Lerner, Benjamin S. ETAPS '17: "Synthesis of Recursive ADT ..." Article: etaps17tacas-tacasid30-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_14
Le Roux, Stéphane ETAPS '17: "On the Existence of Weak Subgame ..." Article: etaps17fossacs-fossacsid57-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_9
Li, Yong ETAPS '17: "A Novel Learning Algorithm ..." Article: etaps17tacas-tacasid102-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_12
Lienhardt, Michael ETAPS '17: "A Unified and Formal Programming ..." Article: etaps17fase-faseid94-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_25
Lin, Anthony Widjaja ETAPS '17: "Fair Termination for Parameterized ..." Article: etaps17tacas-tacasid96-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_29
Liu, Depeng ETAPS '17: "A Novel Learning Algorithm ..." Article: etaps17tacas-tacasid102-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_12
Liu, Yang ETAPS '17: "CSimpl: A Rely-Guarantee-Based ..." Article: etaps17tacas-tacasid25-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_28
Lochbihler, Andreas ETAPS '17: "Friends with Benefits - Implementing ..." Article: etaps17esop-id26-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_5
Loreti, Michele ETAPS '17: "FlyFast: A Mean Field Model ..." Article: etaps17tacas-tacasid65-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_18
Lukina, Anna ETAPS '17: "ARES: Adaptive Receding-Horizon ..." Article: etaps17tacas-tacasid101-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_17
Majumdar, Rupak ETAPS '17: "Fair Termination for Parameterized ..." Article: etaps17tacas-tacasid96-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_29
Mamouras, Konstantinos ETAPS '17: "Equational Theories of Abnormal ..." Article: etaps17fossacs-fossacsid112-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_6
Mandrykin, Mikhail U. ETAPS '17: "CPA-BAM-BnB: Block-Abstraction ..." Article: etaps17tacas-tacassvcompid21-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_22
Mardziel, Piotr ETAPS '17: "Quantifying Vulnerability ..." Article: etaps17post-mainid17-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_2
Marin, Paolo ETAPS '17: "HQSpre - An Effective Preprocessor ..." Article: etaps17tacas-tacasid52-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_21
Markey, Nicolas ETAPS '17: "Bounding Average-Energy Games ..." Article: etaps17fossacs-fossacsid90-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_11
Marques-Silva, Joao ETAPS '17: "Efficient Certified Resolution ..." Article: etaps17tacas-tacasid91-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_7
Massink, Mieke ETAPS '17: "FlyFast: A Mean Field Model ..." Article: etaps17tacas-tacasid65-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_18
Matheja, Christoph ETAPS '17: "Unified Reasoning About Robustness ..." Article: etaps17esop-id54-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_23
Matsumoto, Kei ETAPS '17: "Coherence Spaces and Uniform ..." Article: etaps17fossacs-fossacsid67-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_1
Meggendorfer, Tobias ETAPS '17: "Index Appearance Record for ..." Article: etaps17tacas-tacasid167-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_26
Milius, Stefan ETAPS '17: "Nominal Automata with Name ..." Article: etaps17fossacs-fossacsid50-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_8
Miquey, Étienne ETAPS '17: "A Classical Sequent Calculus ..." Article: etaps17esop-id1-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_29
Mishra, Samarth ETAPS '17: "Faster Algorithms for Weighted ..." Article: etaps17esop-id21-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_11
Mitsch, Stefan ETAPS '17: "Change and Delay Contracts ..." Article: etaps17fase-faseid68-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_8
Møller, Anders ETAPS '17: "Inference and Evolution of ..." Article: etaps17fase-faseid14-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_6
Monmege, Benjamin ETAPS '17: "Optimal Reachability in Divergent ..." Article: etaps17fossacs-fossacsid24-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_10
Montaghami, Vajih ETAPS '17: "Bordeaux: A Tool for Thinking ..." Article: etaps17fase-faseid95-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_2
Montesi, Fabrizio ETAPS '17: "The Paths to Choreography ..." Article: etaps17fossacs-fossacsid26-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_25
Mrázek, Jan ETAPS '17: "Optimizing and Caching SMT ..." Article: etaps17tacas-tacassvcompid28-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_29
Mukhopadhyay, Supratik ETAPS '17: "StaticGen: Static Generation ..." Article: etaps17fase-faseid12-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_10
Müller, Andreas ETAPS '17: "Change and Delay Contracts ..." Article: etaps17fase-faseid68-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_8
Müller, Peter ETAPS '17: "Precise Version Control of ..." Article: etaps17fase-faseid71-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_9
Murawska, Agata ETAPS '17: "Lincx: A Linear Logical Framework ..." Article: etaps17esop-id30-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_20
Murawski, Andrzej S. ETAPS '17: "ML and Extended Branching ..." Article: etaps17esop-id50-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_12
Musa, Betim ETAPS '17: "Ultimate Automizer with an ..." Article: etaps17tacas-tacassvcompid33-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_30
Mutilin, Vadim S. ETAPS '17: "CPA-BAM-BnB: Block-Abstraction ..." Article: etaps17tacas-tacassvcompid21-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_22
Myreen, Magnus O. ETAPS '17: "Verified Characteristic Formulae ..." Article: etaps17esop-id80-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_22
Ngo, Tuan Phong ETAPS '17: "Context-Bounded Analysis for ..." Article: etaps17tacas-tacasid177-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_4
Nguyen, ThanhVu ETAPS '17: "Connecting Program Synthesis ..." Article: etaps17tacas-tacasid105-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_17
Nguyen, Truc L. ETAPS '17: "Lazy-CSeq 2.0: Combining Lazy ..." Article: etaps17tacas-tacassvcompid23-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_26
Nielson, Flemming ETAPS '17: "Model Checking Exact Cost ..." Article: etaps17post-mainid15-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_10
Niemetz, Aina ETAPS '17: "Counterexample-Guided Model ..." Article: etaps17tacas-tacasid42-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_15
Noll, Thomas ETAPS '17: "Unified Reasoning About Robustness ..." Article: etaps17esop-id54-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_23
Norrish, Michael ETAPS '17: "Verified Characteristic Formulae ..." Article: etaps17esop-id80-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_22
Norrman, Karl ETAPS '17: "OpenSAW: Open Security Analysis ..." Article: etaps17fase-faseid87-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_18
Ntzik, Gian ETAPS '17: "Abstract Specifications for ..." Article: etaps17esop-id65-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_36
Nunes, Daltro José ETAPS '17: "On the Effectiveness of Bug ..." Article: etaps17fase-faseid60-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_5
Nunes, Ingrid ETAPS '17: "On the Effectiveness of Bug ..." Article: etaps17fase-faseid60-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_5
Nutz, Alexander ETAPS '17: "Ultimate Automizer with an ..." Article: etaps17tacas-tacassvcompid33-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_30 ETAPS '17: "Ultimate Taipan: Trace Abstraction ..." Article: etaps17tacas-tacassvcompid31-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_31
Ohrndorf, Manuel ETAPS '17: "Change-Preserving Model Repair ..." Article: etaps17fase-faseid74-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_16
Oliveira, Bruno C. d. S. ETAPS '17: "Disjoint Polymorphism ..." Article: etaps17esop-id123-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_1
Oliveras, Albert ETAPS '17: "Proving Termination Through ..." Article: etaps17tacas-tacasid87-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_6
Olivo, Oswaldo ETAPS '17: "Static Detection of DoS Vulnerabilities ..." Article: etaps17tacas-tacasid57-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_1
Ong, C.-H. Luke ETAPS '17: "ML and Extended Branching ..." Article: etaps17esop-id50-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_12
Orejas, Fernando ETAPS '17: "Symbolic Model Generation ..." Article: etaps17fase-faseid51-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_13
Otis, Shawn ETAPS '17: "Lincx: A Linear Logical Framework ..." Article: etaps17esop-id30-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_20
Otth, Martin ETAPS '17: "Precise Version Control of ..." Article: etaps17fase-faseid71-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_9
Ozkan, Burcu Kulahcioglu ETAPS '17: "Verifying Robustness of Event-Driven ..." Article: etaps17esop-id82-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_7
Padoan, Tommaso ETAPS '17: "Local Model Checking in a ..." Article: etaps17fossacs-fossacsid89-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_24
Padon, Oded ETAPS '17: "Bounded Quantifier Instantiation ..." Article: etaps17tacas-tacasid45-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_5
Padovani, Luca ETAPS '17: "Context-Free Session Type ..." Article: etaps17esop-id76-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_30
Pagani, Michele ETAPS '17: "The Free Exponential Modality ..." Article: etaps17fossacs-fossacsid32-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_2
Pajic, Miroslav ETAPS '17: "Automatic Verification of ..." Article: etaps17tacas-tacasid162-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_9
Pang, Jun ETAPS '17: "Should We Learn Probabilistic ..." Article: etaps17fase-faseid1-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_1
Papusha, Ivan ETAPS '17: "Sequential Convex Programming ..." Article: etaps17tacas-tacasid169-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_8
Park, Junkil ETAPS '17: "Automatic Verification of ..." Article: etaps17tacas-tacasid162-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_9
Parkinson, Matthew J. ETAPS '17: "Proving Linearizability Using ..." Article: etaps17esop-id45-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_24
Parlato, Gennaro ETAPS '17: "Lazy-CSeq 2.0: Combining Lazy ..." Article: etaps17tacas-tacassvcompid23-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_26
Pauly, Arno ETAPS '17: "On the Existence of Weak Subgame ..." Article: etaps17fossacs-fossacsid57-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_9
Pavlogiannis, Andreas ETAPS '17: "Faster Algorithms for Weighted ..." Article: etaps17esop-id21-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_11
Pérez, Jorge A. ETAPS '17: "Linearity, Control Effects, ..." Article: etaps17esop-id47-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_9
Peterson, Brian ETAPS '17: "StaticGen: Static Generation ..." Article: etaps17fase-faseid12-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_10
Pettai, Martin ETAPS '17: "Combining Differential Privacy ..." Article: etaps17post-mainid8-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_14
Pham, Van-Thuan ETAPS '17: "Bucketing Failing Tests via ..." Article: etaps17fase-faseid7-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_3
Pientka, Brigitte ETAPS '17: "Lincx: A Linear Logical Framework ..." Article: etaps17esop-id30-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_20 ETAPS '17: "Programs Using Syntax with ..." Article: etaps17esop-id13-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_19
Pierantonio, Alfonso ETAPS '17: "Reusing Model Transformations ..." Article: etaps17fase-faseid54-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_15
Piessens, Frank ETAPS '17: "A Principled Approach to Tracking ..." Article: etaps17post-mainid43-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_3
Pigram, Matthew ETAPS '17: "Skink: Static Analysis of ..." Article: etaps17tacas-tacassvcompid13-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_27
Piorkowski, David ETAPS '17: "Visual Configuration of Mobile ..." Article: etaps17fase-faseid97-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_19
Piróg, Maciej ETAPS '17: "Unifying Guarded and Unguarded ..." Article: etaps17fossacs-fossacsid70-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_30
Pistoia, Marco ETAPS '17: "Visual Configuration of Mobile ..." Article: etaps17fase-faseid97-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_19
Platzer, André ETAPS '17: "Change and Delay Contracts ..." Article: etaps17fase-faseid68-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_8
Podelski, Andreas ETAPS '17: "Ultimate Automizer with an ..." Article: etaps17tacas-tacassvcompid33-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_30 ETAPS '17: "Ultimate Taipan: Trace Abstraction ..." Article: etaps17tacas-tacassvcompid31-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_31
Polikarpova, Nadia ETAPS '17: "Synthesis of Recursive ADT ..." Article: etaps17tacas-tacasid30-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_14
Ponzio, Pablo ETAPS '17: "Automated Workarounds from ..." Article: etaps17fase-faseid103-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_20
Poonawala, Hasan A. ETAPS '17: "Sequential Convex Programming ..." Article: etaps17tacas-tacasid169-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_8
Popescu, Andrei ETAPS '17: "Comprehending Isabelle/HOL's ..." Article: etaps17esop-id31-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_27 ETAPS '17: "Friends with Benefits - Implementing ..." Article: etaps17esop-id26-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_5
Pottier, François ETAPS '17: "Temporary Read-Only Permissions ..." Article: etaps17esop-id67-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_10
Pous, Damien ETAPS '17: "Companions, Codensity and ..." Article: etaps17fossacs-fossacsid82-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_7
Prabhakar, Pavithra ETAPS '17: "HARE: A Hybrid Abstraction ..." Article: etaps17tacas-tacasid182-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_33
Preiner, Mathias ETAPS '17: "Counterexample-Guided Model ..." Article: etaps17tacas-tacasid42-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_15
Prevosto, Virgile ETAPS '17: "RPP: Automatic Proof of Relational ..." Article: etaps17tacas-tacasid150-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_22
Qiu, Xiaokang ETAPS '17: "Synthesis of Recursive ADT ..." Article: etaps17tacas-tacasid30-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_14
Rabe, Markus N. ETAPS '17: "Encodings of Bounded Synthesis ..." Article: etaps17tacas-tacasid215-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_20
Radhakrishna, Arjun ETAPS '17: "Scaling Enumerative Program ..." Article: etaps17tacas-tacasid119-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_18
Rafnsson, Willard ETAPS '17: "Timing-Sensitive Noninterference ..." Article: etaps17post-mainid18-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_1
Randour, Mickael ETAPS '17: "Bounding Average-Energy Games ..." Article: etaps17fossacs-fossacsid90-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_11
Raskin, Jean-Francois ETAPS '17: "On the Existence of Weak Subgame ..." Article: etaps17fossacs-fossacsid57-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_9
Raskin, Jean-François ETAPS '17: "From LTL and Limit-Deterministic ..." Article: etaps17tacas-tacasid69-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_25
Rauch, Christoph ETAPS '17: "Unifying Guarded and Unguarded ..." Article: etaps17fossacs-fossacsid70-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_30
Rayside, Derek ETAPS '17: "Bordeaux: A Tool for Thinking ..." Article: etaps17fase-faseid95-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_2
Regis, Germán ETAPS '17: "Automated Workarounds from ..." Article: etaps17fase-faseid103-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_20
Reimer, Sven ETAPS '17: "HQSpre - An Effective Preprocessor ..." Article: etaps17tacas-tacasid52-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_21
Reineke, Jan ETAPS '17: "Security Analysis of Cache ..." Article: etaps17post-mainid7-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_9
Retschitzegger, Werner ETAPS '17: "Change and Delay Contracts ..." Article: etaps17fase-faseid68-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_8
Reynier, Pierre-Alain ETAPS '17: "Optimal Reachability in Divergent ..." Article: etaps17fossacs-fossacsid24-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_10 ETAPS '17: "Degree of Sequentiality of ..." Article: etaps17fossacs-fossacsid25-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_13
Reynolds, Andrew ETAPS '17: "Congruence Closure with Free ..." Article: etaps17tacas-tacasid72-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_13
Riesco, Adrián ETAPS '17: "Slicing from Formal Sematics: ..." Article: etaps17fase-faseid91-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_21
Roberts, Matthew ETAPS '17: "Skink: Static Analysis of ..." Article: etaps17tacas-tacassvcompid13-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_27
Rocha, Herbert ETAPS '17: "DepthK: A k-Induction Verifier ..." Article: etaps17tacas-tacassvcompid26-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_23
Rocha, Williame ETAPS '17: "DepthK: A k-Induction Verifier ..." Article: etaps17tacas-tacassvcompid26-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_23
Rodríguez-Carbonell, Enric ETAPS '17: "Proving Termination Through ..." Article: etaps17tacas-tacasid87-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_6
Rodríguez-Navas, Guillermo ETAPS '17: "Computing Scores of Forwarding ..." Article: etaps17tacas-tacasid50-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_10
Rogalewicz, Adam ETAPS '17: "Forester: From Heap Shapes ..." Article: etaps17tacas-tacassvcompid16-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_24
Roohi, Nima ETAPS '17: "HARE: A Hybrid Abstraction ..." Article: etaps17tacas-tacasid182-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_33
Roscoe, A. W. ETAPS '17: "The Automatic Detection of ..." Article: etaps17tacas-tacasid123-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_15
Rot, Jurriaan ETAPS '17: "Companions, Codensity and ..." Article: etaps17fossacs-fossacsid82-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_7
Roveri, Marco ETAPS '17: "Invariant Checking of NRA ..." Article: etaps17tacas-tacasid113-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_4
Roy, Subhajit ETAPS '17: "Bucketing Failing Tests via ..." Article: etaps17fase-faseid7-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_3
Roychoudhury, Abhik ETAPS '17: "Bucketing Failing Tests via ..." Article: etaps17fase-faseid7-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_3
Rubio, Albert ETAPS '17: "Proving Termination Through ..." Article: etaps17tacas-tacasid87-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_6
Ruess, Harald ETAPS '17: "autoCode4: Structural Controller ..." Article: etaps17tacas-tacasid13-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_23
Rümmer, Phillip ETAPS '17: "Fair Termination for Parameterized ..." Article: etaps17tacas-tacasid96-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_29
Rutle, Adrian ETAPS '17: "Change-Preserving Model Repair ..." Article: etaps17fase-faseid74-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_16
Saarinen, Pasi ETAPS '17: "OpenSAW: Open Security Analysis ..." Article: etaps17fase-faseid87-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_18
Sabelfeld, Andrei ETAPS '17: "A Principled Approach to Tracking ..." Article: etaps17post-mainid43-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_3
Sagiv, Mooly ETAPS '17: "Bounded Quantifier Instantiation ..." Article: etaps17tacas-tacasid45-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_5
Saha, Ripon ETAPS '17: "Selective Bisection Debugging ..." Article: etaps17fase-faseid107-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_4
Sakayori, Ken ETAPS '17: "A Truly Concurrent Game Model ..." Article: etaps17fossacs-fossacsid78-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_23
Sanán, David ETAPS '17: "CSimpl: A Rely-Guarantee-Based ..." Article: etaps17tacas-tacasid25-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_28
Sankaranarayanan, Sriram ETAPS '17: "Discriminating Traces with ..." Article: etaps17tacas-tacasid135-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_2
Sankur, Ocan ETAPS '17: "An Abstraction Technique for ..." Article: etaps17tacas-tacasid24-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_2
Sasse, Ralf ETAPS '17: "Beyond Subterm-Convergent ..." Article: etaps17post-mainid23-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_6
Sato, Ryosuke ETAPS '17: "Modular Verification of Higher-Order ..." Article: etaps17esop-id129-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_31
Schachte, Peter ETAPS '17: "Combining String Abstract ..." Article: etaps17tacas-tacasid62-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_3
Schätzle, Claus ETAPS '17: "Ultimate Automizer with an ..." Article: etaps17tacas-tacassvcompid33-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_30 ETAPS '17: "Ultimate Taipan: Trace Abstraction ..." Article: etaps17tacas-tacassvcompid31-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_31
Schilling, Christian ETAPS '17: "Minimization of Visibly Pushdown ..." Article: etaps17tacas-tacasid185-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_27 ETAPS '17: "Ultimate Automizer with an ..." Article: etaps17tacas-tacassvcompid33-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_30 ETAPS '17: "Ultimate Taipan: Trace Abstraction ..." Article: etaps17tacas-tacassvcompid31-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_31
Schlatte, Rudolf ETAPS '17: "EasyInterface: A Toolkit for ..." Article: etaps17fase-faseid47-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_22
Schneider, Sven ETAPS '17: "Symbolic Model Generation ..." Article: etaps17fase-faseid51-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_13
Schneider-Kamp, Peter ETAPS '17: "Efficient Certified Resolution ..." Article: etaps17tacas-tacasid91-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_7
Schröder, Lutz ETAPS '17: "Nominal Automata with Name ..." Article: etaps17fossacs-fossacsid50-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_8 ETAPS '17: "Unifying Guarded and Unguarded ..." Article: etaps17fossacs-fossacsid70-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_30
Schürr, Andy ETAPS '17: "Inter-model Consistency Checking ..." Article: etaps17fase-faseid23-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_11
Schüssele, Frank ETAPS '17: "Ultimate Automizer with an ..." Article: etaps17tacas-tacassvcompid33-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_30 ETAPS '17: "Ultimate Taipan: Trace Abstraction ..." Article: etaps17tacas-tacassvcompid31-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_31
Schwinger, Wieland ETAPS '17: "Change and Delay Contracts ..." Article: etaps17fase-faseid68-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_8
Sebastiani, Roberto ETAPS '17: "Invariant Checking of NRA ..." Article: etaps17tacas-tacasid113-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_4 ETAPS '17: "On Optimization Modulo Theories, ..." Article: etaps17tacas-tacasid116-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_14
Segersvärd, Oskar ETAPS '17: "OpenSAW: Open Security Analysis ..." Article: etaps17fase-faseid87-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_18
Severi, Paula ETAPS '17: "A Light Modality for Recursion ..." Article: etaps17fossacs-fossacsid55-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_29
Shah, Punit ETAPS '17: "VeriAbs: Verification by Abstraction ..." Article: etaps17tacas-tacassvcompid17-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_32
Shah, Shetal ETAPS '17: "Towards Parallel Boolean Functional ..." Article: etaps17tacas-tacasid214-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_19
Sharygina, Natasha ETAPS '17: "HiFrog: SMT-based Function ..." Article: etaps17tacas-tacasid56-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_12
Shi, Zhiyuan ETAPS '17: "Disjoint Polymorphism ..." Article: etaps17esop-id123-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_1
Shoham, Sharon ETAPS '17: "Bounded Quantifier Instantiation ..." Article: etaps17tacas-tacasid45-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_5
Sickert, Salomon ETAPS '17: "From LTL and Limit-Deterministic ..." Article: etaps17tacas-tacasid69-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_25
Siddique, Umair ETAPS '17: "Rewriting-Based Runtime Verification ..." Article: etaps17tacas-tacasid40-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_5
Simácek, Jirí ETAPS '17: "Forester: From Heap Shapes ..." Article: etaps17tacas-tacassvcompid16-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_24
Simonsen, Jakob Grue ETAPS '17: "The Power of Non-determinism ..." Article: etaps17esop-id77-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_25 ETAPS '17: "Computing Continuous-Time ..." Article: etaps17fossacs-fossacsid120-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_20
Simpson, Alex ETAPS '17: "Cyclic Arithmetic Is Equivalent ..." Article: etaps17fossacs-fossacsid60-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_17
Sin'Ya, Ryoma ETAPS '17: "Almost Every Simply Typed ..." Article: etaps17fossacs-fossacsid54-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_4
Sistla, A. Prasad ETAPS '17: "Emptiness Under Isolation ..." Article: etaps17fossacs-fossacsid108-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_14
Sjösten, Alexander ETAPS '17: "A Principled Approach to Tracking ..." Article: etaps17post-mainid43-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_3
Slaby, Jiri ETAPS '17: "Symbiotic 4: Beyond Reachability ..." Article: etaps17tacas-tacassvcompid29-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_28
Sloane, Anthony M. ETAPS '17: "Skink: Static Analysis of ..." Article: etaps17tacas-tacassvcompid13-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_27
Smolka, Scott A. ETAPS '17: "ARES: Adaptive Receding-Horizon ..." Article: etaps17tacas-tacasid101-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_17
Sobocinski, Pawel ETAPS '17: "Confluence of Graph Rewriting ..." Article: etaps17esop-id53-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_6
Søndergaard, Harald ETAPS '17: "Combining String Abstract ..." Article: etaps17tacas-tacasid62-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_3
Sokolsky, Oleg ETAPS '17: "Automatic Verification of ..." Article: etaps17tacas-tacasid162-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_9
Solar-Lezama, Armando ETAPS '17: "Synthesis of Recursive ADT ..." Article: etaps17tacas-tacasid30-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_14
Staab, Steffen ETAPS '17: "The Essence of Functional ..." Article: etaps17esop-id39-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_28
Staton, Sam ETAPS '17: "Commutative Semantics for ..." Article: etaps17esop-id99-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_32
Štill, Vladimír ETAPS '17: "Optimizing and Caching SMT ..." Article: etaps17tacas-tacassvcompid28-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_29
Strejcek, Jan ETAPS '17: "Symbiotic 4: Beyond Reachability ..." Article: etaps17tacas-tacassvcompid29-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_28
Ströder, Thomas ETAPS '17: "AProVE: Proving and Disproving ..." Article: etaps17tacas-tacassvcompid14-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_21
Stuckey, Peter J. ETAPS '17: "Combining String Abstract ..." Article: etaps17tacas-tacasid62-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_3
Sun, Jun ETAPS '17: "Should We Learn Probabilistic ..." Article: etaps17fase-faseid1-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_1
Suvanpong, Pongsak ETAPS '17: "Skink: Static Analysis of ..." Article: etaps17tacas-tacassvcompid13-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_27
Ta, Quang-Trung ETAPS '17: "HipTNT+: A Termination and ..." Article: etaps17tacas-tacassvcompid12-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_25
Taentzer, Gabriele ETAPS '17: "Change-Preserving Model Repair ..." Article: etaps17fase-faseid74-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_16
Talpin, Jean-Pierre ETAPS '17: "An Abstraction Technique for ..." Article: etaps17tacas-tacasid24-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_2
Tamir, Tami ETAPS '17: "Hierarchical Network Formation ..." Article: etaps17tacas-tacasid10-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_13
Tang, Hao ETAPS '17: "Conditional Dyck-CFL Reachability ..." Article: etaps17esop-id40-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_33
Tasiran, Serdar ETAPS '17: "Verifying Robustness of Event-Driven ..." Article: etaps17esop-id82-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_7
Tassarotti, Joseph ETAPS '17: "A Higher-Order Logic for Concurrent ..." Article: etaps17esop-id98-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_34
Tasson, Christine ETAPS '17: "The Free Exponential Modality ..." Article: etaps17fossacs-fossacsid32-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_2
Tatsuta, Makoto ETAPS '17: "Classical System of Martin-Löf's ..." Article: etaps17fossacs-fossacsid22-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_18
Tentrup, Leander ETAPS '17: "Encodings of Bounded Synthesis ..." Article: etaps17tacas-tacasid215-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_20
Terauchi, Tachio ETAPS '17: "Compositional Synthesis of ..." Article: etaps17post-mainid20-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_13
Ter Beek, Maurice H. ETAPS '17: "Family-Based Model Checking ..." Article: etaps17fase-faseid6-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_23
Thiemann, Peter ETAPS '17: "Partial Derivatives for Context-Free ..." Article: etaps17fossacs-fossacsid4-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_15
Tischner, Daniel ETAPS '17: "Minimization of Visibly Pushdown ..." Article: etaps17tacas-tacasid185-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_27
Tisi, Massimo ETAPS '17: "A Deductive Approach for Fault ..." Article: etaps17fase-faseid58-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_17
Tiu, Alwen ETAPS '17: "CSimpl: A Rely-Guarantee-Based ..." Article: etaps17tacas-tacasid25-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_28
Tiwari, Ashish ETAPS '17: "ARES: Adaptive Receding-Horizon ..." Article: etaps17tacas-tacasid101-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_17
Tizpaz-Niari, Saeid ETAPS '17: "Discriminating Traces with ..." Article: etaps17tacas-tacasid135-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_2
Topcu, Ufuk ETAPS '17: "Sequential Convex Programming ..." Article: etaps17tacas-tacasid169-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_8
Traytel, Dmitriy ETAPS '17: "Friends with Benefits - Implementing ..." Article: etaps17esop-id26-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_5 ETAPS '17: "Almost Event-Rate Independent ..." Article: etaps17tacas-tacasid76-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_6
Trentin, Patrick ETAPS '17: "On Optimization Modulo Theories, ..." Article: etaps17tacas-tacasid116-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_14
Tribastone, Mirco ETAPS '17: "ERODE: A Tool for the Evaluation ..." Article: etaps17tacas-tacasid144-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_19
Tripp, Omer ETAPS '17: "Visual Configuration of Mobile ..." Article: etaps17fase-faseid97-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_19
Trivedi, Ashutosh ETAPS '17: "Discriminating Traces with ..." Article: etaps17tacas-tacasid135-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_2
Tschaikowski, Max ETAPS '17: "ERODE: A Tool for the Evaluation ..." Article: etaps17tacas-tacasid144-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_19
Tsukada, Takeshi ETAPS '17: "Almost Every Simply Typed ..." Article: etaps17fossacs-fossacsid54-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_4 ETAPS '17: "A Truly Concurrent Game Model ..." Article: etaps17fossacs-fossacsid78-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_23
Turrini, Andrea ETAPS '17: "JANI: Quantitative Model and ..." Article: etaps17tacas-tacasid39-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_9
Udupa, Abhishek ETAPS '17: "Scaling Enumerative Program ..." Article: etaps17tacas-tacasid119-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_18
Urban, Caterina ETAPS '17: "Precise Widening Operators ..." Article: etaps17tacas-tacasid120-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_8
Uva, Marcelo ETAPS '17: "Automated Workarounds from ..." Article: etaps17fase-faseid103-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_20
Vafeiadis, Viktor ETAPS '17: "Tackling Real-Life Relaxed ..." Article: etaps17esop-id63-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_17
Vandin, Andrea ETAPS '17: "ERODE: A Tool for the Evaluation ..." Article: etaps17tacas-tacasid144-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_19
Veanes, Margus ETAPS '17: "Forward Bisimulations for ..." Article: etaps17tacas-tacasid2-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_30
Venkatesh, R. ETAPS '17: "VeriAbs: Verification by Abstraction ..." Article: etaps17tacas-tacassvcompid17-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_32
Villevalois, Didier ETAPS '17: "Degree of Sequentiality of ..." Article: etaps17fossacs-fossacsid25-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_13
Viswanathan, Mahesh ETAPS '17: "Emptiness Under Isolation ..." Article: etaps17fossacs-fossacsid108-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_14 ETAPS '17: "HARE: A Hybrid Abstraction ..." Article: etaps17tacas-tacasid182-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_33 ETAPS '17: "Optimal Translation of LTL ..." Article: etaps17tacas-tacasid154-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_7
Vitovská, Martina ETAPS '17: "Symbiotic 4: Beyond Reachability ..." Article: etaps17tacas-tacassvcompid29-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_28
Vojnar, Tomas ETAPS '17: "Lazy Automata Techniques for ..." Article: etaps17tacas-tacasid44-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_24
Vojnar, Tomás ETAPS '17: "Forester: From Heap Shapes ..." Article: etaps17tacas-tacassvcompid16-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_24
Volkov, Anton ETAPS '17: "CPA-BAM-BnB: Block-Abstraction ..." Article: etaps17tacas-tacassvcompid21-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_22
Waldmann, Clara ETAPS '17: "Index Appearance Record for ..." Article: etaps17tacas-tacasid167-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_26
Waldmann, Uwe ETAPS '17: "A Lambda-Free Higher-Order ..." Article: etaps17fossacs-fossacsid3-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_27
Wand, Daniel ETAPS '17: "A Lambda-Free Higher-Order ..." Article: etaps17fossacs-fossacsid3-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_27
Wang, Di ETAPS '17: "Conditional Dyck-CFL Reachability ..." Article: etaps17esop-id40-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_33
Wang, Jingyi ETAPS '17: "Should We Learn Probabilistic ..." Article: etaps17fase-faseid1-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_1
Wang, Xiaoyin ETAPS '17: "Conditional Dyck-CFL Reachability ..." Article: etaps17esop-id40-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_33
Wąsowski, Andrzej ETAPS '17: "Variability-Specific Abstraction ..." Article: etaps17fase-faseid59-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_24
Weimer, Westley ETAPS '17: "Connecting Program Synthesis ..." Article: etaps17tacas-tacasid105-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_17
Weininger, Maximilian ETAPS '17: "Index Appearance Record for ..." Article: etaps17tacas-tacasid167-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_26
Willemse, Tim A. C. ETAPS '17: "Family-Based Model Checking ..." Article: etaps17fase-faseid6-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_23
Wimmer, Ralf ETAPS '17: "HQSpre - An Effective Preprocessor ..." Article: etaps17tacas-tacasid52-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_21 ETAPS '17: "Long-Run Rewards for Markov ..." Article: etaps17tacas-tacasid209-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_11
Wißmann, Thorsten ETAPS '17: "Nominal Automata with Name ..." Article: etaps17fossacs-fossacsid50-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_8
Wood, Tim ETAPS '17: "Modular Verification of Procedure ..." Article: etaps17esop-id105-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_35
Wunderlich, Sascha ETAPS '17: "Maximizing the Conditional ..." Article: etaps17tacas-tacasid163-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_16
Wüstholz, Valentin ETAPS '17: "Static Detection of DoS Vulnerabilities ..." Article: etaps17tacas-tacasid57-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_1
Xiong, Shale ETAPS '17: "Abstract Specifications for ..." Article: etaps17esop-id65-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_36
Xiong, Yingfei ETAPS '17: "Conditional Dyck-CFL Reachability ..." Article: etaps17esop-id40-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_33
Xu, Shiwei ETAPS '17: "Automated Verification of ..." Article: etaps17post-mainid44-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_5
Yamamoto, Masaki ETAPS '17: "Compositional Synthesis of ..." Article: etaps17post-mainid20-p doi:http://dx.doi.org/10.1007/978-3-662-54455-6_13
Yang, Junxing ETAPS '17: "ARES: Adaptive Receding-Horizon ..." Article: etaps17tacas-tacasid101-p doi:http://dx.doi.org/10.1007/978-3-662-54580-5_17
Yoshida, Nobuko ETAPS '17: "Explicit Connection Actions ..." Article: etaps17fase-faseid17-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_7 ETAPS '17: "On the Undecidability of Asynchronous ..." Article: etaps17fossacs-fossacsid20-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_26
Yuan, Qixia ETAPS '17: "Should We Learn Probabilistic ..." Article: etaps17fase-faseid1-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_1
Zanasi, Fabio ETAPS '17: "Confluence of Graph Rewriting ..." Article: etaps17esop-id53-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_6
Zhang, Chenyi ETAPS '17: "Combining String Abstract ..." Article: etaps17tacas-tacasid62-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_3
Zhang, Fuyuan ETAPS '17: "CSimpl: A Rely-Guarantee-Based ..." Article: etaps17tacas-tacasid25-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_28
Zhang, Lijun ETAPS '17: "A Novel Learning Algorithm ..." Article: etaps17tacas-tacasid102-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_12
Zhang, Lingming ETAPS '17: "Conditional Dyck-CFL Reachability ..." Article: etaps17esop-id40-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_33
Zhang, Lu ETAPS '17: "Conditional Dyck-CFL Reachability ..." Article: etaps17esop-id40-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_33
Zhao, Yongwang ETAPS '17: "CSimpl: A Rely-Guarantee-Based ..." Article: etaps17tacas-tacasid25-p doi:http://dx.doi.org/10.1007/978-3-662-54577-5_28
Zimmermann, Martin ETAPS '17: "Bounding Average-Energy Games ..." Article: etaps17fossacs-fossacsid90-p doi:http://dx.doi.org/10.1007/978-3-662-54458-7_11
Zschaler, Steffen ETAPS '17: "GTS Families for the Flexible ..." Article: etaps17fase-faseid49-p doi:http://dx.doi.org/10.1007/978-3-662-54494-5_12
Zucca, Elena ETAPS '17: "Generalizing Inference Systems ..." Article: etaps17esop-id12-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_2
Zuleger, Florian ETAPS '17: "Unified Reasoning About Robustness ..." Article: etaps17esop-id54-p doi:http://dx.doi.org/10.1007/978-3-662-54434-1_23

585 authors

proc time: 0.81