7.2k citations
- Centre National de la Recherche ScientifiqueFR647 papers
- University of Maryland, College ParkUS599 papers
- Centro Brasileiro de Pesquisas FísicasBR554 papers
- Imperial College LondonGB554 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR546 papers
- University of ZurichCH534 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR507 papers
- CEA Paris-SaclayFR493 papers
- University of KansasUS493 papers
- University College DublinIE488 papers
- Massachusetts Institute of TechnologyUS482 papers
- University of RochesterUS482 papers
4 papers · 2 filters
Loops under Strategies ... Continued
René Thiemann, Christian Sternagel, Jürgen Giesl +1
While there are many approaches for automatically proving termination of term rewrite systems, up to now there exist only few techniques to disprove their termination automatically…
Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications
Daniela Lepri, Peter Csaba Ölveczky, Erika Ábrahám
This paper presents a transformational approach for model checking two important classes of metric temporal logic (MTL) properties, namely, bounded response and minimum separation,…
A Rewriting-Logic-Based Technique for Modeling Thermal Systems
Muhammad Fadlisyah, Erika Ábrahám, Daniela Lepri +1
This paper presents a rewriting-logic-based modeling and analysis technique for physical systems, with focus on thermal systems. The contributions of this paper can be summarized a…
Automated Termination Analysis for Logic Programs with Cut
Peter Schneider-Kamp, Jürgen Giesl, Thomas Ströder +2
Termination is an important and well-studied property for logic programs. However, almost all approaches for automated termination analysis focus on definite logic programs, wherea…