Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 10 of 98481 results
Sort by: relevance publication year

Exploring Media Framing of the Monkeypox Pandemic in Mainstream and Social Media: A Framing Theory Analysis

BOOK CHAPTER published 2024 in Wisdom, Well-Being, Win-Win

Authors: Lin Yang

Z3-Noodler: An Automata-based String Solver

BOOK CHAPTER published 2024 in Tools and Algorithms for the Construction and Analysis of Systems

Authors: Yu-Fang Chen | David Chocholatý | Vojtěch Havlena | Lukáš Holík | Ondřej Lengál | Juraj Síč

CESAR: Control Envelope Synthesis via Angelic Refinements

BOOK CHAPTER published 2024 in Tools and Algorithms for the Construction and Analysis of Systems

Authors: Aditi Kabra | Jonathan Laurent | Stefan Mitsch | André Platzer

Formally verified asymptotic consensus in robust networks

BOOK CHAPTER published 2024 in Tools and Algorithms for the Construction and Analysis of Systems

Authors: Mohit Tekriwal | Avi Tachna-Fram | Jean-Baptiste Jeannin | Manos Kapritsos | Dimitra Panagou

VeSCMul: Verified Implementation of S-C-Rewriting for Multiplier Verification

BOOK CHAPTER published 2024 in Tools and Algorithms for the Construction and Analysis of Systems

Authors: Mertcan Temel

Asynchronous Subtyping by Trace Relaxation

BOOK CHAPTER published 2024 in Tools and Algorithms for the Construction and Analysis of Systems

Authors: Laura Bocchi | Andy King | Maurizio Murgia

Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution

BOOK CHAPTER published 2024 in Tools and Algorithms for the Construction and Analysis of Systems

Authors: Martin Jonáš | Kristián Kumor | Jakub Novák | Jindřich Sedláček | Marek Trtík | Lukáš Zaoral | Paulína Ayaziová | Jan Strejček

Decidable Verification under Localized Release-Acquire Concurrency

BOOK CHAPTER published 2024 in Tools and Algorithms for the Construction and Analysis of Systems

Authors: Abhishek Kr Singh | Ori Lahav

Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping

BOOK CHAPTER published 2024 in Programming Languages and Systems

Authors: Hiroya Fujinami | Ichiro Hasuo

On-The-Fly Algorithm for Reachability in Parametric Timed Games

BOOK CHAPTER published 2024 in Tools and Algorithms for the Construction and Analysis of Systems

Authors: Mikael Bisgaard Dahlsen-Jensen | Baptiste Fievet | Laure Petrucci | Jaco van de Pol

Artifact Report: Trocq: Proof Transfer for Free, With or Without Univalence

BOOK CHAPTER published 2024 in Programming Languages and Systems

Authors: Cyril Cohen | Enzo Crance | Assia Mahboubi

Goblint: Abstract Interpretation for Memory Safety and Termination

BOOK CHAPTER published 2024 in Tools and Algorithms for the Construction and Analysis of Systems

Authors: Simmo Saan | Julian Erhard | Michael Schwarz | Stanimir Bozhilov | Karoliine Holter | Sarah Tilscher | Vesal Vojdani | Helmut Seidl

Fair $$omega $$-Regular Games

BOOK CHAPTER published 2024 in Lecture Notes in Computer Science

Authors: Daniel Hausmann | Nir Piterman | Irmak Sağlam | Anne-Kathrin Schmuck

CPAchecker 2.3 with Strategy Selection

BOOK CHAPTER published 2024 in Tools and Algorithms for the Construction and Analysis of Systems

Authors: Daniel Baier | Dirk Beyer | Po-Chun Chien | Marek Jankola | Matthias Kettl | Nian-Ze Lee | Thomas Lemberger | Marian Lingsch-Rosenfeld | Martin Spiessl | Henrik Wachowitz | Philipp Wendler

Witch  3: Validation of Violation Witnesses in the Witness Format 2.0

BOOK CHAPTER published 2024 in Tools and Algorithms for the Construction and Analysis of Systems

Authors: Paulína Ayaziová | Jan Strejček

Programming Languages and Systems

BOOK published 2024 in Lecture Notes in Computer Science

Editors: Stephanie Weirich

Intel PMDK Transactions: Specification, Validation and Concurrency

BOOK CHAPTER published 2024 in Programming Languages and Systems

Authors: Azalea Raad | Ori Lahav | John Wickerson | Piotr Balcer | Brijesh Dongol

Ackermannian Completion of Separators

BOOK CHAPTER published 2024 in Lecture Notes in Computer Science

Authors: Jérôme Leroux

Invariant-based Program Repair

BOOK CHAPTER published 2024 in Fundamental Approaches to Software Engineering

Authors: Omar I. Al-Bataineh

Single-Purpose Machines

BOOK CHAPTER published 2024 in Lecture Notes in Production Engineering

Authors: Christian Brecher | Manfred Weck