Knut Eilif Husa

According to our database, Knut Eilif Husa authored at least 6 papers between 2003 and 2016.

Collaborative distances:

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

2016

ThingML: a language and code generation framework for heterogeneous targets.

Nicolas Harrand, Franck Fleurey, Brice Morin, Knut Eilif Husa

Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

A Generative Middleware for Heterogeneous and Distributed Services.

Brice Morin, Franck Fleurey, Knut Eilif Husa, Olivier Barais

Proceedings of the 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2016

2006

A Conceptual Model for Service Availability.

Judith E. Y. Rossebeø, Mass Soldal Lund, Knut Eilif Husa, Atle Refsdal

Proceedings of the Quality of Protection - Security Measurements and Metrics, 2006

2005

STAIRS towards formal design with sequence diagrams.

Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen

Softw. Syst. Model., 2005

Specification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams.

Atle Refsdal, Knut Eilif Husa, Ketil Stølen

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

2003

Why Timed Sequence Diagrams Require Three-Event Semantics.

Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen

Proceedings of the Scenarios: Models, 2003