Stian Thorvaldsen

According to our database, Stian Thorvaldsen authored at least 3 papers between 2006 and 2009.

Collaborative distances:

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

2009

Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude.

Peter Csaba Ölveczky, Stian Thorvaldsen

Theor. Comput. Sci., 2009

2007

Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude.

Peter Csaba Ölveczky, Stian Thorvaldsen

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

2006

Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude.

Peter Csaba Ölveczky, Stian Thorvaldsen

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006