Luigia Petre - RankMe

43 papers B 8C 6Misc 1Journal 15Unranked 11

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Special Collection on Computer Science Education. Formal Aspects Comput. Luigia Petre, Ana Cavalcanti
2021	Misc	`conf`	A Software Quality Course: The Breadth Approach. QUATIC Luigia Petre
2021	J	`jnl`	Anomaly detection in gravitational waves data using convolutional autoencoders. Mach. Learn. Sci. Technol. Filip Morawski, Michal Bejger, Elena Cuoco, Luigia Petre
2021	J	`jnl`	Towards Scalable Modeling of Biology in Event-B. CoRR Usman Sanwal, Thai Son Hoang, Luigia Petre, Ion Petre
2020	J	`jnl`	A Computational Model for The Access to Medical Service in a Basic Prototype of a Healthcare System. Fundam. Informaticae Luigia Petre, Usman Sanwal, Gohar Shah, Charmi Panchal, Dwitiya Tyagi, Ion Petre
2019	—	`ed.`	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 FMTea Brijesh Dongol, Luigia Petre, Graeme Smith
2017	J	`jnl`	Stepwise construction of a metabolic network in Event-B: The heat shock response. Comput. Biol. Medicine Usman Sanwal, Luigia Petre, Ion Petre
2017	C	`conf`	Uppaal vs Event-B for Modelling Optimised Link State Routing. VECoS Mojgan Kamali, Luigia Petre
2016	—	`book`	From Action Systems to Distributed Systems - The Refinement Approach. Luigia Petre, Emil Sekerinski
2016	B	`conf`	Modelling Link State Routing in Event-B. ICECCS Mojgan Kamali, Luigia Petre
2016	J	`jnl`	Theme issue on Integrated Formal Methods. Softw. Syst. Model. Einar Broch Johnsen, Luigia Petre
2015	—	`conf`	A Theory of Service Dependency. Refine@FM Mats Neovius, Luigia Petre, Kaisa Sere
2015	B	`conf`	Comparing Routing Protocols. ICECCS Mojgan Kamali, Luigia Petre
2015	J	`jnl`	Editorial. Formal Aspects Comput. Michael J. Butler, Einar Broch Johnsen, Luigia Petre
2015	B	`conf`	Formal Analysis of Proactive, Distributed Routing. SEFM Mojgan Kamali, Peter Höfner, Maryam Kamali, Luigia Petre
2015	B	`conf`	Improved Recovery for Proactive, Distributed Routing. ICECCS Mojgan Kamali, Luigia Petre
2014	J	`jnl`	Formal development of wireless sensor-actor networks. Sci. Comput. Program. Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
2014	J	`jnl`	Kaisa Sere: In Memoriam. Formal Aspects Comput. Luigia Petre, Elena Troubitsyna, Marina Waldén
2014	—	`conf`	On Proving Recoverability of Smart Electrical Grids. NASA Formal Methods Seppo Horsmanheimo, Maryam Kamali, Mikko Kolehmainen, Mats Neovius, Luigia Petre, Mauno Rönkkö, Petter Sandvik
2014	C	`conf`	Refinement of Structured Interactive Systems. ICTAC Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu
2013	J	`jnl`	A distributed design of a network recovery algorithm. Int. J. Crit. Comput. Based Syst. Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
2013	J	`jnl`	A formal approach to H.264 video decoding on multicore systems. Int. J. Crit. Comput. Based Syst. Kristian Lumme, Luigia Petre, Petter Sandvik, Kaisa Sere
2013	B	`ed.`	Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings IFM Einar Broch Johnsen, Luigia Petre
2013	—	`conf`	Location-aware resource availability. HPCS Luigia Petre, Kaisa Sere
2012	J	`jnl`	Guest Editors' Foreword. J. Log. Algebraic Methods Program. Marina Waldén, Luigia Petre
2012	C	`conf`	Node Coordination in Peer-to-Peer Networks. COORDINATION Luigia Petre, Petter Sandvik, Kaisa Sere
2012	B	`conf`	Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems. IFM Denisa Diaconescu, Ioana Leustean, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu
2011	—	`conf`	CorreComm: A formal hierarchical framework for communication designs. NESEA Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab
2011	C	`conf`	Formal Modeling of Multicast Communication in 3D NoCs. DSD Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab
2011	—	`conf`	Refinement-Based Modeling of 3D NoCs. FSEN Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab
2010	—	`conf`	Model-Based Analysis Tools for Component Synthesis. FMCO Luigia Petre, Kaisa Sere, Leonidas Tsiopoulos
2010	—	`conf`	Self-Recovering Sensor-Actor Networks FOCLASA Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
2010	J	`jnl`	Towards Sustainable Development of Energy-Aware Systems. Int. J. Embed. Real Time Commun. Syst. Luigia Petre, Kaisa Sere
2008	—	`conf`	Energy-Aware Middleware. ECBS Luigia Petre
2006	C	`conf`	A Language for Modeling Network Availability. ICFEM Luigia Petre, Kaisa Sere, Marina Waldén
2002	B	`ed.`	Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings IFM Michael J. Butler, Luigia Petre, Kaisa Sere
2001	J	`jnl`	Continuous Action Systems as a Model for Hybrid Systems. Nord. J. Comput. Ralph-Johan Back, Luigia Petre, Ivan Porres
2000	B	`conf`	Developing Control Systems Components. IFM Luigia Petre, Kaisa Sere
2000	—	`conf`	Generalizing Action Systems to Hybrid Systems. FTRTFT Ralph-Johan Back, Luigia Petre, Ivan Porres
1999	—	`conf`	A topological approach to distributed computing. WDS@FCT Luigia Petre, Kaisa Sere, Marina Waldén
1999	—	`conf`	Analysing UML Use Cases as Contracts. UML Luigia Petre, Ralph-Johan Back, Ivan Paltor
1999	C	`conf`	Coordination Among Mobile Objects. COORDINATION Luigia Petre, Kaisa Sere
1999	J	`jnl`	Mobile Ambients and P-Systems. J. Univers. Comput. Sci. Ion Petre, Luigia Petre