Davor Slutej

According to our database, Davor Slutej authored at least 3 papers between 2008 and 2010.

Collaborative distances:

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

2010

Content Aggregation; Visualization and Emergent Properties in Computer Simulations.

Gordana Dodig Crnkovic, Juan M. Durán, Davor Slutej

Proceedings of SIGRAD 2010: Content aggregation and visualization, 2010

2009

Analyzing a Pattern-Based Model of a Real-Time Turntable System.

Davor Slutej, John Håkansson, Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson

Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures, 2009

2008

Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT.

John Håkansson, Jan Carlson, Aurelien Monot, Paul Pettersson, Davor Slutej

Proceedings of the Automated Technology for Verification and Analysis, 2008