EPiC series in computing 2018: all accepted papers
- Multi-Armed Bandit Algorithms for a Mobile Service Robot's Spare Time in a Structured Environment ↗Max Korein, Manuela Veloso2 citations
- Multiclassifier System with Dynamic Model of Classifier Competence Applied to the Control of Bioprosthetic Hand ↗Marek W. Kurzynski2 citations
- Non-linear Continuous Systems for Safety Verification ↗Andrew Sogokon, Khalil Ghorbal, Taylor Thomas Johnson2 citations
- On Unfolding for Programs Using Strings as a Data Type ↗Andrei P. Nemytykh2 citations
- Optimizing Kick Trajectory: A Comparative Study ↗Pedro Pena, Joseph Masterjohn, Ubbo Visser2 citations
- Optimizing Safe Control of a Networked Platoon of Trucks Using Reachability ↗Ibtissem Ben Makhlouf, Stefan Kowalewski2 citations
- Parametric Strategy Iteration ↗Helmut Seidl, Thomas Martin Gawlitza, Martin Schwarz2 citations
- Polymorphic success types for Erlang ↗Francisco J. López-Fraguas, Manuel Montenegro, Gorka Suárez García2 citations
- Program Verification using Constraint Handling Rules and Array Constraint Generalizations ↗Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi et al.2 citations
- Proving Simpson's Four-Slot Algorithm Using Ownership Transfer ↗Shuling Wang, Xu Wang2 citations
- Reachability Modulo Theory Library ↗Francesco Alberti, Roberto Bruttomesso A, Silvio Ghilardi et al.2 citations
- Reasoning About Loops Using Vampire ↗Laura Kovács, Simon Robillard2 citations
- Reasoning in the presence of inconsistency through Preferential ALC ↗Graham Deane, Krysia B. Broda, Alessandra Russo2 citations
- Relational groupoids and residuated lattices ↗Cosimo Guido2 citations
- Revisiting Question Answering in Vampire ↗Giles Reger2 citations
- SMT Encoding of Hybrid Systems in dReal ↗Kyungmin Bae, Soonho Kong, Sicun Gao2 citations
- Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors ↗David M. Cerna, Wolfgang Schreiner, Temur Kutsia2 citations
- Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata ↗Franz Baader, Oliver Fernández Gil, Maximilian Pensel2 citations
- Statistical Methodology for Comparison of SAT Solvers ↗Mladen Nikolić2 citations
- Teaching Modelling and Analysis of Communication Networks using OMNeT++ Simulator ↗Koojana Kuladinithi, Raphael Elsner, Leo Krüger et al.2 citations
- Termination Casts: A Flexible Approach to Termination with General Recursion ↗Aaron Stump, Vilhelm Sjöberg, Stephanie Weirich2 citations
- The Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps ↗Geoff Sutcliffe, Stephan Schulz2 citations
- The Weak Completion Semantics and Equality ↗Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Sibylle Schwarz et al.2 citations
- The energy and carbon footprint of the global ICT and E&M sectors 2010 - 2015 ↗Jens Malmodin, Dag Lundén2 citations
- Theorem recycling for Theorem Proving ↗Nikolaj Bjørner, Lev Nachmanson2 citations
- Towards a Closer Integration of Dynamic Programming and Constraint Programming ↗Steven Prestwich, Roberto Rossi, Ş. Armağan Tarim et al.2 citations
- Towards a Reliable Formal Framework for Enhancing Risk Assessment in Access Control Systems ↗Pierrette Annie Evina, Faten Labbene Ayachi, Faouzi Jaïdi et al.2 citations
- Towards an Information-Theoretic Approach to Population Structure ↗Omri Tal2 citations
- Towards an amortized type system for JavaScript ↗Daniel Franzen, David Aspinall2 citations
- Transforming Prefix-constrained or Controlled Rewrite Systems ↗Nirina Andrianarivelo, Vivien Pelletier, Pierre Réty2 citations
- Turchin's Relation and Subsequence Relation in Loop Approximation ↗Antonina Nepeivoda2 citations
- Two-layer modal logics: from fuzzy logics to a general framework ↗Petr Cintula A, Carles Noguera2 citations
- Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal) ↗Patrick Musau, Taylor Thomas Johnson2 citations
- Well-founded Functions and Extreme Predicates in Dafny: A Tutorial ↗Rustan Leino2 citations
- "Sustainability... it's just not important." - The Challenges of Academic Engagement with Diverse Stakeholders ↗Christian Remy, Oliver Bates, Vanessa Thomas et al.1 citation
- A Benchmark for Component-based Hybrid Systems Safety Verification ↗Andreas Müller, Stefan Mitsch, Werner Retschitzegger et al.1 citation
- A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions ↗Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani et al.1 citation
- A Data Structure to Handle Large Sets of Equal Terms ↗Baudouin Le Charlier, Mêton Mêton Atindehou1 citation
- A Design Space and its Patterns: Modelling 2phase Asynchronous Pipelines ↗Graham Birtwistle, Kenneth S. Stevens1 citation
- A Finite Model Property for Gödel Modal Logics ↗Xavier Caicedo, George Metcalfe, Ricardo Óscar Rodríguez et al.1 citation
- A Modular Approach of Decision-Making in the Context of Robot Navigation in Domestic Environments ↗Alexandra Kirsch1 citation
- A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal? ↗Alexei Lisitsa, Andrei P. Nemytykh1 citation
- A Report of ARCADE 2017 ↗Giles Reger, Dmitriy Traytel1 citation
- A Sparse Representation of High-Dimensional Input Spaces Based on an Augmented Growing Neural Gas ↗Jochen Kerdels, Gabriele Peters1 citation
- A refutation procedure for proving satisfiability of constraint specifications on XML documents ↗Marisa Navarro, Fernando Orejas1 citation
- ARCH-COMP17 Repeatability Evaluation Report ↗Taylor Thomas Johnson1 citation
- Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis ↗Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo A1 citation
- Alternating Reachability Games with Behavioral and Revenue Objectives ↗Orna Kupferman, Tami Tamir1 citation
- An Incremental Algorithm to Optimally Maintain Aggregate Views ↗Abhijeet Mohapatra, Michael Genesereth1 citation
- An Inference Rule for the Acyclicity Property of Term Algebras ↗Simon Robillard1 citation
- Asynchronous testing of real-time systems ↗Puneet Bhateja1 citation
- Authorization Enforcement in Workflows: Maintaining Realizability Via Automated Reasoning ↗Jason Crampton, Michael Huth, Jim Huan-Pu Kuo1 citation
- Automated Verification of Equivalence on Quantum Cryptographic Protocols ↗Takahiro Kubota, Yoshihiko Kakutani, Go Kato et al.1 citation
- Automatic Staging via Partial Evaluation Techniques ↗Kenichi Asai, Yukiyoshi Kameyama1 citation
- Automatic detection and correction of firewall misconfigurations- A formal approach ↗Amina Saâdaoui, Nihel Ben Youssef Ben Souayeh, Adel Bouhoula1 citation
- Automation for Geometry in Isabelle/HOL ↗Laura I. Meikle, Jacques Fleuriot1 citation
- BDD-based automated reasoning in propositional non-classical logics: progress report ↗Rajeev Prabhakar Goré, Jimmy Thomson1 citation
- Basic Logic, SMT solvers and finitely generated varieties of GBL-algebras ↗Peter Jipsen1 citation
- Benchmark Generator for Stratified Controllers of Tank Networks ↗Stanley Bak, Sergiy Bogomolov, Marius Greitschus et al.1 citation
- Benchmark problem: an air brake model for trains ↗Luca Parolini, Simone Schuler, Adolfo Anta1 citation
- Building Portfolios for the Protein Structure Prediction Problem ↗Alejandro Arbeláez, Youssef Hamadi, Michèle Sébag1 citation
- Classifier-Based Evaluation of Image Feature Importance ↗Sai Prabhakar Pandi Selvaraj, Manuela Veloso, Stephanie L. Rosenthal1 citation
- Complexity of Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic ↗Petr Cintula A, George Metcalfe1 citation
- Complexity of LTL Model-Checking for Safe Object Nets ↗Michael Köhler-Bußmeier, Frank Heitmann1 citation
- Constraint Problem Specification as Compression ↗Steven Prestwich, Ş. Armağan Tarim, Roberto Rossi1 citation
- Dcpo models of T1 spaces ↗Dongsheng Zhao, Xiaoyong Xi1 citation
- Development of a Query Language for GML based on XPath ↗Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Francisco García-García1 citation
- Dialogues for proof search ↗Jesse Alama1 citation
- Discovering Specifications for Unknown Procedures - Work in Progress ↗Florian Craciun, Chenguang Luo, Guanhua He et al.1 citation
- Distributed Autonomous Systems ↗Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang et al.1 citation
- Dynamic sequent calculus for the logic of Epistemic Actions and Knowledge ↗Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano1 citation
- Effectively Monadic Predicates ↗Margus Veanes, Nikolaj Bjørner, Lev Nachmanson et al.1 citation
- Empirical Investigation of Learning-Based Imputation Policies ↗Hara Skouteli, Loizos Michael1 citation
- Engineering Theories with Z3 ↗Nikolaj Bjørner1 citation
- Envisioning a Community Exemplar for Sustainability in and by ICT ↗Andreas Fritsch, Stefanie Betz1 citation
- Everything's Bigger in Texas: "The Largest Math Proof Ever" ↗Marijn J. H. Heule1 citation
- Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm ↗Guillaume Davy, Éric Féron, Pierre-Loïc Garoche et al.1 citation
- Experiments with State-of-the-art Automated Provers on Problems in Tarskian Geometry ↗Josef Urban, Robert Veroff1 citation
- Feasibility as a gradual notion ↗Libor Běhounek1 citation
- Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques ↗Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem et al.1 citation
- Formal Requirements Capturing using VRS system ↗Alexander A. Letichevsky, Alexander Kolchin, Олександр Олександрович Летичевський et al.1 citation
- Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra ↗Larry Moss, Jayampathy Ratnayake, Robert Rose1 citation
- From Parallel SAT to Distributed SAT ↗Youssef Hamadi1 citation
- Generalisation of Induction Formulae based on Proving by Symbolic Execution ↗Angela Wallenburg1 citation
- Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms ↗Cornelis Huizing, Ruurd Kuiper, T Tom Verhoeff1 citation
- GridTPT: a distributed platform for Theorem Prover Testing ↗Thomas Bouton, Diego Caminha B. de Oliveira, David Déharbe et al.1 citation
- Gödel logics and the fully boxed fragment of LTL ↗Matthias Baaz A, Norbert Preining1 citation
- HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions ↗Ibtissem Ben Makhlouf, Norman Hansen, Stefan Kowalewski1 citation
- Hybrid Automata Model of the Heart for Formal Verification of Pacemakers ↗Sidharta Andalam, Avinash Malik, Partha S. Roop et al.1 citation
- Hybrid Unification in the Description Logic EL ↗Franz Baader, Oliver Fernández Gil, Barbara Morawska1 citation
- Idempotent generated algebras and Boolean powers of commutative rings ↗Guram Bezhanishvili, Vincenzo Marra, Patrick J. Morandi et al.1 citation
- Implementing Polymorphism in Zenon ↗Guillaume Bury, Raphaël Cauderlier, Pierre Halmagrand1 citation
- Incremental Solving with Vampire ↗Giles Reger, Martin Suda1 citation
- Indoor temperature awareness using an Ambient Information Display - a semi-longitudinal study of one household ↗Björn Hedin, Victor Larsson, Henrik Artman1 citation
- Innovation alliances for sustainable ICT - Good practices and success factors, using the example of initiatives to improve the energy efficiency of data centers ↗Ralph Hintemann, Simon Hinterholzer1 citation
- Interpretability of a Service Robot: Enabling User Questions and Checkable Answers ↗Vittorio Perera, Manuela Veloso1 citation
- Invariants and Robustness of BIP Models ↗Jan Olaf Blech, Thanh-Hung Nguyen, Michaël Périn1 citation
- Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes? (Experimental Paper) ↗Martin Jonáš, Jan Strejček1 citation
- Is it possible to unify sequential programs? ↗Tatyana A. Novikova, Vladimir Anatolyevich Zakharov1 citation
- Jankov Formula and Ternary Deductive Term ↗Alex Citkin1 citation
This page in Markdown → https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2018/papers/page/5/