2024 export record
dblp key:
journals/corr/abs-2403-18720 share record
persistent URL:
Philippe Ledent , Radu Mateescu , Wendelin Serwe : Testing Resource Isolation for System-on-Chip Architectures. MARS@ETAPS 2024 : 129-168 export record
dblp key:
journals/corr/abs-2403-18722 share record
persistent URL:
Kevin H. J. Jilissen , Peter Dieleman , Jan Friso Groote : Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment. MARS@ETAPS 2024 : 101-127 export record
dblp key:
journals/corr/abs-2403-18723 share record
persistent URL:
Hubert Garavel , Bas Luttik : Four Formal Models of IEEE 1394 Link Layer. MARS@ETAPS 2024 : 21-100 export record
dblp key:
journals/corr/abs-2403-18916 share record
persistent URL:
Parth Bora , Pham Duc Minh , Tim A. C. Willemse : Modelling the Raft Distributed Consensus Protocol in mCRL2. MARS@ETAPS 2024 : 7-20 export record
dblp key:
journals/corr/abs-2403-18917 share record
persistent URL:
Bjarne Johansson , Bahman Pourvatan , Zahra Moezkarimi , Alessandro Papadopoulos , Marjan Sirjani : Formal Verification of Consistency for Systems with Redundant Controllers. MARS@ETAPS 2024 : 169-191 export record
dblp key:
journals/corr/abs-2403-18918 share record
persistent URL:
Lars Beckers , Stefan Gerlach , Ole Lübke , Alexander Schlaefer , Sibylle Schupp : Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy. MARS@ETAPS 2024 : 193-209 export record
dblp key:
journals/corr/abs-2404-00446 share record
persistent URL:
Ilaria Castellani , Paola Giannini : Towards a Semantic Characterisation of Global Type Well-formedness. PLACES@ETAPS 2024 : 11-21 export record
dblp key:
journals/corr/abs-2404-05475 share record
persistent URL:
Pedro Ângelo , Atsushi Igarashi , Vasco T. Vasconcelos : Linear Contextual Metaprogramming and Session Types. PLACES@ETAPS 2024 : 1-10 export record
dblp key:
journals/corr/abs-2404-05478 share record
persistent URL:
Samuel Cavoj , Ivan Nikitin , Colin Perkins , Ornela Dardha : Session Types for the Transport Layer: Towards an Implementation of TCP. PLACES@ETAPS 2024 : 22-36 export record
dblp key:
journals/corr/abs-2404-05479 share record
persistent URL:
Simon Fowler , Philipp Haller , Roland Kuhn , Sam Lindley , Alceste Scalas , Vasco T. Vasconcelos : Behavioural Types for Heterogeneous Systems (Position Paper). PLACES@ETAPS 2024 : 37-48 export record
dblp key:
journals/corr/abs-2404-05480 share record
persistent URL:
Thien Udomsrirungruang , Nobuko Yoshida : Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses. PLACES@ETAPS 2024 : 49-60 export record
dblp key:
journals/corr/abs-2401-10725 share record
persistent URL:
Pedro Quaresma , Zoltán Kovács : Proceedings 14th International Conference on Automated Deduction in Geometry, ADG 2023, Belgrade, Serbia, 20-22th September 2023. EPTCS 398, 2024 [contents] export record
dblp key:
journals/corr/abs-2403-17862 share record
persistent URL:
Frédéric Lang , Matthias Volk : Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2024, Luxembourg City, Luxembourg, 6th April 2024. EPTCS 399, 2024 [contents] export record
dblp key:
journals/corr/abs-2404-03709 share record
persistent URL:
Julien Narboux , Walther Neuper , Pedro Quaresma : Proceedings 12th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2023, Rome, Italy, 5th July 2023. EPTCS 400, 2024 [contents] export record
dblp key:
journals/corr/abs-2404-03712 share record
persistent URL:
Diana Costa , Raymond Hu : Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS 2024, Luxembourg City, Luxembourg, 6th April 2024. EPTCS 401, 2024 [contents] 2023 export record
dblp key:
journals/corr/abs-2112-10578 share record
persistent URL:
Athanasios Lentzas , Dimitris Vrakas : From Robot Self-Localization to Global-Localization: An RSSI Based Approach. AREA@ECAI 2023 : 18-25 export record
dblp key:
journals/corr/abs-2202-00898 share record
persistent URL:
Pierre Carbonnelle , Matthias van der Hallen , Marc Denecker : Quantification and aggregation over concepts of the ontology. ICLP 2023 : 213-226 export record
dblp key:
journals/corr/abs-2204-09365 share record
persistent URL:
Elena Barcucci , Antonio Bernini , Stefano Bilotta , Renzo Pinzani : A Construction for Variable Dimension Strong Non-Overlapping Matrices. AFL 2023 : 25-34 export record
dblp key:
journals/corr/abs-2210-15181 share record
persistent URL:
Yotam Gafni , Moshe Tennenholtz : Optimal Mechanism Design for Agents with DSL Strategies: The Case of Sybil Attacks in Combinatorial Auctions. TARK 2023 : 245-259 export record
dblp key:
journals/corr/abs-2211-13513 share record
persistent URL:
Jelle Wemmenhove , Dick Arends , Thijs Beurskens , Maitreyee Bhaid , Sean McCarren , Jan Moraal , Diego Rivera Garrido , David Tuin , Malcolm Vassallo , Pieter Wils , Jim Portegies : Waterproof: Educational Software for Learning How to Write Mathematical Proofs. ThEdu@CADE 2023 : 96-119 export record
dblp key:
journals/corr/abs-2302-03780 share record
persistent URL:
Abhiramon Rajasekharan , Yankai Zeng , Parth Padalkar , Gopal Gupta : Reliable Natural Language Understanding with Large Language Models and Answer Set Programming. ICLP 2023 : 274-287 export record
dblp key:
journals/corr/abs-2303-03865 share record
persistent URL:
Guido Boccali , Andrea Laretto , Fosco Loregiàn , Stefano Luneia : Bicategories of automata, automata in bicategories. ACT 2023 : 1-19 export record
dblp key:
journals/corr/abs-2303-07185 share record
persistent URL:
Meir Friedenberg , Joseph Y. Halpern : Joint Behavior and Common Belief. TARK 2023 : 221-232 export record
dblp key:
journals/corr/abs-2303-11839 share record
persistent URL:
J. Robin B. Cockett , Amolak Ratan Kalra , Priyaa Varshinee Srinivasan : Normalizing Resistor Networks. ACT 2023 : 70-83 export record
dblp key:
journals/corr/abs-2303-15276 share record
persistent URL:
Sabine Frittella , Daniil Kozhemiachenko , Bart Verheij : Presumptive Reasoning in a Paraconsistent Setting. TARK 2023 : 233-244 export record
dblp key:
journals/corr/abs-2303-17513 share record
persistent URL:
Merlin Carl : Improving the Diproche CNL through autoformalization via GPT-3. ThEdu@CADE 2023 : 44-58 export record
dblp key:
journals/corr/abs-2304-00389 share record
persistent URL:
Thomas Schlögl , Ulrich Schmid : A Sufficient Condition for Gaining Belief in Byzantine Fault-Tolerant Distributed Systems. TARK 2023 : 487-506 export record
dblp key:
journals/corr/abs-2304-00447 share record
persistent URL:
Evan Patterson : Structured and Decorated Cospans from the Viewpoint of Double Category Theory. ACT 2023 : 210-225 export record
dblp key:
journals/corr/abs-2304-02524 share record
persistent URL:
Tuomas Laakkonen , Konstantinos Meichanetzidis , John van de Wetering : Picturing counting reductions with the ZH-calculus. QPL 2023 : 89-113 export record
dblp key:
journals/corr/abs-2304-06186 share record
persistent URL:
Merlin Carl : Using large language models for (de-)formalization and natural argumentation exercises for beginner's students. ThEdu@CADE 2023 : 28-43