Tool support for the rapid composition, analysis and implementation of reactive services FA Kraemer, V Slåtten, P Herrmann Journal of Systems and Software 82 (12), 2068-2080, 2009 | 89 | 2009 |
Engineering Support for UML Activities by Automated Model-Checking—An Example FA Kraemer, V Slåtten, P Herrmann Proceedings of the 4th International Workshop on Rapid Integration of …, 2007 | 23 | 2007 |
Model-Driven Construction of Embedded Applications based on Reusable Building Blocks–An Example FA Kraemer, V Slåtten, P Herrmann SDL 2009: Design for Motes and Mobiles: 14th International SDL Forum Bochum …, 2009 | 16 | 2009 |
Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study V Slåtten, FA Kraemer, P Herrmann Proceedings of the 10th ACM international conference on Generative …, 2011 | 12 | 2011 |
Model-driven engineering of reliable fault-tolerant systems—a state-of-the-art survey V Slåtten, P Herrmann, FA Kraemer Advances in Computers 91, 119-205, 2013 | 10 | 2013 |
Model checking collaborative service specifications in TLA with TLC V Slåtten Project Thesis, Norwegian University of Science and Technology, Trondheim …, 2007 | 10 | 2007 |
Modeling a distributed intrusion detection system using collaborative building blocks LA Gunawan, M Vogel, FA Kraemer, S Schmerl, V Slåtten, P Herrmann, ... ACM SIGSOFT Software Engineering Notes 36 (1), 1-8, 2011 | 6 | 2011 |
Automatic Detection and Correction of Flaws in Service Specifications V Slåtten Institutt for telematikk, 2008 | 6 | 2008 |
Contracts for multi-instance UML activities V Slåtten, P Herrmann International Conference on Formal Methods for Open Object-Based Distributed …, 2011 | 5 | 2011 |
Model-Driven Engineering of Dependable Systems V Slåtten 2010 Third International Conference on Software Testing, Verification and …, 2010 | 4 | 2010 |
Towards a model-driven method for reliable applications: from ideal to realistic transmission semantics V Slåtten, FA Kraemer, P Herrmann Proceedings of the 2nd International Workshop on Software Engineering for …, 2010 | 3 | 2010 |
Towards Model-Driven Engineering of Reliable Systems: Developing Fault-Tolerant Systems using Scalable Verification V Slåtten Norges teknisk-naturvitenskapelige universitet, Fakultet for …, 2014 | | 2014 |