Luigia Petre - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Luigia Petre' as author, editor, or advisor:

Continuous Action Systems as a Model for Hybrid SystemsRalph-Johan Back, Luigia Petre, Ivan Porres. njc, 8(1):2-21, 2001.
Location-aware resource availabilityLuigia Petre, Kaisa Sere. hpcs 2013: 626 [doi]
A Software Quality Course: The Breadth ApproachLuigia Petre. quatic 2021: 536-552 [doi]
Generalizing Action Systems to Hybrid SystemsRalph-Johan Back, Luigia Petre, Ivan Porres. ftrtft 2000: 202-213 [doi]
Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. ProceedingsEinar Broch Johnsen, Luigia Petre, editors, Volume 7940 of Lecture Notes in Computer Science, Springer, 2013. [doi]
Model-Based Analysis Tools for Component SynthesisLuigia Petre, Kaisa Sere, Leonidas Tsiopoulos. FMCO 2012: 102-121 [doi]
A Computational Model for The Access to Medical Service in a Basic Prototype of a Healthcare SystemLuigia Petre, Usman Sanwal, Gohar Shah, Charmi Panchal, Dwitiya Tyagi, Ion Petre. FUIN, 171(1-4):331-343, 2020. [doi]
Refinement-Preserving Translation from Event-B to Register-Voice Interactive SystemsDenisa Diaconescu, Ioana Leustean, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu. IFM 2012: 221-236 [doi]
A distributed design of a network recovery algorithmMaryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere. ijccbs, 4(1):45-68, 2013. [doi]
From Action Systems to Distributed Systems - The Refinement ApproachLuigia Petre, Emil Sekerinski, editors, Chapman and Hall/CRC, 2016. [doi]
On Proving Recoverability of Smart Electrical GridsSeppo Horsmanheimo, Maryam Kamali, Mikko Kolehmainen, Mats Neovius, Luigia Petre, Mauno Rönkkö, Petter Sandvik. NFM 2014: 77-91 [doi]
Developing Control Systems ComponentsLuigia Petre, Kaisa Sere. IFM 2000: 156-175 [doi]
Uppaal vs Event-B for Modelling Optimised Link State RoutingMojgan Kamali, Luigia Petre. vecos 2017: 189-203 [doi]
Refinement of Structured Interactive SystemsDenisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu. ictac 2014: 133-150 [doi]
Analysing UML Use Cases as ContractsLuigia Petre, Ralph-Johan Back, Ivan Paltor. uml 1999: 518-533
Stepwise construction of a metabolic network in Event-B: The heat shock responseUsman Sanwal, Luigia Petre, Ion Petre. cbm, 91:1-12, 2017. [doi]
Improved Recovery for Proactive, Distributed RoutingMojgan Kamali, Luigia Petre. ICECCS 2015: 178-181 [doi]
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, ProceedingsBrijesh Dongol, Luigia Petre, Graeme Smith, editors, Volume 11758 of Lecture Notes in Computer Science, Springer, 2019. [doi]
Comparing Routing ProtocolsMojgan Kamali, Luigia Petre. ICECCS 2015: 206-209 [doi]
EditorialMichael J. Butler, Einar Broch Johnsen, Luigia Petre. fac, 27(4):611-612, 2015. [doi]
Modelling Link State Routing in Event-BMojgan Kamali, Luigia Petre. ICECCS 2016: 207-210 [doi]
A Language for Modeling Network AvailabilityLuigia Petre, Kaisa Sere, Marina A. Waldén. icfem 2006: 639-659 [doi]
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.
Energy-Aware MiddlewareLuigia Petre. ECBS 2008: 326-334 [doi]
Node Coordination in Peer-to-Peer NetworksLuigia Petre, Petter Sandvik, Kaisa Sere. coordination 2012: 196-211 [doi]
Mobile Ambients and P-SystemsIon Petre, Luigia Petre. jucs, 5(9):588-598, 1999. [doi]
Formal development of wireless sensor-actor networksMaryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere. SCP, 80:25-49, 2014. [doi]
Theme issue on Integrated Formal MethodsEinar Broch Johnsen, Luigia Petre. SoSyM, 15(4):933-935, 2016. [doi]
Towards Sustainable Development of Energy-Aware SystemsLuigia Petre, Kaisa Sere. ijertcs, 1(2):45-60, 2010. [doi]
Location-aware resource availabilityLuigia Petre, Kaisa Sere. ieeehpcs 2013: 626 [doi]
A formal approach to H.264 video decoding on multicore systemsKristian Lumme, Luigia Petre, Petter Sandvik, Kaisa Sere. ijccbs, 4(1):3-26, 2013. [doi]
Refinement-Based Modeling of 3D NoCsMaryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab. fsen 2012: 236-252 [doi]
Kaisa Sere: In MemoriamLuigia Petre, Elena Troubitsyna, Marina A. Waldén. fac, 26(2):197-201, 2014. [doi]
Coordination Among Mobile ObjectsLuigia Petre, Kaisa Sere. coordination 1999: 227-242 [doi]
Guest Editors' ForewordMarina A. Waldén, Luigia Petre. jlp, 81(3):161, 2012. [doi]
Formal Analysis of Proactive, Distributed RoutingMojgan Kamali, Peter Höfner, Maryam Kamali, Luigia Petre. SEFM 2015: 175-189 [doi]
CorreComm: A formal hierarchical framework for communication designsMaryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab. nesea 2011: 1-7 [doi]
A topological approach to distributed computingLuigia Petre, Kaisa Sere, Marina A. Waldén. ENTCS, 28:59-80, 1999. [doi]
Formal Modeling of Multicast Communication in 3D NoCsMaryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab. dsd 2011: 634-642 [doi]
Anomaly detection in gravitational waves data using convolutional autoencodersFilip Morawski, Michal Bejger, Elena Cuoco, Luigia Petre. mlst, 2(4):45014, 2021. [doi]

runs on WebDSL