Andreas Rasmusson

According to our database, Andreas Rasmusson authored at least 5 papers between 1997 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Formal Verification in Automotive Industry: Enablers and Obstacles.

Mattias Nyberg, Dilian Gurov, Christian Lidström, Andreas Rasmusson, Jonas Westman

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Virtualized-Fault Injection Testing: A Machine Learning Approach.

Hojat Khosrowjerdi, Karl Meinke, Andreas Rasmusson

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

2017

Learning-Based Testing for Safety Critical Automotive Applications.

Hojat Khosrowjerdi, Karl Meinke, Andreas Rasmusson

Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

1998

A Virrtual Community Library: SICS Digital Library Infrastructure Project.

Andreas Rasmusson, Tomas Olsson, Preben Hansen

Proceedings of the Research and Advanced Technology for Digital Libraries, 1998

1997

Using Agents to Secure the Internet Marketplace Reactive Security and Social Control.

Lars Rasmusson, Andreas Rasmusson, Sverker Janson

Proceedings of the Second International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, 1997