Παρακολούθηση
Luigia Petre
Luigia Petre
Associate Professor in Computer Science, Åbo Akademi University, Finland
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα abo.fi - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface
J Romijn, G Smith, J Van De Pol, D Bert, E Boiten, J Bowen, M Butler, ...
Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2005
632005
Analysing UML use cases as contracts
RJ Back, L Petre, IP Paltor
International Conference on the Unified Modeling Language, 518-533, 1999
531999
Formalising UML use cases in the refinement calculus
RJ Back, L Petre, IP Paltor
Turku Centre for Computer Science, 1999
451999
Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002: Proceedings
M Butler, L Petre, K Sere
Springer Verlag, 2002
39*2002
Generalizing action systems to hybrid systems
RJ Back, L Petre, I Porres
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2000
372000
Editorial
M Butler, EB Johnsen, L Petre
Formal Aspects of Computing 27, 611-612, 2015
35*2015
Mobile Ambients and P-Systems.
I Petre, L Petre
J. Univers. Comput. Sci. 5 (9), 588-598, 1999
321999
Continuous action systems as a model for hybrid systems
RJ Back, L Petre, I Porres
Nord. J. Comput. 8 (1), 2-21, 2001
282001
Self-recovering sensor-actor networks
M Kamali, L Laibinis, L Petre, K Sere
arXiv preprint arXiv:1007.5091, 2010
212010
Formal analysis of proactive, distributed routing
M Kamali, P Höfner, M Kamali, L Petre
SEFM 2015 Collocated Workshops, 175-189, 2015
202015
Formal development of wireless sensor–actor networks
M Kamali, L Laibinis, L Petre, K Sere
Science of Computer Programming 80, 25-49, 2014
202014
Formal modeling of multicast communication in 3D NoCs
M Kamali, L Petre, K Sere, M Daneshtalab
2011 14th Euromicro Conference on Digital System Design, 634-642, 2011
172011
A language for modeling network availability
L Petre, K Sere, M Waldén
International Conference on Formal Engineering Methods, 639-659, 2006
162006
A topological approach to distributed computing
L Petre, K Sere, M Walden
Turku Centre for Computer Science, 1999
141999
From Action Systems to Distributed Systems: The Refinement Approach
L Petre, E Sekerinski
CRC Press, 2016
132016
Energy-aware middleware
L Petre
15th Annual IEEE International Conference and Workshop on the Engineering of …, 2008
132008
Refinement-based modeling of 3D NoCs
M Kamali, L Petre, K Sere, M Daneshtalab
International Conference on Fundamentals of Software Engineering, 236-252, 2011
122011
Developing control systems components
L Petre, K Sere
International Conference on Integrated Formal Methods, 156-175, 2000
122000
Dependability and Computer Engineering: Concepts for Software-Intensive Systems: Concepts for Software-Intensive Systems
L Petre, K Sere, E Troubitsyna
IGI Global, 2011
92011
Proceedings of the Third International Conference on Integrated Formal Methods
MJ Butler, L Petre, K Sere
Springer-Verlag, 2002
92002
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20