Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Christopher Rauh

Model Checking Timed UML State Machines and Collaborations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Related publications

Model Checking for Probabilistic Timed Automata

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2012English

Specifying UML Protocol State Machines in Alloy

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Modeling the Dynamics of UML State Machines

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Symbolic Model Checking for Simply-Timed Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Ontology Based Semantics Checking for UML Activity Model

Information Technology Journal
2012English

Checking Experiments for Finite State Machines With Symbolic Inputs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

On Memory-Block Traversal Problems in Model Checking Timed Systems

BRICS Report Series
2000English

Validating Timed UML Models by Simulation and Verification

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2005English

Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy