Valokuva Luigia Petre

Luigia Petre

Dr

19982022

Julkaisut ja projektit vuosittain

Suodatin
Konferenssiartikkeli

Hakutulokset

  • 2021

    A software quality course: the breadth approach

    Petre, L., 2021, Quality of Information and Communications Technology. Paiva, A. C. R., Cavalli, A. R., Ventura Martins, P. & Pérez-Castillo, R. (toim.). Springer, s. 536-552 17 Sivumäärä (Communications in Computer and Information Science; Vuosikerta 1439).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    67 Lataukset (Pure)
  • 2017

    Uppaal vs Event-B for Modelling Optimised Link State Routing

    Kamali, M. & Petre, L., 2017, Verification and Evaluation of Computer and Communication Systems. VECoS 2017. Barkaoui, K., Boucheneb, H., Mili, A. & (eds), T. S. (toim.). Springer, s. 189–203 15 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    1 Sitaatiot (Scopus)
  • 2016

    A Theory of Service Dependency

    Neovius, M., Petre, L. & Sere, K., 2016, In Proceedings 17th International Workshop on Refinement. Derrick, J., Boiten, E. & Reeves, S. (toim.). Open Publishing Association, s. 112–128

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    1 Sitaatiot (Scopus)

  • Modelling Link State Routing in Event-B

    Kamali, M. & Petre, L., 2016, Engineering of Complex Computer Systems (ICECCS), 2016 21st International Conference on. Hai, W. & Mounir, M. (toim.). IEEE, s. 207–210

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    4 Sitaatiot (Scopus)
  • 2015

    Comparing Routing Protocols

    Kamali, M. & Petre, L., 2015, Engineering of Complex Computer Systems (ICECCS), 2015 20th International Conference on. Yuan-Fang, L. & Yang, L. (toim.). IEEE, s. 206–209

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    2 Sitaatiot (Scopus)

  • Formal Analysis of Proactive, Distributed Routing

    Kamali, M., Höfner, P., Kamali, M. & Petre, L., 2015, Formal Methods and Software Engineering, 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Radu, C. & Bernhard, R. (toim.). Springer, s. 175–189

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    14 Sitaatiot (Scopus)

  • Improved Recovery for Proactive, Distributed Routing

    Kamali, M. & Petre, L., 2015, Engineering of Complex Computer Systems (ICECCS), 2015 20th International Conference on. Yuan-Fang, L. & Yang, L. (toim.). IEEE, s. 178–181

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    3 Sitaatiot (Scopus)
  • 2014

    Designing Resilence Mediators for Control Systems

    Rönkkö, M., Stocker, M., Neovius, M., Petre, L. & Kolehmainen, M., 2014, The 33rd IASTED International Conference on Modelling, Identification and Control. Hamza, M. (toim.). ACTA Press, s. 147–154

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    2 Sitaatiot (Scopus)

  • On Proving Recoverability of Smart Electrical Grids

    Seppo, H., Kamali, M., Mikko, K., Neovius, M., Petre, L., Mauno, R. & Sandvik, P., 2014, NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014.. Badger, J. & Rozier, K. (toim.). Springer, s. 77–91

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    4 Sitaatiot (Scopus)

  • Refinement of Structured Interactive Systems

    Diaconescu, D., Petre, L., Sere, K. & Stefanescu, G., 2014, Theoretical Aspects of Computing - ICTAC 2014. Ciobanu, G. & Méry, D. (toim.). Springer, s. 133–150

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    4 Sitaatiot (Scopus)

  • Trustworthiness Modelling on Continuous Environmental Measurement

    Neovius, M., Stocker, M., Rönkkö, M. & Petre, L., 2014, Proceedings of the 7th International Congress on Environmental Modelling and Software (iEMSs). Ames, D.P., Quinn, N.W.T., Rizzoli & A.E. (toim.). International congress on environmental modelling and software, s. 955–962

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    1 Sitaatiot (Scopus)
  • 2012

    Integrating Innovation Activities in a Master Level Capstone Project Course

    Björkqvist, J., Petre, L., Rönnholm, K. & Truscan, D., 2012, International Conference on Engineering Education 2012. Björkqvist, J., Laakso, M., Roslöf, J., Tuohi, R. & Virtanen, S. (toim.). Turun ammattikorkeakoulu, s. –

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • Node Coordination in Peer-to-Peer Networks

    Petre, L., Sandvik, P. & Sere, K., 2012, COORDINATION 2012 Coordination Models and Languages. Sirjani, M. (toim.). Springer, s. 196–211

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    5 Sitaatiot (Scopus)
  • 2011

    CorreComm: A Formal Hierarchical Framework for Communication Designs

    Kamali, M., Petre, L., Sere, K. & Daneshtalab, M., 2011, 2011 2nd IEEE International Conference on Networked Embedded Systems for Enterprise Applications (NESEA 2011). Hughes, D., Lee, K. & Lok Man, K. (toim.). IEEE Computer Society, s. 1–7

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    2 Sitaatiot (Scopus)

  • Formal Modeling of Multicast Communication in 3D NoCs

    Kamali, M., Petre, L., Sere, K. & Daneshtalab, M., 2011, 14th Euromicro Conference on Digital System Design (DSD 2011). Kitsos, P. & Niar, S. (toim.). IEEE, s. 634–642

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    13 Sitaatiot (Scopus)

  • Formal Modelling of Inter-Peer Relations in Peer-to-Peer Media Distribution Systems

    Petre, L. & Sandvik, P., 2011, Proceedings of the 23rd Nordic Workshop on Programming Theory. Pettersson, P. & Seceleanu, C. (toim.). Mälardalens högskola, s. 21–23

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen

  • Model-Based Analysis Tools for Component Synthesis

    Petre, L., Sere, K. & Tsiopoulos, L., 2011, Formal Methods for Components and Objects, 9th International Symposium, FMCO 2010 --- State-of-the-Art Survey. Aichernig, B., Boer, F. & Bonsangue, M. (toim.). Springer, s. –

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    1 Sitaatiot (Scopus)

  • On the Influence of Poor Design and Arbitrary Growth on Switched LAN Efficiency

    Mustafa Hassan, M. & Petre, L., 2011, Proceedings: 1st International Conference on Computer Networks and Information Technology (ICCNIT'11). Mahfooz, S. & Ur Rehman, W. (toim.). IEEE Computer Society Conference Publishing Services (CPS), s. 131–136

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen

  • 2010

    A Formalization of 3D NoCs

    Kamali, M., Daneshtalab, M., Petre, L. & Sere, K., 2010, Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10. Waldén, M. & Petre, L. (toim.). Turku Centre for Computer Science, s. 79–81

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • Self-Recovering Sensor-Actor Networks

    Kamali, M., Laibinis, L., Petre, L. & Sere, K., 2010, Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures. Mousavi, M. & Salaün, G. (toim.). Open Publishing Association, s. 47–61

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • 2009

    Efficiency Issues in a Switched LAN

    Hassan, M. & Petre, L., 2009, NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security. Asplund, M., Nadjm-Tehrani, S. & Petre, L. (toim.). s. –

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • 2008

    A Dependability-Oriented Language for Dimensional-NoCs

    Petre, L., Sere, K. & Tsiopoulos, L., 2008, Nordic Workshop and Doctoral Symposium on Dependability and Security - NODES 2008 Proceedings. Department of Computer Science, Tallinn University of Technology, s. –

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • Energy-Aware Middleware

    Petre, L., 2008, 15th IEEE International Conference on Engineering of Computer-Based Systems. IEEE computer society press, s. –

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • 2007

    Modeling Energy-Awareness into a Middleware Language

    Petre, L., 2007, NOrdic workshop and doctoral symposium on DEpendability and Security - Abstracts. Petre KSETEJ, L. (toim.). s. –

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • 2006

    A Language for Modeling Network Availability

    Petre, L., Sere, K. & Walden, M., 2006, Proceedings of the 8th International Conference on Formal Methods (ICFEM06). Springer, Vuosikerta 4260. s. 639-659 (Lecture Notes in Computer Science; Vuosikerta 4260).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • A Language for Modeling Network Availability

    Petre, L., Sere, K. & Waldén, M., 2006, Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods (ICFEM 2006), Macao, China, November 1-3, 2006, Proceedings. Liu, Z. & J, H. (toim.). Springer Berlin / Heidelberg, s. –

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    7 Sitaatiot (Scopus)
  • 2002

    A Healthcare Case Study

    Petre, L., Troubitsyna, E. & Walden, M., 2002, Proceedings of RCS'02 - International workshop on Refinement of Critical Systems: Methods, Tools and Experience. Grenoble, France

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen

  • Control Systems Development – A Case Study

    Petre, L., 2002, Critical Systems Development with UML - Proceedings of the UML'02 Workshop. Technische Universitat Munchen, s. –

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • 2000

    Components vs. Objects

    Petre, L., 2000, 12th Nordic Workshop on Programming Theory, NWPT'2000. Haveraaen OOMW, M. (toim.). s. –

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • Developing Control Systems Components

    Petre, L. & Sere, K., 2000, 2nd International Conference on Integrated Formal Methods, IFM'2000. Grieskamp, W., Santen, T. & Stoddart, B. (toim.). Springer-Verlag, s. –

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    1 Sitaatiot (Scopus)

  • Generalizing Action Systems to Hybrid Systems

    Back, R.-J., Petre, L. & Porres Paltor, I., 2000, 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'2000. Joseph, M. (toim.). Springer-Verlag, s. 202–213

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    22 Sitaatiot (Scopus)
  • 1999

    Analysing UML Use Cases as Contracts

    Back, R.-J., Petre, L. & Porres Paltor, I., 1999, UML'99 - Second International Conference on the Unified Modeling Language: Beyond the Standard. France, R. & Rumpe, B. (toim.). Springer-Verlag, s. 518–533

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    12 Sitaatiot (Scopus)

  • A Topological Approach to Distributed Computing

    Petre, L., Sere, K. & Walden, M., 1999, Proceedings of the FCT'99 Workshop on Distributed Systems. Stefanescu, G. (toim.). Elsevier Science, Vuosikerta 28. s. – (Electronic Notes in Theoretical Computer Science; Vuosikerta 28).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • Coordination Among Mobile Objects

    Petre, L. & Sere, K., 1999, Proceedings of COORDINATION '99 - Third International Conference on Coordination Models and Languages. Ciancarini, P. & Wolf, A. (toim.). Springer-Verlag, s. 227–242

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    2 Sitaatiot (Scopus)

  • General Hybrid Action Systems

    Back, R.-J., Petre, L. & Porres Paltor, I., 1999, The 11th Nordic Workshop on Programming Theory - NWPT'99. Björn, V. & Wang, Y. (toim.). s. –

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • Mobile Components as Topological Action Systems

    Petre, L. & Waldén, M., 1999, The 11th Nordic Workshop on Programming Theory - NWPT'99. s. –

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • 1998

    Mobile Objects as Action Systems

    Petre, L. & Sere, K., 1998, The 10th Nordic Workshop on Programming Theory - NWPT '98-Abstracts. Sere, Kaisa, Waldén & Marina (toim.). s. –

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu