EPiC series in computing 2018: all accepted papers
- An Introduction to CORA 2015 ↗Matthias Althoff218 citations
- Three years of experience with Sledgehammer, a Practical Link Between Automatic and Interactive Theorem Provers ↗Lawrence Charles Paulson, Jasmin Christian Blanchette162 citations
- Object-sensitive Deep Reinforcement Learning ↗Yuezhang Li, Katia P. Sycara, Rahul Iyer110 citations
- Benchmarks for Temporal Logic Requirements for Automotive Systems ↗Bardh Hoxha, Houssam Abbas, Georgios Fainekos94 citations
- Deep Network Guided Proof SearchSarah M. Loos, Geoffrey Irving, Christian Szegedy et al.92 citations · our summary
- Improved Exact Solver for the Weighted MAX-SAT Problem ↗Adrian Kügel88 citations
- Implementation of Interval Arithmetic in CORA 2016 ↗Matthias Althoff, Dmitry Grebenyuk79 citations
- Feature Selection Ensemble ↗Qiang Shen, Ren Diao, Su Pan65 citations
- Three Years of Experience with Sledgehammer, a Practical Link between Automatic and Interactive Theorem Provers ↗Lawrence Charles Paulson64 citations
- Indirect Effects of the Digital Transformation on Environmental Sustainability: Methodological Challenges in Assessing the Greenhouse Gas Abatement Potential of ICT ↗Jan C. T. Bieser, Lorenz M. Hilty60 citations
- νZ - Maximal Satisfaction with Z3 ↗Nikolaj Bjørner, Anh-Dung Phan60 citations
- Knowledge Compilation meets Uniform Sampling ↗Shubham Sharma, Rahul Gupta, Subhajit Roy et al.56 citations
- BliStr: The Blind Strategymaker ↗Josef Urban50 citations
- Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers ↗Peter Heidlauf, Alexander R. Collins, Michael A. Bolender et al.49 citations
- Playing with Quantified Satisfaction ↗Nikolaj Bjørner, Mikoláš Janota47 citations
- Verifying safety of an autonomous spacecraft rendezvous mission ↗Nicole Chan, Sayan Mitra47 citations
- Enhanced Gaussian Elimination in DPLL-based SAT Solvers ↗Mate Soos40 citations
- Implementation of Taylor models in CORA 2018 ↗Matthias Althoff, Dmitry Grebenyuk, Niklas Kochdumper40 citations
- Empirical Evaluation of the Energy Impact of Refactoring Code Smells ↗Roberto Verdecchia, René Aparicio Saez, Giuseppe Procaccianti et al.39 citations
- Program Verification as Satisfiability Modulo Theories ↗Nikolaj Bjørner, Kenneth L. McMillan, Andrey Rybalchenko39 citations
- Stronger Automation for Flyspeck by Feature Weighting and Strategy Evolution ↗Cezary Kaliszyk, Josef Urban33 citations
- iDQ: Instantiation-Based DQBF Solving ↗Andreas Fröhlich, Gergely Kovásznai, Armin Biere et al.33 citations
- Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools ↗Ibtissem Ben Makhlouf, Stefan Kowalewski30 citations
- The Turing O-Machine and the DIME Network Architecture: Injecting the Architectural Resiliency into Distributed Computing ↗Rao Mikkilineni, Albert Comparini, Giovanni Morana29 citations
- New Techniques in Clausal Form Generation ↗Giles Reger, Martin Suda, Андрей Воронков27 citations
- BluSTL: Controller Synthesis from Signal Temporal Logic Specifications ↗Alexandre Donzé, Vasumathi Raman26 citations
- Graph Symmetry Detection and Canonical Labeling: Differences and Synergies ↗Hadi Katebi, Karem A. Sakallah, Igor L. Markov25 citations
- Undesigning the Internet: An exploratory study of reducing everyday Internet connectivity ↗Kelly Widdicks, Tina Ringenson, Daniel Sapiens Pargman et al.25 citations
- Matching Jobs and Resumes: a Deep Collaborative Filtering Task ↗Thomas Schmitt, Philippe Caillou, Michèle Sébag24 citations
- Theorem Provers For Every Normal Modal Logic ↗Tobias Gleißner, Alexander Steen, Christoph Benzmüller24 citations
- Legal Information Retrieval Using Topic Clustering and Neural Networks ↗Rohan Nanda, Adebayo Kolawole John, Luigi Di et al.23 citations
- On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width ↗Gergely Kovásznai, Andreas Fröhlich, Armin Biere23 citations
- AVATAR Modulo Theories ↗Giles Reger, Nikolaj Bjørner, Martin Suda et al.22 citations
- Abstract Domains for Bit-Level Machine Integer and Floating-point Operations ↗Antoine Miné22 citations
- Two-variable First-Order Logic with Counting in Forests ↗Witold Charatonik, Yegor Guskov, Ian E. Pratt-Hartmann et al.21 citations
- An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future ↗Jiefei Ma, Rob Miller, Leora Morgenstern et al.20 citations
- Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures ↗Martin Aigner, Armin Biere, Christoph M. Kirsch et al.20 citations
- Shifting the maturity needle of ICT for Sustainability ↗Samuel Mann, Oliver Bates, Ray Maher20 citations
- Vector Addition Systems Reachability Problem (A Simpler Solution) ↗Jérôme Leroux20 citations
- ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics ↗Matthias Althoff, Stanley Bak, Dario Cattaruzza et al.19 citations
- ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics ↗Fabian Immler, Matthias Althoff, Luis Benet et al.19 citations
- Deep Incremental Boosting ↗Alan Mosca, George D. Magoulas19 citations
- Maximum likelihood pedigree reconstruction using integer programming ↗James Cussens19 citations
- Shared Autonomous Vehicles: Potentials for a Sustainable Mobility and Risks of Unintended Effects ↗Christina Pakusch, Gunnar Stevens, Paul Bossauer19 citations
- ARCH-COMP18 Category Report: Stochastic Modelling ↗Alessandro Abate, H.A.P. Blom, Nathalie Cauchi et al.18 citations
- Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters) ↗Luan Viet Nguyen, Taylor Thomas Johnson18 citations
- Breeding Theorem Proving Heuristics with Genetic Algorithms ↗Simon Schäfer, Stephan Schulz18 citations
- Computing Nash Equilibria of Unbounded Games ↗Martı́n Hötzel Escardó, Paulo B. Oliva18 citations
- Covered Clause Elimination ↗Marijn J. H. Heule, Matti Järvisalo, Armin Biere18 citations
- Quantified Heap Invariants for Object-Oriented Programs ↗Temesghen Kahsai, Rody Kersten, Philipp Rümmer et al.17 citations
- Synchronizing Constrained Horn Clauses ↗Dmitry Mordvinov, Grigory Fedyukovich17 citations
- Why These Automata Types? ↗Udi Boker17 citations
- A Unified View of Induction Reasoning for First-Order Logic ↗Sorin Stratulat16 citations
- A high-level estimate of the material footprints of the ICT and the E&M sector ↗Jens Malmodin, Pernilla Bergmark, Sepideh Matinfar16 citations
- HipSpec : Automating Inductive Proofs of Program Properties ↗Koen Claessen, Moa Johansson, Dan Rosén et al.16 citations
- Model checking Timed CSP ↗Philip Armstrong, Gavin Lowe, Joël Ouaknine et al.16 citations
- Termination Checking in the Presence of Nested Inductive and Coinductive Types ↗Thorsten Altenkirch, Nils Anders Danielsson16 citations
- The Footprint of Things: A hybrid approach towards the collection, storage and distribution of life cycle inventory data ↗Guido van Capelleveen, Johanna Pohl, Andreas Fritsch et al.16 citations
- Verifying Properties of an Electro-Mechanical Braking System ↗Thomas Strathmann, Jens Oehlerking16 citations
- A Tableau Proof System with Names for Modal Mu-calculus ↗Colin Stirling15 citations
- ARCH-COMP18 Category Report: Results on the Falsification Benchmarks ↗Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha et al.15 citations
- Analysis of Attack Graph Representations for Ranking Vulnerability Fixes ↗Tom Gonda, Tal Pascal, Rami Puzis et al.15 citations
- Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing ↗Benjamin Farinier, Robin David, Sébastien Bardin et al.15 citations
- Legal Question Answering System using Neural Attention ↗Ayaka Morimoto, Daiki Kubo, Motoki Sato et al.15 citations
- Machine Learning of Coq Proof Guidance: First Experiments ↗Cezary Kaliszyk, Lionel Elie Mamane, Josef Urban15 citations
- Proving Information Flow Noninterference by Reusing a Machine-Checked Correctness Proof for Slicing ↗Daniel Wasserrab, Denis Lohner15 citations
- Robust, Semi-Intelligible Isabelle Proofs from ATP Proofs ↗Steffen Juilf Smolka, Jasmin Christian Blanchette15 citations
- SGGS Theorem Proving: an Exposition ↗Maria Paola Bonacina, David A. Plaisted15 citations
- Turing Tests with Turing Machines ↗José Hernández‐Orallo, Javier Insa-Cabrera, David L. Dowe et al.15 citations
- Computational Coverage of TLG: Nonlinearity ↗Glyn V. Morrill, Oriol Valentín14 citations
- ICT for Sustainable Last-Mile Logistics: Data, People and Parcels ↗Oliver Bates, Adrian Friday, Julian Allen et al.14 citations
- MCMT in the Land of Parametrized Timed Automata ↗Alessandro Carioni, Silvio Ghilardi, Silvio Ranise14 citations
- Overview of COLIEE 2017 ↗Yoshinobu Kano, Mi-Young Kim, Randy G. Goebel et al.14 citations
- Post Mortem Analysis of SAT Solver Proofs ↗Laurent Simon14 citations
- Reasoning with Triggers ↗Claire Dross, Sylvain Conchon, Johannes Kanig et al.14 citations
- qbf2epr: A Tool for Generating EPR Formulas from QBF ↗Martina Seidl, Florian Lonsing, Armin Biere14 citations
- A Clausal Normal Form Translation for FOOL ↗Evgenii Kotelnikov, Laura Kovács, Martin Suda et al.13 citations
- Benchmark Problem: A PK/PD Model and Safety Constraints for Anesthesia Delivery ↗Victor Gan, Guy Albert Dumont, Ian M. Mitchell13 citations
- Implementing Connection Calculi for First-order Modal Logics ↗Jens Otten13 citations
- Learning from Multiple Proofs: First Experiments ↗Daniel A. Kuehlwein, Josef Urban13 citations
- Left-Handed Completeness for Kleene algebra, via Cyclic Proofs ↗Anupam Das, Amina Doumane, Damien Pous13 citations
- MetTeL2: Towards a Tableau Prover Generation Platform ↗Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi13 citations
- Progress in Automating Higher-Order Ontology Reasoning ↗Christoph Benzmüller, Adam Pease13 citations
- SMT-Based System Verification with DVF ↗Amit Goel, Sava Krstić, Rebekah Leslie et al.13 citations
- SimuLTE-MEC: Extending SimuLTE for Multi-Access Edge Computing ↗Giovanni Nardini, Antonio Virdis, Giovanni Stea et al.13 citations
- Utilizing Hoare Logic to Strengthen Testing for Error Detection in Programs ↗Shaoying Liu13 citations
- A Simulation Model of IEEE 802.1AS gPTP for Clock Synchronization in OMNeT++ ↗Henning Puttnies, Peter Danielis, Enkhtuvshin Janchivnyambuu et al.12 citations
- Computing Minimal Subsumption Modules of Ontologies ↗Jieying Chen, Michel Ludwig, Dirk Walther12 citations
- Dolius: A Distributed Parallel SAT Solving Framework ↗Gilles Audemard, Benoît Hoessen, Saïd Jabbour et al.12 citations
- Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts ↗Franz Baader, Andreas Ecke12 citations
- Machine Learner for Automated Reasoning 0.4 and 0.5 ↗Cezary Kaliszyk, Josef Urban, Jiri Vyskocil12 citations
- Redirecting Proofs by Contradiction ↗Jasmin Christian Blanchette12 citations
- TacticToe: Learning to Reason with HOL4 Tactics ↗Thibault Gauthier, Cezary Kaliszyk, Josef Urban12 citations
- Towards a sustainable business model for smartphones: Combining product-service systems with modularity ↗Alice Frantz Schneider, Sepideh Matinfar, Eoin Martino Grua et al.12 citations
- An SMT-based approach to automated configuration ↗Raphaël Michel, Arnaud Hubaux, Vijay Ganesh et al.11 citations
- Application-Independent and Integration-Friendly Natural Language Understanding ↗Manfred Eppe, Sean Trott, Vivek Raghuram et al.11 citations
- Benchmark: Quadrotor Attitude Control ↗Antônio Eduardo Carrilho da Cunha11 citations
- Exotic Semi-Ring Constraints ↗Michael Codish, Yoav Fekete, Carsten Fuhs et al.11 citations
- Flow* 1.2: More Effective to Play with Hybrid Systems ↗Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám11 citations
This page in Markdown → https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2018/papers/