| |
| 2009 | ||
|---|---|---|
| 3 | EE | Peter Csaba Ölveczky, Stian Thorvaldsen: Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude. Theor. Comput. Sci. 410(2-3): 254-280 (2009) |
| 2007 | ||
| 2 | EE | Peter Csaba Ölveczky, Stian Thorvaldsen: Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude. FMOODS 2007: 122-140 |
| 2006 | ||
| 1 | EE | Peter Csaba Ölveczky, Stian Thorvaldsen: Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude. IPDPS 2006 |
| 1 | Peter Csaba Ölveczky | [1] [2] [3] |