Vidar Slåtten
According to our database1,
Vidar Slåtten
authored at least 9 papers
between 2009 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
2009
2010
2011
2012
2013
2014
0
1
2
3
4
1
1
1
2
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
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
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
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