Systematic Extraction of Tests from Object-Oriented Programs
Published in Fundamentals of Software Engineering
(2021)
Get full text
Book Chapter
Parallel Computation
Published in Fundamentals of Software Engineering
(2021)
Get full text
Book Chapter
Automated Replication of Tuple Spaces via Static Analysis
Published in Fundamentals of Software Engineering
(2021)
Get full text
Book Chapter
Term Rewriting on GPUs
Published in Fundamentals of Software Engineering
(2021)
Get full text
Book Chapter
Extending OCL with Map and Function Types
Published in Fundamentals of Software Engineering
(2021)
Get full text
Book Chapter
Adding Proof Calculi to Epistemic Logics with Structured Knowledge
Published in Fundamentals of Software Engineering
(2021)
Get full text
Book Chapter
Protocol Scheduling
Published in Fundamentals of Software Engineering
(2021)
Get full text
Book Chapter
Unbounded Allocation in Bounded Heaps
Rot, Jurriaan, de Boer, Frank, Bonsangue, Marcello
Published in Fundamentals of Software Engineering (2013)
Published in Fundamentals of Software Engineering (2013)
Get full text
Book Chapter
Relationships meet their roles in object oriented programming
Baldoni, Matteo, Boella, Guido, Van Der Torre, Leendert
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Get full text
Conference Proceeding
Type abstractions of name-passing processes
Acciai, Lucia, Boreale, Michele
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Get full text
Conference Proceeding
Formal testing of systems presenting soft and hard deadlines
Merayo, Mercedes G., Núñez, Manuel, Rodrguez, Ismael
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Get full text
Conference Proceeding
Zone-based universality analysis for single-clock timed automata
Abdulla, Parosh Aziz, Ouaknine, Joël, Quaas, Karin, Worrell, James
Published in International Symposium on Fundamentals of Software Engineering, Proceedings (17.04.2007)
Published in International Symposium on Fundamentals of Software Engineering, Proceedings (17.04.2007)
Get full text
Conference Proceeding
Logical bisimulations and functional languages
Sangiorgi, Davide, Kobayashi, Naoki, Sumii, Eijiro
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Get full text
Conference Proceeding