Luigia Petre

Publikationer

Publikationer per år 1998 1999 2000 2011 2012 2014 2015 2016 2022

• 37 Konferensbidrag
• 22 Beställd rapport
• 15 Artikel
• 8 Antologi/redigerad tidskrift
• 9 Mer
  • 5 Kapitel
  • 2 Övriga bidrag
  • 1 Sammanfattning
  • 1 Arbetsdokument

Publikationer per år

Publikationer per år

Sökresultat

• 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. (red.). Springer, s. 536-552 17 s. (Communications in Computer and Information Science; vol. 1439).

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

  • Software Quality 100%
  • Computer Technology 50%
  • Application Software 50%
  • Programs 50%
  • Evaluation 50%
  50 Nedladdningar (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. (red.). Springer, s. 189–203 15 s.

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  1 Citeringar (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. (red.). Open Publishing Association, s. 112–128

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  1 Citeringar (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. (red.). IEEE, s. 207–210

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  4 Citeringar (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. (red.). IEEE, s. 206–209

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  2 Citeringar (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. (red.). Springer, s. 175–189

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  14 Citeringar (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. (red.). IEEE, s. 178–181

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  3 Citeringar (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, MH. (red.). ACTA Press, s. 147–154

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  2 Citeringar (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, JM. & Rozier, KY. (red.). Springer, s. 77–91

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  4 Citeringar (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. (red.). Springer, s. 133–150

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  4 Citeringar (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. (red.). International congress on environmental modelling and software, s. 955–962

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  1 Citeringar (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. (red.). Turun ammattikorkeakoulu, s. –

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• Node Coordination in Peer-to-Peer Networks

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

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  5 Citeringar (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. (red.). IEEE Computer Society, s. 1–7

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  2 Citeringar (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. (red.). IEEE, s. 634–642

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  13 Citeringar (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. (red.). Mälardalens högskola, s. 21–23

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig

• 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. (red.). Springer, s. –

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  1 Citeringar (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. (red.). IEEE Computer Society Conference Publishing Services (CPS), s. 131–136

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig
• 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. (red.). Turku Centre for Computer Science, s. 79–81

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• 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. (red.). Open Publishing Association, s. 47–61

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
• 2009

  Efficiency Issues in a Switched LAN

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

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
• 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. –

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• Energy-Aware Middleware

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

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
• 2007

  Modeling Energy-Awareness into a Middleware Language

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

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
• 2006

  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. (red.). Springer Berlin / Heidelberg, s. –

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  7 Citeringar (Scopus)

• A Language for Modeling Network Availability

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

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  • Networks 100%
  • Distributed Systems 33%
  • Resource Availability 33%
  • Middleware 33%
  • Network Availability 33%
• 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

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig

• Control Systems Development – A Case Study

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

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
• 2000

  Components vs. Objects

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

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• Developing Control Systems Components

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

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  1 Citeringar (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. (red.). Springer-Verlag, s. 202–213

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  22 Citeringar (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. (red.). Springer-Verlag, s. 518–533

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  12 Citeringar (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. (red.). Elsevier Science, Vol. 28. s. – (Electronic Notes in Theoretical Computer Science; vol. 28).

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• 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. (red.). Springer-Verlag, s. 227–242

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  2 Citeringar (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. (red.). s. –

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• Mobile Components as Topological Action Systems

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

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
• 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 (red.). s. –

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review