Search results for: Mauro Pezze
Software Testing, Verification and Reliability > 31 > 4 > n/a - n/a
IEEE Transactions on Software Engineering > 2017 > 43 > 8 > 715 - 738
IEEE Transactions on Services Computing > 2016 > 9 > 3 > 368 - 381
IEEE Transactions on Software Engineering > 2016 > 42 > 5 > 403 - 426
Lecture Notes in Computer Science > ESEC '89 > 469-486
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Meta-Models > 189-202
Lecture Notes in Computer Science > Formal Methods in Software and Systems Modeling > Graph Transformation > 24-37
Lecture Notes in Computer Science > Applying Formal Methods: Testing, Performance, and M/E-Commerce > ITM > 337-350
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Models, Model Transformations II > 392-406
Lecture Notes in Computer Science > Concurrent Object-Oriented Programming and Petri Nets > Section I > 276-304
Lecture Notes in Computer Science > Applications of Graph Transformations with Industrial Relevance > Visual Language Modeling and Tool Development > 193-208
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Verification and Testing II > 246-260
Lecture Notes in Computer Science > Software Engineering for Self-Adaptive Systems > Part 1: Research Roadmap > 48-70
Lecture Notes in Computer Science > Software Engineering for Self-Adaptive Systems > Part 4: Self-Healing > 223-240
Lecture Notes in Computer Science > Architecting Dependable Systems VI > Part 2. Fault Tolerance and System Evaluation > 148-171