UB Paderborn / Katalog / Suche / in CDI

Sequential and Parallel Algorithms for the State Space Exploration

Cybernetics and information technologies : CIT, 2016-03, Vol.16 (1), p.3-18

2016

Volltextzugriff (PDF)

Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation

Model Driven Engineering Languages and Systems, 2009, p.438-452

2009

Volltextzugriff (PDF)

Context-aware approach for formal verification

EAI endorsed transactions on context-aware systems and applications., 2016-02, Vol.3 (7), p.151085-10

2016

Volltextzugriff (PDF)

Unified verification and monitoring of executable UML specifications

Software and systems modeling, 2021-12, Vol.20 (6), p.1825-1855

2021

Volltextzugriff (PDF)

Context-Aware Verification of a Cruise-Control System

Model and Data Engineering, 2014, p.53-64

2014

Volltextzugriff (PDF)

Unified verification and monitoring of executable UML specifications: A transformation-free approach

Software and systems modeling, 2021-12, Vol.20 (6), p.1825-1855

2021

Volltextzugriff (PDF)

Environment-driven reachability for timed systems: Safety verification of an aircraft landing gear system

International journal on software tools for technology transfer, 2017-04, Vol.19 (2), p.229-245

2017

Volltextzugriff (PDF)

Environment-driven reachability for timed systems

International journal on software tools for technology transfer, 2017-04, Vol.19 (2), p.229-245

2017

Volltextzugriff (PDF)

Data Management Mechanisms for Internet of Things: A Position Paper

2019 International Conference on Computational Science and Computational Intelligence (CSCI), 2019, p.1214-1219

2019

Volltextzugriff (PDF)

Domain-Oriented Verification Management

Model and Data Engineering, p.354-370

Volltextzugriff (PDF)

An Automated Transformation Approach for Requirement Specification

Procedia computer science, 2016, Vol.91, p.891-900

2016

Volltextzugriff (PDF)

A Transformation Approach for Multiform Time Requirements

Software Engineering and Formal Methods, p.16-30

Volltextzugriff (PDF)

Towards Distributed Solution to the State Explosion Problem

Information Systems Design and Intelligent Applications, 2016, Vol.433, p.541-550

2016

Volltextzugriff (PDF)

Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis

Software testing, verification & reliability, 2016-11, Vol.26 (7), p.516-542

2016

Volltextzugriff (PDF)

Using Parallel and Distributed Reachability in Model Checking

Ambient Communications and Computer Systems, p.143-154

Volltextzugriff (PDF)

A Parallel Algorithm for the State Space Exploration

Scalable Computing. Practice and Experience, 2016-09, Vol.17 (2), p.129-141

2016

Volltextzugriff (PDF)

Embedded UML Model Execution to Bridge the Gap Between Design and Runtime

Software Technologies: Applications and Foundations, p.519-528

Volltextzugriff (PDF)

Context-Aware Verification of a Landing Gear System

ABZ 2014: The Landing Gear Case Study, p.52-65

Volltextzugriff (PDF)

An Organizing System to Perform and Enable Verification and Diagnosis Activities

Intelligent Data Engineering and Automated Learning - IDEAL 2016, 2016, Vol.9937, p.576-587

2016

Volltextzugriff (PDF)

Reducing State Explosion with Context Modeling for Model-Checking

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering, 2011, p.130-137

2011

Volltextzugriff (PDF)

Use Cases Modeling for Scalable Model-Checking

2011 18th Asia-Pacific Software Engineering Conference, 2011, p.65-72

2011

Volltextzugriff (PDF)

A Diagnosis Framework for Critical Systems Verification (Short Paper)

Software Engineering and Formal Methods, 2017, Vol.10469, p.394-400

2017

Volltextzugriff (PDF)

A Problem-Oriented Approach to Critical System Design and Diagnosis Support

New Trends in Model and Data Engineering, p.30-39

Volltextzugriff (PDF)

Use Cases for Context Aware Model-Checking

Models in Software Engineering, p.202-216

Volltextzugriff (PDF)

Proposed Algorithms to the State Explosion Problem

Smart Trends in Information Technology and Computer Communications, 2016, Vol.628, p.211-217

2016

Volltextzugriff (PDF)

Menü

Weitere Dienste

Einstellungen

Sequential and Parallel Algorithms for the State Space Exploration

Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation

Context-aware approach for formal verification

Unified verification and monitoring of executable UML specifications

Context-Aware Verification of a Cruise-Control System

Unified verification and monitoring of executable UML specifications: A transformation-free approach

Environment-driven reachability for timed systems: Safety verification of an aircraft landing gear system

Environment-driven reachability for timed systems

Data Management Mechanisms for Internet of Things: A Position Paper

Domain-Oriented Verification Management

An Automated Transformation Approach for Requirement Specification

A Transformation Approach for Multiform Time Requirements

Towards Distributed Solution to the State Explosion Problem

Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis

Using Parallel and Distributed Reachability in Model Checking

A Parallel Algorithm for the State Space Exploration

Embedded UML Model Execution to Bridge the Gap Between Design and Runtime

Context-Aware Verification of a Landing Gear System

An Organizing System to Perform and Enable Verification and Diagnosis Activities

Reducing State Explosion with Context Modeling for Model-Checking

Use Cases Modeling for Scalable Model-Checking

A Diagnosis Framework for Critical Systems Verification (Short Paper)

A Problem-Oriented Approach to Critical System Design and Diagnosis Support

Use Cases for Context Aware Model-Checking

Proposed Algorithms to the State Explosion Problem

Suchergebnisse filtern