Solving Systems of Bilinear Equations for Transition Rate Reconstruction
Get full text
Book Chapter
Conference Proceeding
Event-Driven Temporal Logic Pattern for Control Software Requirements Specification
Zyubin, Vladimir, Anureev, Igor, Garanina, Natalia, Staroletov, Sergey, Rozov, Andrei, Liakh, Tatiana
Published in Lecture Notes in Computer Science (2021)
Published in Lecture Notes in Computer Science (2021)
Get full text
Book Chapter
Conference Proceeding
Deadlock in Packet Switching Networks
Stramaglia, Anna, Keiren, Jeroen J. A., Zantema, Hans
Published in Lecture Notes in Computer Science (2021)
Published in Lecture Notes in Computer Science (2021)
Get full text
Book Chapter
Conference Proceeding
Term Rewriting on GPUs
van Eerd, Johri, Groote, Jan Friso, Hijma, Pieter, Martens, Jan, Wijs, Anton
Published in Lecture Notes in Computer Science (2021)
Published in Lecture Notes in Computer Science (2021)
Get full text
Book Chapter
Conference Proceeding
Compressing Automatically Generated Unit Test Suites Through Test Parameterization
Get full text
Book Chapter
Conference Proceeding
Systematic Extraction of Tests from Object-Oriented Programs
Get full text
Book Chapter
Conference Proceeding
Modeling and Efficient Verification of Broadcasting Actors
Yousefi, Behnaz, Ghassemi, Fatemeh, Khosravi, Ramtin
Published in Fundamentals of Software Engineering (2015)
Published in Fundamentals of Software Engineering (2015)
Get full text
Book Chapter
Contract based multi-party service composition
Bravetti, Mario, Zavattaro, Gianluigi
Published in International Symposium on Fundamentals of Software Engineering (2007)
Published in International Symposium on Fundamentals of Software Engineering (2007)
Get full text
Conference Proceeding
Book Chapter
From Event-B Models to Dafny Code Contracts
Dalvandi, Mohammadsadegh, Butler, Michael, Rezazadeh, Abdolbaghi
Published in Fundamentals of Software Engineering (2015)
Published in Fundamentals of Software Engineering (2015)
Get full text
Book Chapter
A Pre-congruence Format for XY-simulation
Beohar, Harsh, Mousavi, Mohammad Reza
Published in EFFEMBAC ( (Effective Model-Based Testing of Concurrent Systems) (2015)
Published in EFFEMBAC ( (Effective Model-Based Testing of Concurrent Systems) (2015)
Get full text
Book Chapter
Conference Proceeding
Automated Integration of Service-Oriented Software Systems
Autili, Marco, Inverardi, Paola, Tivoli, Massimo
Published in Fundamentals of Software Engineering (2015)
Published in Fundamentals of Software Engineering (2015)
Get full text
Book Chapter
A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems
Khakpour, Narges, Kleijn, Jetty, Sirjani, Marjan
Published in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2019)
Published in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2019)
Get full text
Book Chapter
Conference Proceeding
Modeling Non-deterministic C Code with Active Objects
Wasser, Nathan, Heydari Tabar, Asmae, Hähnle, Reiner
Published in Fundamentals of Software Engineering (2019)
Published in Fundamentals of Software Engineering (2019)
Get full text
Book Chapter