Vidar Slåtten

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Fault Tolerance

Model Driven Engineering

Top Venues

Norwegian University of Science and Technology, Trondheim, Norway (PHD)

Education History

Norwegian University of Science and Technology, Trondheim, Norway

PHD

Publications

Vidar Slåtten, Peter Herrmann, Frank Alexander Kraemer
Model-Driven Engineering of Reliable Fault-Tolerant Systems - A State-of-the-Art Survey. Adv. Comput. 91 (2013)
Vidar Slåtten, Peter Herrmann
Contracts for Multi-instance UML Activities. FMOODS/FORTE (2011)
Linda Ariani Gunawan, Michael Vogel, Frank Alexander Kraemer, Sebastian Schmerl, Vidar Slåtten, Peter Herrmann, Hartmut König
Modeling a distributed intrusion detection system using collaborative building blocks. ACM SIGSOFT Softw. Eng. Notes 36 (1) (2011)
Vidar Slåtten, Frank Alexander Kraemer, Peter Herrmann
Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study. GPCE (2011)
Vidar Slåtten, Frank Alexander Kraemer, Peter Herrmann
Towards a model-driven method for reliable applications: from ideal to realistic transmission semantics. SERENE (2010)
Vidar Slåtten
Model-Driven Engineering of Dependable Systems. ICST (2010)
Frank Alexander Kraemer, Vidar Slåtten, Peter Herrmann
Model-Driven Construction of Embedded Applications Based on Reusable Building Blocks - An Example. SDL Forum (2009)
Frank Alexander Kraemer, Vidar Slåtten, Peter Herrmann
Tool support for the rapid composition, analysis and implementation of reactive services. J. Syst. Softw. 82 (12) (2009)