Vidar Slåtten

According to our database1, Vidar Slåtten authored at least 9 papers between 2009 and 2014.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Towards Model-Driven Engineering of Reliable Systems: Developing Fault-Tolerant Systems using Scalable Verification.
PhD thesis, 2014

2013
Model-Driven Engineering of Reliable Fault-Tolerant Systems - A State-of-the-Art Survey.
Adv. Comput., 2013

2011
Modeling a distributed intrusion detection system using collaborative building blocks.
ACM SIGSOFT Softw. Eng. Notes, 2011

Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study.
Proceedings of the Generative Programming And Component Engineering, 2011

Contracts for Multi-instance UML Activities.
Proceedings of the Formal Techniques for Distributed Systems, 2011

2010
Towards a model-driven method for reliable applications: from ideal to realistic transmission semantics.
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, 2010

Model-Driven Engineering of Dependable Systems.
Proceedings of the Third International Conference on Software Testing, 2010

2009
Tool support for the rapid composition, analysis and implementation of reactive services.
J. Syst. Softw., 2009

Model-Driven Construction of Embedded Applications Based on Reusable Building Blocks - An Example.
Proceedings of the SDL 2009: Design for Motes and Mobiles, 2009


  Loading...