8 citations
- Centre National de la Recherche ScientifiqueFR4 papers
- Masaryk UniversityCZ2 papers
- University of BirminghamGB2 papers
- University of OxfordGB2 papers
- Aalborg UniversityDK1 paper
- Aarhus UniversityDK1 paper
- Bar-Ilan UniversityIL1 paper
- Boğaziçi UniversityTR1 paper
- Chalmers University of TechnologySE1 paper
- College of CharlestonUS1 paper
- Czech Academy of Sciences, Institute of MathematicsCZ1 paper
- Czech Academy of Sciences, Institute of SociologyCZ1 paper
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing
Davide Basile
Recently, a distributed middleware application called contract automata runtime environment (CARE) has been introduced to realise service applications specified using a dialect of…
cs.SE2026★ 1 cited
Using weakest application conditions to rank graph transformations for graph repair
Lars Fritsche, Alexander Lauer, Maximilian Kratz +2
When using graphs and graph transformations to model systems, consistency is an important concern. While consistency has primarily been viewed as a binary property, i.e., a graph i…