EPiC series in computing 2018: all accepted papers
- Iterated contraction of propositions and conditionals under the principle of conditional preservation ↗Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald et al.11 citations
- Large-Scale Linear Systems from Order-Reduction ↗Hoang-Dung Tran, Luan Viet Nguyen, Taylor Thomas Johnson11 citations
- MiniAgda: Integrating Sized and Dependent Types ↗Andreas M. Abel11 citations
- On Conflicts and Strategies in QBF ↗Nikolaj Bjørner, Mikoláš Janota, William Klieber11 citations
- On Solving MaxSAT Through SAT ↗Carlos Ansótegui, Marı́a Luisa Bonet, Jordi Levy11 citations
- Symbolic Approach for Side-Channel Resistance Analysis of Masked Assembly Codes ↗Inès Ben El Ouahma, Quentin Meunier, Karine Heydemann et al.11 citations
- The Challenges of Evaluating a New Feature in Vampire ↗Giles Reger, Martin Suda, Андрей Воронков11 citations
- Towards a Semantics of Unsatisfiability Proofs with Inprocessing ↗Tobias Philipp, Adrián Rebola-Pardo11 citations
- Transforming Event B Models into Verified C# Implementations ↗Dominique Méry, Rosemary Monahan11 citations
- Ultrametric automata and Turing machines ↗Rūsiņš Freivalds11 citations
- A Comparative Analysis of Green ICT Maturity Models ↗David Lautenschutz, Sergio España, Albert Hankel et al.10 citations
- A Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent Systems ↗Hiba Ouni, Kaïs Klai, Chiheb Ameur Abid et al.10 citations
- A uniform framework for substructural logics with modalities ↗Björn Lellmann, Carlos Alberto Olarte, Elaine Gouvêa Pimentel10 citations
- AaaS and MaaS for reduced environmental and climate impact of transport ↗Anna Kramers, Tina Ringenson, Liridona Sopjani et al.10 citations
- Analyzing Runtime Complexity via Innermost Runtime Complexity ↗Florian Frohn, Jürgen Giesl10 citations
- Automated Proof of Authentication Protocols in a Logic of Events ↗Mark Bickford10 citations
- Automated Reasoning for Explainable Artificial Intelligence ↗Maria Paola Bonacina10 citations
- Automatic Space Bound Analysis for Functional Programs with Garbage Collection ↗Yue Niu, Jan Hoffmann10 citations
- EPR-based k-induction with Counterexample Guided Abstraction Refinement ↗Zurab O. Khasidashvili, Konstantin Korovin, Dmitry Tsarkov10 citations
- Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets ↗Jaroslav Bendík, Ivana Černá10 citations
- LOOPUS - A Tool for Computing Loop Bounds for C Programs ↗Moritz Sinn, Florian Zuleger10 citations
- LexiPers: An ontology based sentiment lexicon for Persian ↗Behnam Sabeti, Pedram Hosseini, Gholamreza Ghassem-Sani et al.10 citations
- Modeling Organic Chemistry and Planning Organic Synthesis ↗Arman Masoumi, Megan Antoniazzi, Mikhail Soutchanski B10 citations
- Tool Presentation: Isabelle/HOL for Reachability Analysis of Continuous Systems ↗Fabian Immler10 citations
- Using S-TaLiRo on Industrial Size Automotive Models ↗Bardh Hoxha, Houssam Abbas, Georgios Fainekos10 citations
- Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers ↗Marijn J. H. Heule, Norbert Manthey, Tobias Philipp10 citations
- Why Attackers Lose: Design and Security Analysis of Arbitrarily Large XOR Arbiter PUFs ↗Nils Wisiol, Christoph Graebnitz, Marian Margraf et al.10 citations
- A Complete Calculus of Monotone and Antitone Higher-Order Functions ↗Thomas Icard, Lawrence S. Moss9 citations
- A Smart Grid Energy Management Problem for Data-driven Design with Probabilistic Reachability Guarantees ↗Daniele Ioli, Alessandro Falsone, Marianne Hartung et al.9 citations
- Anatomy of Alternating Quantifier Satisfiability (Work in progress) ↗Anh-Dung Phan, Nikolaj Bjørner, David P. Monniaux9 citations
- Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo ↗Guillaume Bury, David Delahaye, Damien Doligez et al.9 citations
- Contactless Surgery Light Control based on 3D Gesture Recognition ↗Armin Dietz, Stephan Schröder, Andreas Pösch et al.9 citations
- Model Check What You Can, Runtime Verify the Rest ↗Timothy L. Hinrichs, Aravinda Prasad Sistla, Lenore D. Zuck9 citations
- Motor-Transmission Drive System: a Benchmark Example for Safety Verification ↗Hongxu Chen, Sayan Mitra, Guangyu Tian9 citations
- Optimizing the AES S-Box using SAT ↗Carsten Fuhs, Peter Schneider–Kamp9 citations
- Progress on Powertrain Verification Challenge with C2E2 ↗Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra et al.9 citations
- Temporal Query Answering in DL-Lite with Negation ↗Stefan Borgwardt, Veronika Thost9 citations
- A One-Pass Tree-Shaped Tableau for LTL+Past ↗Nicola Gigante, Angelo Montanari, Mark A Reynolds8 citations
- ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics ↗Xin Chen, Matthias Althoff, Fabian Immler8 citations
- ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks ↗Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha et al.8 citations
- ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics ↗Matthias Althoff, Stanley Bak, Xin Chen et al.8 citations
- Anemic Status Prediction using Multilayer Perceptron Neural Network Model ↗Ching Hao Yu, Manas Bhatnagar, Rachel Hogen et al.8 citations
- Cryptographic Protocol Verification via Supercompilation (A Case Study) ↗Abdulbasit Ahmed, Alexei Lisitsa, Andrei P. Nemytykh8 citations
- Experiments on the feasibility of using a floating-point simplex in an SMT solver ↗Diego Caminha B. de Oliveira, David P. Monniaux8 citations
- First-Order Interpolation and Interpolating Proof Systems ↗Laura Kovács, Андрей Воронков8 citations
- Formula partitioning revisited ↗Zoltán Ádám Mann, Pál András Papp8 citations
- Graph Path Orderings ↗Nachum Dershowitz, Jean-Pierre Jouannaud8 citations
- High-level Hybrid Systems Analysis with Hypy ↗Stanley Bak, Sergiy Bogomolov, Christian Schilling8 citations
- Implementation of Incremental Learning in Artificial Neural Networks ↗Mariela Andrade, Eduardo Gasca, Eréndira Rendón8 citations
- LTL with Arithmetic and its Applications in Reasoning about Hierarchical Systems ↗Rachel Faran, Orna Kupferman8 citations
- Parse Condition: Symbolic Encoding of LL(1) Parsing ↗Dhruv Singal, Palak Agarwal, Saket Jhunjhunwala et al.8 citations
- Quantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms ↗Joshua Cherian Varughese, Ronald Thenius, Thomas Schmickl et al.8 citations
- Refinement and Term Synthesis in Loop Invariant Generation ↗Ewen Maclean, Andrew Ireland, Lucas Dixon et al.8 citations
- The Handling of Loops in Talmudic Logic, with Application to Odd and Even Loops in ArgumentationMichael Abraham, Dov M. Gabbay, Uri J. Schild8 citations · our summary
- The maker movement in Europe: empirical and theoretical insights into sustainability ↗Jeremy Millard, Marie Nicole Sorivelle, Orfeas Konstantinos Katsikis et al.8 citations
- Tool Demonstration of the FLATA Counter Automata Toolset ↗Marius Dorel Bozga, Radu Iosif, Filip Konecny et al.8 citations
- Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions ↗Holger Hermanns, Sebastian Biewer, Pedro R. D’Argenio et al.8 citations
- When Are Two Gossips the Same? ↗Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek8 citations
- When Should Learning Agents Switch to Explicit Knowledge? ↗Daan Apeldoorn, Gabriele Kern-Isberner8 citations
- ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics ↗Goran Frehse, Alessandro Abate, Dieky Adzkiya et al.7 citations
- Automated analysis of Stateflow models ↗Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion et al.7 citations
- Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny ↗Sylvia Grewe, Sebastian Thore Erdweg, Mira Mezini7 citations
- Better Proof Output for Vampire ↗Giles Reger7 citations
- Blocked Clauses in First-Order Logic ↗Benjamin Kiesl, Martin Suda, Martina Seidl et al.7 citations
- Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning ↗Adrian Balint, Norbert Manthey7 citations
- Checkable Proofs for First-Order Theorem Proving ↗Giles Reger, Martin Suda7 citations
- Clausal Proof Compression ↗Marijn J. H. Heule, Armin Biere7 citations
- Computing with Metabolic Machines ↗Claudio Angione, Giovanni Carapezza, Jole Costanza et al.7 citations
- Critical Pair Analysis in Nominal Rewriting ↗Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto et al.7 citations
- Formal Verification of a Multi-Basal Insulin Infusion Control Model ↗Xin Chen, Souradeep Dutta, Sriram Sankaranarayanan7 citations
- Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA ↗Antonio González-Burgueño, Damián Aparicio-Sánchez, Santiago Escobar et al.7 citations
- From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry ↗Pierre Boutry, Gabriel Braun, Julien Narboux7 citations
- Historical Gradient Boosting Machine ↗Zeyu Feng, Chang Xu, Dacheng Tao7 citations
- Hybrid Modelling of a Wind Turbine ↗Simone Schuler, Fabiano Daher Adegas, Adolfo Anta7 citations
- Implied Constraints for Automaton Constraints ↗Maria Andreina Francisco, Pierre Flener, Justin Pearson7 citations
- Improving Legal Information Retrieval by Distributional Composition with Term Order Probabilities ↗Danilo Silva Carvalho, Vu Tran, Van-Khanh Tran et al.7 citations
- Logtk : A Logic ToolKit for Automated Reasoning and its Implementation ↗Simon Cruanes7 citations
- Loop Analysis by Quantification over Iterations ↗Bernhard Gleiss, Laura Kovács, Simon Robillard7 citations
- Loopfrog — loop summarization for static analysis ↗Daniel Kroening, Natasha Sharygina, Stefano Tonetta et al.7 citations
- Nitpick: A Counterexample Generator for Isabelle/HOL Based on the Relational Model Finder Kodkod ↗Jasmin Christian Blanchette7 citations
- Polymorphic+Typeclass Superposition ↗Daniel Wand7 citations
- Ranking Functions for Linear-Constraint Loops ↗Amir M. Ben-Amram7 citations
- Reasoning about Translation Lookaside Buffers ↗Hira Syeda, Gerwin Klein7 citations
- Replaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems ↗Eugene C. Freuder, Richard J. Wallace7 citations
- SMTS: Distributed, Visualized Constraint Solving ↗Matteo Marescotti, Antti Hyvärinen, Natasha Sharygina7 citations
- Shut up and take my environmental data! A study on ICT enabled citizen science practices, participation approaches and challenges ↗Maria Victoria Palacin-Silva, Jari Porras7 citations
- Towards Improving the Resource Usage of SAT-solvers ↗Norbert Manthey, Ari Saptawijaya7 citations
- Towards Smarter MACE-style Model Finders ↗Mikoláš Janota, Martin Suda7 citations
- Understanding LEO-II’s proofs ↗Nik Sultana, Christoph Benzmüller7 citations
- A Comparison of Solvers for Propositional Dynamic Logic ↗Ullrich Hustadt, Renate A. Schmidt6 citations
- A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs ↗Johanna Nellen, Benedikt Wolters, Lukas Netz et al.6 citations
- A Semidefinite Programming Approach to Control Synthesis for Stochastic Reach-Avoid Problems ↗Dalibor Drzajic, Nikolaos Kariotoglou, Maryam Kamgarpour et al.6 citations
- ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving ↗Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan et al.6 citations
- An Automated Framework for Exploitable Fault Identification in Block Ciphers – A Data Mining Approach ↗Sayandeep Saha, Ujjawal Kumar, Debdeep Mukhopadhyay et al.6 citations
- An Operational Semantics for Network Datalog ↗Vivek Nigam, Limin Jia, Anduo Wang et al.6 citations
- Applicative Abstract Categorial Grammar ↗Oleg Kiselyov6 citations
- Automated Invention of Strategies and Term Orderings for Vampire ↗Jan Jakubův, Martin Suda, Josef Urban6 citations
- Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers ↗Sylvain Conchon, Guillaume Melquiond, Cody Roux et al.6 citations
- Checking Foundational Proof Certificates for First-Order Logic (Extended Abstract) ↗Zakaria Chihani, Dale Miller, Fabien Renaud6 citations
This page in Markdown → https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2018/papers/page/2/