default search action
Luigia Petre
Person information
- affiliation: Åbo Akademi University, Finland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j14]Luigia Petre
, Ana Cavalcanti
Special Collection on Computer Science Education. Formal Aspects Comput. 37(1): 5:1-5:2 (2025) - 2021
- [j13]Filip Morawski
Anomaly detection in gravitational waves data using convolutional autoencoders. Mach. Learn. Sci. Technol. 2(4): 45014 (2021) - [c24]Luigia Petre
A Software Quality Course: The Breadth Approach. QUATIC 2021: 536-552 - [i1]Usman Sanwal, Thai Son Hoang
Towards Scalable Modeling of Biology in Event-B. CoRR abs/2105.10344 (2021) - 2020
- [j12]Luigia Petre, Usman Sanwal, Gohar Shah, Charmi Panchal, Dwitiya Tyagi, Ion Petre
A Computational Model for The Access to Medical Service in a Basic Prototype of a Healthcare System. Fundam. Informaticae 171(1-4): 331-343 (2020)
2010 – 2019
- 2019
- [e4]Brijesh Dongol, Luigia Petre, Graeme Smith:
Formal Methods Teaching - Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings. Lecture Notes in Computer Science 11758, Springer 2019, ISBN 978-3-030-32440-7 [contents] - 2017
- [j11]Usman Sanwal, Luigia Petre, Ion Petre
Stepwise construction of a metabolic network in Event-B: The heat shock response. Comput. Biol. Medicine 91: 1-12 (2017) - [c23]Mojgan Kamali, Luigia Petre:
Uppaal vs Event-B for Modelling Optimised Link State Routing. VECoS 2017: 189-203 - 2016
- [j10]Einar Broch Johnsen
Theme issue on Integrated Formal Methods. Softw. Syst. Model. 15(4): 933-935 (2016) - [c22]Mojgan Kamali, Luigia Petre:
Modelling Link State Routing in Event-B. ICECCS 2016: 207-210 - [e3]Luigia Petre, Emil Sekerinski:
From Action Systems to Distributed Systems - The Refinement Approach. Chapman and Hall/CRC 2016, ISBN 978-1-4987-0158-7 [contents] - 2015
- [j9]Michael J. Butler, Einar Broch Johnsen
Editorial. Formal Aspects Comput. 27(4): 611-612 (2015) - [c21]Mojgan Kamali, Luigia Petre:
Improved Recovery for Proactive, Distributed Routing. ICECCS 2015: 178-181 - [c20]Mojgan Kamali, Luigia Petre:
Comparing Routing Protocols. ICECCS 2015: 206-209 - [c19]Mojgan Kamali, Peter Höfner, Maryam Kamali
Formal Analysis of Proactive, Distributed Routing. SEFM 2015: 175-189 - [c18]Mats Neovius, Luigia Petre, Kaisa Sere:
A Theory of Service Dependency. Refine@FM 2015: 112-128 - 2014
- [j8]Luigia Petre, Elena Troubitsyna, Marina Waldén:
Kaisa Sere: In Memoriam. Formal Aspects Comput. 26(2): 197-201 (2014) - [j7]Maryam Kamali
Formal development of wireless sensor-actor networks. Sci. Comput. Program. 80: 25-49 (2014) - [c17]Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu:
Refinement of Structured Interactive Systems. ICTAC 2014: 133-150 - [c16]Seppo Horsmanheimo, Maryam Kamali
On Proving Recoverability of Smart Electrical Grids. NASA Formal Methods 2014: 77-91 - 2013
- [j6]Kristian Lumme, Luigia Petre, Petter Sandvik
A formal approach to H.264 video decoding on multicore systems. Int. J. Crit. Comput. Based Syst. 4(1): 3-26 (2013) - [j5]Maryam Kamali
A distributed design of a network recovery algorithm. Int. J. Crit. Comput. Based Syst. 4(1): 45-68 (2013) - [c15]Luigia Petre, Kaisa Sere:
Location-aware resource availability. HPCS 2013: 626 - [e2]Einar Broch Johnsen, Luigia Petre:
Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings. Lecture Notes in Computer Science 7940, Springer 2013, ISBN 978-3-642-38612-1 [contents] - 2012
- [j4]Marina Waldén, Luigia Petre:
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 81(3): 161 (2012) - [c14]Luigia Petre, Petter Sandvik
Node Coordination in Peer-to-Peer Networks. COORDINATION 2012: 196-211 - [c13]Denisa Diaconescu, Ioana Leustean
Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems. IFM 2012: 221-236 - 2011
- [c12]Maryam Kamali
Formal Modeling of Multicast Communication in 3D NoCs. DSD 2011: 634-642 - [c11]Maryam Kamali
Refinement-Based Modeling of 3D NoCs. FSEN 2011: 236-252 - [c10]Maryam Kamali
CorreComm: A formal hierarchical framework for communication designs. NESEA 2011: 1-7 - 2010
- [j3]Luigia Petre, Kaisa Sere:
Towards Sustainable Development of Energy-Aware Systems. Int. J. Embed. Real Time Commun. Syst. 1(2): 45-60 (2010) - [c9]Luigia Petre, Kaisa Sere, Leonidas Tsiopoulos
Model-Based Analysis Tools for Component Synthesis. FMCO 2010: 102-121 - [c8]Maryam Kamali
Self-Recovering Sensor-Actor Networks. FOCLASA 2010: 47-61
2000 – 2009
- 2008
- [c7]Luigia Petre:
Energy-Aware Middleware. ECBS 2008: 326-334 - 2006
- [c6]Luigia Petre, Kaisa Sere, Marina Waldén:
A Language for Modeling Network Availability. ICFEM 2006: 639-659 - 2002
- [e1]Michael J. Butler, Luigia Petre, Kaisa Sere:
Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings. Lecture Notes in Computer Science 2335, Springer 2002, ISBN 3-540-43703-7 [contents] - 2001
- [j2]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
- [c5]Ralph-Johan Back, Luigia Petre, Ivan Porres
Generalizing Action Systems to Hybrid Systems. FTRTFT 2000: 202-213 - [c4]Luigia Petre, Kaisa Sere:
Developing Control Systems Components. IFM 2000: 156-175
1990 – 1999
- 1999
- [j1]Ion Petre, Luigia Petre:
Mobile Ambients and P-Systems. J. Univers. Comput. Sci. 5(9): 588-598 (1999) - [c3]Luigia Petre, Kaisa Sere:
Coordination Among Mobile Objects. COORDINATION 1999: 227-242 - [c2]Luigia Petre, Ralph-Johan Back, Ivan Paltor
Analysing UML Use Cases as Contracts. UML 1999: 518-533 - [c1]Luigia Petre, Kaisa Sere, Marina Waldén:
A topological approach to distributed computing. WDS@FCT 1999: 59-80
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 21:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: