Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Matthias Brill

Automatic Synthesis of Assumptions for Compositional Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Related publications

Induction in Compositional Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Model Checking With Fairness Assumptions Using PAT

Frontiers of Computer Science
Computer ScienceTheoretical Computer Science
2013English

Assumptions and Guarantees for Compositional Noninterference

2011English

Compositional Entailment Checking for a Fragment of Separation Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Automatic Assumptions of Automaticity.

American Psychologist
MedicinePsychology
2000English

Automatic Refinement Checking for B

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Compositional Invariant Checking for Overlaid and Nested Linked Lists

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Automatic Generation of Model Checking Scripts Based on Environment Modeling

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy