Luigia Petre – Julkaisut — Åbo Akademi

Sähköpostiluigia.petreabofi

Julkaisut ja projektit vuosittain

37 Konferenssiartikkeli
22 Tutkimusraportti
15 Artikkeli
8 Antologia/toimitettu lehti
Lisää

22 tulosta

Suodatin

2016

Modelling Link State Routing in Event-B
Kamali, M. & Petre, L., 2016, Turku Centre for Computer Science (TUCS).
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Uppaal vs Event-B for Modelling Optimised Link State Routing
Kamali, M. & Petre, L., 2016, Turku Centre for Computer Science (TUCS).
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
2015

Improved Recovery for Proactive, Distributed Routing
Kamali, M. & Petre, L., 2015, Turku Centre for Computer Science (TUCS).
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
2014

Formally Analyzing Proactive, Distributed Routing
Kamali, M., Kamali, M. & Petre, L., 2014, Turku Centre for Computer Science (TUCS).
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
2013

Programming by Construction
Rönkkö, M., Stocker, M., Neovius, M., Kolehmainen, M. & Petre, L., 2013, Turku Centre for Computer Science (TUCS).
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
2012

A Modular Approach to Formal Modelling of Peer-to-Peer Networks
Petre, L., Sandvik, P. & Sere, K., 2012, Turku Centre for Computer Science (TUCS).
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Synchronization in Timed Interactive Systems
Gramatovici, R., Petre, L., Sere, K., Stefanescu, A. & Stefanescu, G., 2012, Turku Centre for Computer Science.
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
2009

Ensuring Correctness of Network Services with MIDAS
Petre, L., Sere, K. & Waldén, M., 2009, Turku Centre for Computer Science.
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
2006
A Language for Modeling Network Availability
Petre, L., Sere, K. & Walden, M., 2006, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; Vuosikerta 752)
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

Open access
Tiedosto
28 Lataukset (Pure)
A Language for Modeling Network Availability
Petre, L., Sere, K. & Walden, M., 2006, Turku Centre for Computer Science.
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
2002

Developing Control Systems: A Method and a Case Study
Petre, L., 2002, Turku Centre for Computer Science.
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
2001
A methodology for co-design based on a healthcare case study
Petre, L., Rönkkö, M., Troubitsyna, E., Walden, M. & Jansson, M., 2001, Turku Centre for Computer Science (TUCS). (TUCS Technical Reports; Vuosikerta 437)
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

Open access
Tiedosto
21 Lataukset (Pure)
A Methodology for integration of formal methods in a healthcare case study
Petre, L., Troubitsyna, E., Walden, M., Boström, P., Engblom, N. & Jansson, M., 2001, Turku Centre for Computer Science (TUCS). 64 Sivumäärä (TUCS Technical Reports; Vuosikerta 436)
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

Open access
Tiedosto
30 Lataukset (Pure)
2000

Components vs. Objects
Petre, L., 2000, Turku Centre for Computer Science.
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Mobile Components as Topological Action Systems
Petre, L. & Walden, M., 2000, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; Vuosikerta 366)
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

Open access
Tiedosto
26 Lataukset (Pure)
Mobile Components as Topological Action Systems
Petre, L. & Waldén, M., 2000, Turku Centre for Computer Science.
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
1999
A Topological Approach to Distributed Computing
Petre, L., Sere, K. & Walden, M., 1999, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; Vuosikerta 289)
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

Open access
Tiedosto
18 Lataukset (Pure)
Distributed Object-Based Control Systems
Petre, L., Qvist, M. & Sere, K., 1999, Turku Centre for Computer Science.
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Formalising UML Use Cases in the Refinement Calculus
Back, R.-J., Petre, L. & Porres Paltor, I., 1999, Turku Centre for Computer Science.
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Generalizing Action Systems to Hybrid Systems
Back, R.-J., Petre, L. & Porres Paltor, I., 1999, Turku Centre for Computer Science.
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Mobile Ambients and P-Systems
Petre, I. & Petre, L., 1999, Turku Centre for Computer Science.
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
1998

Coordination Among Mobile Objects
Petre, L. & Sere, K., 1998, Turku Centre for Computer Science.
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen