Vidar Slåtten

发表

Model-Driven Engineering of Dependable Systems

Vidar Slåtten, 2010, 2010 Third International Conference on Software Testing, Verification and Validation.

Towards Model-Driven Engineering of Reliable Systems: Developing Fault-Tolerant Systems using Scalable Verification

Vidar Slåtten, Vidar Slåtten, 2014 .

Automatic Detection and Correction of Flaws in Service Specifications

Vidar Slåtten, 2008 .

Modeling a distributed intrusion detection system using collaborative building blocks

Vidar Slåtten, Peter Herrmann, Hartmut König, 2011, SOEN.

Contracts for Multi-instance UML Activities

Vidar Slåtten, Peter Herrmann, 2011, FMOODS/FORTE.

Model-Driven Construction of Embedded Applications Based on Reusable Building Blocks - An Example

Vidar Slåtten, Peter Herrmann, Frank Alexander Kraemer, 2009, SDL Forum.

Model-Driven Engineering of Reliable Fault-Tolerant Systems - A State-of-the-Art Survey

Vidar Slåtten, Peter Herrmann, Frank Alexander Kraemer, 2013, Adv. Comput..

Tool support for the rapid composition, analysis and implementation of reactive services

Vidar Slåtten, Peter Herrmann, Frank Alexander Kraemer, 2009, J. Syst. Softw..

Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study

Vidar Slåtten, Peter Herrmann, Frank Alexander Kraemer, 2011, GPCE '11.

ENGINEERING SUPPORT FOR UML ACTIVITIES BY AUTOMATED MODEL-CHECKING | AN EXAMPLE

Vidar Slåtten, Peter Herrmann, Frank Alexander Kraemer, 2007 .

379 Performance Optimizations for TTI RTM on GPU based Hybrid Architectures

Vidar Slåtten, Ankur Narang, Michael Perrone, 2013 .