![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Luigia Petre
Person information
- affiliation: Åbo Akademi University, Finland
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [j13]Filip Morawski
, Michal Bejger
, Elena Cuoco
, Luigia Petre
:
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
, Luigia Petre, Ion Petre:
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
, Luigia Petre:
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
, Luigia Petre:
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
, Luigia Petre:
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
, Linas Laibinis, Luigia Petre, Kaisa Sere:
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
, Mikko Kolehmainen, Mats Neovius, Luigia Petre, Mauno Rönkkö, Petter Sandvik:
On Proving Recoverability of Smart Electrical Grids. NASA Formal Methods 2014: 77-91 - 2013
- [j6]Kristian Lumme, Luigia Petre, Petter Sandvik
, Kaisa Sere:
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
, Linas Laibinis, Luigia Petre, Kaisa Sere:
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
, Kaisa Sere:
Node Coordination in Peer-to-Peer Networks. COORDINATION 2012: 196-211 - [c13]Denisa Diaconescu, Ioana Leustean
, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu:
Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems. IFM 2012: 221-236 - 2011
- [c12]Maryam Kamali
, Luigia Petre, Kaisa Sere, Masoud Daneshtalab:
Formal Modeling of Multicast Communication in 3D NoCs. DSD 2011: 634-642 - [c11]Maryam Kamali
, Luigia Petre, Kaisa Sere, Masoud Daneshtalab
:
Refinement-Based Modeling of 3D NoCs. FSEN 2011: 236-252 - [c10]Maryam Kamali
, Luigia Petre, Kaisa Sere, Masoud Daneshtalab:
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
, Linas Laibinis, Luigia Petre, Kaisa Sere:
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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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 2024-04-24 23:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint