Compositional Methods in Characterizationof Timed Event Structures
Published in Perspectives of Systems Informatics
(2012)
Get full text
Book Chapter
Mining Precise Specifications
Published in Perspectives of Systems Informatics
(2012)
Get full text
Book Chapter
End-to-End Guarantees in Embedded Control Systems
Published in Perspectives of Systems Informatics
(2012)
Get full text
Book Chapter
A Combined Technique for Automatic Detectionof Backward Binary Compatibility Problems
Published in Perspectives of Systems Informatics
(2012)
Get full text
Book Chapter
Timed Transition Systems with Independenceand Marked Scott Domains: An Adjunction
Published in Perspectives of Systems Informatics
(2012)
Get full text
Book Chapter
Scalable Parallel Interval Propagationfor Sparse Constraint Satisfaction Problems
Published in Perspectives of Systems Informatics
(2012)
Get full text
Book Chapter
Models of Provenance
Published in Perspectives of Systems Informatics
(2012)
Get full text
Book Chapter