2008 |
10 | EE | Luigia Petre:
Energy-Aware Middleware.
ECBS 2008: 326-334 |
2006 |
9 | EE | Luigia Petre,
Kaisa Sere,
Marina A. Waldén:
A Language for Modeling Network Availability.
ICFEM 2006: 639-659 |
2002 |
8 | | Michael J. Butler,
Luigia Petre,
Kaisa Sere:
Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings
Springer 2002 |
2001 |
7 | | Ralph-Johan Back,
Luigia Petre,
Ivan Porres:
Continuous Action Systems as a Model for Hybrid Systems.
Nord. J. Comput. 8(1): 2-21 (2001) |
2000 |
6 | EE | Ralph-Johan Back,
Luigia Petre,
Ivan Porres:
Generalizing Action Systems to Hybrid Systems.
FTRTFT 2000: 202-213 |
5 | EE | Luigia Petre,
Kaisa Sere:
Developing Control Systems Components.
IFM 2000: 156-175 |
1999 |
4 | EE | Luigia Petre,
Kaisa Sere:
Coordination Among Mobile Objects.
COORDINATION 1999: 227-242 |
3 | | Luigia Petre,
Ralph-Johan Back,
Ivan Paltor:
Analysing UML Use Cases as Contracts.
UML 1999: 518-533 |
2 | EE | Luigia Petre,
Kaisa Sere,
Marina A. Waldén:
A topological approach to distributed computing.
Electr. Notes Theor. Comput. Sci. 28: (1999) |
1 | EE | Ion Petre,
Luigia Petre:
Mobile Ambients and P-Systems.
J. UCS 5(9): 588-598 (1999) |