Luigia Petre - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

Towards Sustainable Development of Energy-Aware SystemsLuigia Petre, Kaisa Sere. ijertcs, 1(2):45-60, 2010. [doi]

2008

Energy-Aware MiddlewareLuigia Petre. ECBS 2008: 326-334 [doi]

2006

A Language for Modeling Network AvailabilityLuigia Petre, Kaisa Sere, Marina A. Waldén. icfem 2006: 639-659 [doi]

2002

Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, ProceedingsMichael J. Butler, Luigia Petre, Kaisa Sere, editors, Volume 2335 of Lecture Notes in Computer Science, Springer, 2002.

2001

Continuous Action Systems as a Model for Hybrid SystemsRalph-Johan Back, Luigia Petre, Ivan Porres. njc, 8(1):2-21, 2001.

2000

Generalizing Action Systems to Hybrid SystemsRalph-Johan Back, Luigia Petre, Ivan Porres. ftrtft 2000: 202-213 [doi]

Developing Control Systems ComponentsLuigia Petre, Kaisa Sere. IFM 2000: 156-175 [doi]

1999