BibTeX records: Luigia Petre

download as .bib file

@article{DBLP:journals/mlst/MorawskiBCP21,
  author       = {Filip Morawski and
                  Michal Bejger and
                  Elena Cuoco and
                  Luigia Petre},
  title        = {Anomaly detection in gravitational waves data using convolutional
                  autoencoders},
  journal      = {Mach. Learn. Sci. Technol.},
  volume       = {2},
  number       = {4},
  pages        = {45014},
  year         = {2021},
  url          = {https://doi.org/10.1088/2632-2153/abf3d0},
  doi          = {10.1088/2632-2153/ABF3D0},
  timestamp    = {Mon, 26 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlst/MorawskiBCP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/Petre21,
  author       = {Luigia Petre},
  editor       = {Ana C. R. Paiva and
                  Ana Rosa Cavalli and
                  Paula Ventura Martins and
                  Ricardo P{\'{e}}rez{-}Castillo},
  title        = {A Software Quality Course: The Breadth Approach},
  booktitle    = {Quality of Information and Communications Technology - 14th International
                  Conference, {QUATIC} 2021, Algarve, Portugal, September 8-11, 2021,
                  Proceedings},
  series       = {Communications in Computer and Information Science},
  volume       = {1439},
  pages        = {536--552},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-85347-1\_38},
  doi          = {10.1007/978-3-030-85347-1\_38},
  timestamp    = {Thu, 16 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/quatic/Petre21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-10344,
  author       = {Usman Sanwal and
                  Thai Son Hoang and
                  Luigia Petre and
                  Ion Petre},
  title        = {Towards Scalable Modeling of Biology in Event-B},
  journal      = {CoRR},
  volume       = {abs/2105.10344},
  year         = {2021},
  url          = {https://arxiv.org/abs/2105.10344},
  eprinttype    = {arXiv},
  eprint       = {2105.10344},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2105-10344.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/PetreSSPTP20,
  author       = {Luigia Petre and
                  Usman Sanwal and
                  Gohar Shah and
                  Charmi Panchal and
                  Dwitiya Tyagi and
                  Ion Petre},
  title        = {A Computational Model for The Access to Medical Service in a Basic
                  Prototype of a Healthcare System},
  journal      = {Fundam. Informaticae},
  volume       = {171},
  number       = {1-4},
  pages        = {331--343},
  year         = {2020},
  url          = {https://doi.org/10.3233/FI-2020-1886},
  doi          = {10.3233/FI-2020-1886},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/PetreSSPTP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tfm/2019,
  editor       = {Brijesh Dongol and
                  Luigia Petre and
                  Graeme Smith},
  title        = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {11758},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32441-4},
  doi          = {10.1007/978-3-030-32441-4},
  isbn         = {978-3-030-32440-7},
  timestamp    = {Thu, 07 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tfm/2019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cbm/SanwalPP17,
  author       = {Usman Sanwal and
                  Luigia Petre and
                  Ion Petre},
  title        = {Stepwise construction of a metabolic network in Event-B: The heat
                  shock response},
  journal      = {Comput. Biol. Medicine},
  volume       = {91},
  pages        = {1--12},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.compbiomed.2017.09.021},
  doi          = {10.1016/J.COMPBIOMED.2017.09.021},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cbm/SanwalPP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/KamaliP17,
  author       = {Mojgan Kamali and
                  Luigia Petre},
  editor       = {Kamel Barkaoui and
                  Hanifa Boucheneb and
                  Ali Mili and
                  Sofi{\`{e}}ne Tahar},
  title        = {Uppaal vs Event-B for Modelling Optimised Link State Routing},
  booktitle    = {Verification and Evaluation of Computer and Communication Systems
                  - 11th International Conference, VECoS 2017, Montreal, QC, Canada,
                  August 24-25, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10466},
  pages        = {189--203},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66176-6\_13},
  doi          = {10.1007/978-3-319-66176-6\_13},
  timestamp    = {Wed, 31 Jan 2024 20:36:03 +0100},
  biburl       = {https://dblp.org/rec/conf/vecos/KamaliP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/JohnsenP16,
  author       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {Theme issue on Integrated Formal Methods},
  journal      = {Softw. Syst. Model.},
  volume       = {15},
  number       = {4},
  pages        = {933--935},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10270-015-0510-0},
  doi          = {10.1007/S10270-015-0510-0},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/JohnsenP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/KamaliP16,
  author       = {Mojgan Kamali and
                  Luigia Petre},
  editor       = {Hai Wang and
                  Mounir Mokhtari},
  title        = {Modelling Link State Routing in Event-B},
  booktitle    = {21st International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2016, Dubai, United Arab Emirates, November 6-8, 2016},
  pages        = {207--210},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICECCS.2016.035},
  doi          = {10.1109/ICECCS.2016.035},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/KamaliP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/crc/asds2016,
  editor       = {Luigia Petre and
                  Emil Sekerinski},
  title        = {From Action Systems to Distributed Systems - The Refinement Approach},
  publisher    = {Chapman and Hall/CRC},
  year         = {2016},
  url          = {https://doi.org/10.1201/b20053},
  doi          = {10.1201/B20053},
  isbn         = {978-1-4987-0158-7},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/crc/asds2016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ButlerJP15,
  author       = {Michael J. Butler and
                  Einar Broch Johnsen and
                  Luigia Petre},
  title        = {Editorial},
  journal      = {Formal Aspects Comput.},
  volume       = {27},
  number       = {4},
  pages        = {611--612},
  year         = {2015},
  url          = {https://doi.org/10.1007/s00165-015-0338-y},
  doi          = {10.1007/S00165-015-0338-Y},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/ButlerJP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/KamaliP15,
  author       = {Mojgan Kamali and
                  Luigia Petre},
  title        = {Improved Recovery for Proactive, Distributed Routing},
  booktitle    = {20th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2015, Gold Coast, Australia, December 9-12, 2015},
  pages        = {178--181},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ICECCS.2015.27},
  doi          = {10.1109/ICECCS.2015.27},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/KamaliP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/KamaliP15a,
  author       = {Mojgan Kamali and
                  Luigia Petre},
  title        = {Comparing Routing Protocols},
  booktitle    = {20th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2015, Gold Coast, Australia, December 9-12, 2015},
  pages        = {206--209},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ICECCS.2015.37},
  doi          = {10.1109/ICECCS.2015.37},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/KamaliP15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/KamaliHKP15,
  author       = {Mojgan Kamali and
                  Peter H{\"{o}}fner and
                  Maryam Kamali and
                  Luigia Petre},
  editor       = {Radu Calinescu and
                  Bernhard Rumpe},
  title        = {Formal Analysis of Proactive, Distributed Routing},
  booktitle    = {Software Engineering and Formal Methods - 13th International Conference,
                  {SEFM} 2015, York, UK, September 7-11, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9276},
  pages        = {175--189},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-22969-0\_13},
  doi          = {10.1007/978-3-319-22969-0\_13},
  timestamp    = {Sat, 30 Sep 2023 09:56:03 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/KamaliHKP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/NeoviusPS16,
  author       = {Mats Neovius and
                  Luigia Petre and
                  Kaisa Sere},
  editor       = {John Derrick and
                  Eerke A. Boiten and
                  Steve Reeves},
  title        = {A Theory of Service Dependency},
  booktitle    = {Proceedings 17th International Workshop on Refinement, Refine@FM 2015,
                  Oslo, Norway, 22nd June 2015},
  series       = {{EPTCS}},
  volume       = {209},
  pages        = {112--128},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.209.9},
  doi          = {10.4204/EPTCS.209.9},
  timestamp    = {Sun, 25 Jul 2021 11:39:05 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/NeoviusPS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/PetreTW14,
  author       = {Luigia Petre and
                  Elena Troubitsyna and
                  Marina Wald{\'{e}}n},
  title        = {Kaisa Sere: In Memoriam},
  journal      = {Formal Aspects Comput.},
  volume       = {26},
  number       = {2},
  pages        = {197--201},
  year         = {2014},
  url          = {https://doi.org/10.1007/s00165-013-0292-5},
  doi          = {10.1007/S00165-013-0292-5},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/PetreTW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KamaliLPS14,
  author       = {Maryam Kamali and
                  Linas Laibinis and
                  Luigia Petre and
                  Kaisa Sere},
  title        = {Formal development of wireless sensor-actor networks},
  journal      = {Sci. Comput. Program.},
  volume       = {80},
  pages        = {25--49},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2012.03.002},
  doi          = {10.1016/J.SCICO.2012.03.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/KamaliLPS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/DiaconescuPSS14,
  author       = {Denisa Diaconescu and
                  Luigia Petre and
                  Kaisa Sere and
                  Gheorghe Stefanescu},
  editor       = {Gabriel Ciobanu and
                  Dominique M{\'{e}}ry},
  title        = {Refinement of Structured Interactive Systems},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2014 - 11th International
                  Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8687},
  pages        = {133--150},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10882-7\_9},
  doi          = {10.1007/978-3-319-10882-7\_9},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/DiaconescuPSS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/HorsmanheimoKKNPRS14,
  author       = {Seppo Horsmanheimo and
                  Maryam Kamali and
                  Mikko Kolehmainen and
                  Mats Neovius and
                  Luigia Petre and
                  Mauno R{\"{o}}nkk{\"{o}} and
                  Petter Sandvik},
  editor       = {Julia M. Badger and
                  Kristin Yvonne Rozier},
  title        = {On Proving Recoverability of Smart Electrical Grids},
  booktitle    = {{NASA} Formal Methods - 6th International Symposium, {NFM} 2014, Houston,
                  TX, USA, April 29 - May 1, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8430},
  pages        = {77--91},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06200-6\_6},
  doi          = {10.1007/978-3-319-06200-6\_6},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/HorsmanheimoKKNPRS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/LummePSS13,
  author       = {Kristian Lumme and
                  Luigia Petre and
                  Petter Sandvik and
                  Kaisa Sere},
  title        = {A formal approach to {H.264} video decoding on multicore systems},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {4},
  number       = {1},
  pages        = {3--26},
  year         = {2013},
  url          = {https://doi.org/10.1504/IJCCBS.2013.053740},
  doi          = {10.1504/IJCCBS.2013.053740},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijccbs/LummePSS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/KamaliLPS13,
  author       = {Maryam Kamali and
                  Linas Laibinis and
                  Luigia Petre and
                  Kaisa Sere},
  title        = {A distributed design of a network recovery algorithm},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {4},
  number       = {1},
  pages        = {45--68},
  year         = {2013},
  url          = {https://doi.org/10.1504/IJCCBS.2013.053742},
  doi          = {10.1504/IJCCBS.2013.053742},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijccbs/KamaliLPS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieeehpcs/PetreS13,
  author       = {Luigia Petre and
                  Kaisa Sere},
  title        = {Location-aware resource availability},
  booktitle    = {International Conference on High Performance Computing {\&} Simulation,
                  {HPCS} 2013, Helsinki, Finland, July 1-5, 2013},
  pages        = {626},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/HPCSim.2013.6641480},
  doi          = {10.1109/HPCSIM.2013.6641480},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ieeehpcs/PetreS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2013,
  editor       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
                  Turku, Finland, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7940},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38613-8},
  doi          = {10.1007/978-3-642-38613-8},
  isbn         = {978-3-642-38612-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/2013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/WaldenP12,
  author       = {Marina Wald{\'{e}}n and
                  Luigia Petre},
  title        = {Guest Editors' Foreword},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {81},
  number       = {3},
  pages        = {161},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.jlap.2012.02.001},
  doi          = {10.1016/J.JLAP.2012.02.001},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/WaldenP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/PetreSS12,
  author       = {Luigia Petre and
                  Petter Sandvik and
                  Kaisa Sere},
  editor       = {Marjan Sirjani},
  title        = {Node Coordination in Peer-to-Peer Networks},
  booktitle    = {Coordination Models and Languages - 14th International Conference,
                  {COORDINATION} 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7274},
  pages        = {196--211},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30829-1\_14},
  doi          = {10.1007/978-3-642-30829-1\_14},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/PetreSS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/DiaconescuLPSS12,
  author       = {Denisa Diaconescu and
                  Ioana Leustean and
                  Luigia Petre and
                  Kaisa Sere and
                  Gheorghe Stefanescu},
  editor       = {John Derrick and
                  Stefania Gnesi and
                  Diego Latella and
                  Helen Treharne},
  title        = {Refinement-Preserving Translation from Event-B to Register-Voice Interactive
                  Systems},
  booktitle    = {Integrated Formal Methods - 9th International Conference, {IFM} 2012,
                  Pisa, Italy, June 18-21, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7321},
  pages        = {221--236},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30729-4\_16},
  doi          = {10.1007/978-3-642-30729-4\_16},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/DiaconescuLPSS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/KamaliPSD11,
  author       = {Maryam Kamali and
                  Luigia Petre and
                  Kaisa Sere and
                  Masoud Daneshtalab},
  title        = {Formal Modeling of Multicast Communication in 3D NoCs},
  booktitle    = {14th Euromicro Conference on Digital System Design, Architectures,
                  Methods and Tools, {DSD} 2011, August 31 - September 2, 2011, Oulu,
                  Finland},
  pages        = {634--642},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/DSD.2011.86},
  doi          = {10.1109/DSD.2011.86},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsd/KamaliPSD11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/KamaliPSD11,
  author       = {Maryam Kamali and
                  Luigia Petre and
                  Kaisa Sere and
                  Masoud Daneshtalab},
  editor       = {Farhad Arbab and
                  Marjan Sirjani},
  title        = {Refinement-Based Modeling of 3D NoCs},
  booktitle    = {Fundamentals of Software Engineering - 4th {IPM} International Conference,
                  {FSEN} 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7141},
  pages        = {236--252},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-29320-7\_16},
  doi          = {10.1007/978-3-642-29320-7\_16},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsen/KamaliPSD11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nesea/KamaliPSD11,
  author       = {Maryam Kamali and
                  Luigia Petre and
                  Kaisa Sere and
                  Masoud Daneshtalab},
  title        = {CorreComm: {A} formal hierarchical framework for communication designs},
  booktitle    = {Proceedings of the 2nd {IEEE} International Conference on Networked
                  Embedded Systems for Enterprise Applications, {NESEA} 2011, Perth,
                  Australia, December 8-9, 2011},
  pages        = {1--7},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/NESEA.2011.6144950},
  doi          = {10.1109/NESEA.2011.6144950},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nesea/KamaliPSD11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijertcs/PetreS10,
  author       = {Luigia Petre and
                  Kaisa Sere},
  title        = {Towards Sustainable Development of Energy-Aware Systems},
  journal      = {Int. J. Embed. Real Time Commun. Syst.},
  volume       = {1},
  number       = {2},
  pages        = {45--60},
  year         = {2010},
  url          = {https://doi.org/10.4018/jertcs.2010040103},
  doi          = {10.4018/JERTCS.2010040103},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijertcs/PetreS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/PetreST10,
  author       = {Luigia Petre and
                  Kaisa Sere and
                  Leonidas Tsiopoulos},
  editor       = {Bernhard K. Aichernig and
                  Frank S. de Boer and
                  Marcello M. Bonsangue},
  title        = {Model-Based Analysis Tools for Component Synthesis},
  booktitle    = {Formal Methods for Components and Objects - 9th International Symposium,
                  {FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6957},
  pages        = {102--121},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-25271-6\_6},
  doi          = {10.1007/978-3-642-25271-6\_6},
  timestamp    = {Thu, 14 Oct 2021 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/fmco/PetreST10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1007-5091,
  author       = {Maryam Kamali and
                  Linas Laibinis and
                  Luigia Petre and
                  Kaisa Sere},
  editor       = {Mohammad Reza Mousavi and
                  Gwen Sala{\"{u}}n},
  title        = {Self-Recovering Sensor-Actor Networks},
  booktitle    = {Proceedings Ninth International Workshop on the Foundations of Coordination
                  Languages and Software Architectures, {FOCLASA} 2010, Paris, France,
                  4th September 2010},
  series       = {{EPTCS}},
  volume       = {30},
  pages        = {47--61},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.30.4},
  doi          = {10.4204/EPTCS.30.4},
  timestamp    = {Sat, 11 Jul 2020 10:44:59 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1007-5091.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/Petre08,
  author       = {Luigia Petre},
  title        = {Energy-Aware Middleware},
  booktitle    = {15th Annual {IEEE} International Conference and Workshop on Engineering
                  of Computer Based Systems {(ECBS} 2008), 31 March - 4 April 2008,
                  Belfast, Northern Ireland},
  pages        = {326--334},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ECBS.2008.43},
  doi          = {10.1109/ECBS.2008.43},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/Petre08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/PetreSW06,
  author       = {Luigia Petre and
                  Kaisa Sere and
                  Marina Wald{\'{e}}n},
  editor       = {Zhiming Liu and
                  Jifeng He},
  title        = {A Language for Modeling Network Availability},
  booktitle    = {Formal Methods and Software Engineering, 8th International Conference
                  on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
                  1-3, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4260},
  pages        = {639--659},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11901433\_35},
  doi          = {10.1007/11901433\_35},
  timestamp    = {Mon, 21 Mar 2022 22:43:10 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/PetreSW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2002,
  editor       = {Michael J. Butler and
                  Luigia Petre and
                  Kaisa Sere},
  title        = {Integrated Formal Methods, Third International Conference, {IFM} 2002,
                  Turku, Finland, May 15-18, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2335},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-47884-1},
  doi          = {10.1007/3-540-47884-1},
  isbn         = {3-540-43703-7},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/2002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BackPP01,
  author       = {Ralph{-}Johan Back and
                  Luigia Petre and
                  Ivan Porres},
  title        = {Continuous Action Systems as a Model for Hybrid Systems},
  journal      = {Nord. J. Comput.},
  volume       = {8},
  number       = {1},
  pages        = {2--21},
  year         = {2001},
  timestamp    = {Wed, 14 Jan 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/njc/BackPP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BackPP00,
  author       = {Ralph{-}Johan Back and
                  Luigia Petre and
                  Ivan Porres},
  editor       = {Mathai Joseph},
  title        = {Generalizing Action Systems to Hybrid Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
                  Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1926},
  pages        = {202--213},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45352-0\_17},
  doi          = {10.1007/3-540-45352-0\_17},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/BackPP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/PetreS00,
  author       = {Luigia Petre and
                  Kaisa Sere},
  editor       = {Wolfgang Grieskamp and
                  Thomas Santen and
                  Bill Stoddart},
  title        = {Developing Control Systems Components},
  booktitle    = {Integrated Formal Methods, Second International Conference, {IFM}
                  2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1945},
  pages        = {156--175},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-40911-4\_10},
  doi          = {10.1007/3-540-40911-4\_10},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/PetreS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/PetreP99,
  author       = {Ion Petre and
                  Luigia Petre},
  title        = {Mobile Ambients and P-Systems},
  journal      = {J. Univers. Comput. Sci.},
  volume       = {5},
  number       = {9},
  pages        = {588--598},
  year         = {1999},
  url          = {https://doi.org/10.3217/jucs-005-09-0588},
  doi          = {10.3217/JUCS-005-09-0588},
  timestamp    = {Thu, 07 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jucs/PetreP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/PetreS99,
  author       = {Luigia Petre and
                  Kaisa Sere},
  editor       = {Paolo Ciancarini and
                  Alexander L. Wolf},
  title        = {Coordination Among Mobile Objects},
  booktitle    = {Coordination Languages and Models, Third International Conference,
                  {COORDINATION} '99, Amsterdam, The Netherlands, April 26-28, 1999,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1594},
  pages        = {227--242},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48919-3\_17},
  doi          = {10.1007/3-540-48919-3\_17},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/PetreS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/PetreBP99,
  author       = {Luigia Petre and
                  Ralph{-}Johan Back and
                  Ivan Paltor},
  editor       = {Robert B. France and
                  Bernhard Rumpe},
  title        = {Analysing {UML} Use Cases as Contracts},
  booktitle    = {{\guillemotleft}UML{\guillemotright}'99: The Unified Modeling Language
                  - Beyond the Standard, Second International Conference, Fort Collins,
                  CO, USA, October 28-30, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1723},
  pages        = {518--533},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-46852-8\_37},
  doi          = {10.1007/3-540-46852-8\_37},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/uml/PetreBP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PetreSW99,
  author       = {Luigia Petre and
                  Kaisa Sere and
                  Marina Wald{\'{e}}n},
  editor       = {Gheorghe Stefanescu},
  title        = {A topological approach to distributed computing},
  booktitle    = {Workshop on Distributed Systems, {WDS} 1999, {A} satellite workshop
                  to {FCT} 1999, Iassy, Romania, September 2-3, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {28},
  pages        = {59--80},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80630-9},
  doi          = {10.1016/S1571-0661(05)80630-9},
  timestamp    = {Wed, 23 Nov 2022 16:22:34 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PetreSW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics