Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Luigia Petre
@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} }
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.