A tag contract framework for modeling heterogeneous systems
Le, Thi Thieu Hoa, Passerone, Roberto, Fahrenberg, Uli, Legay, Axel
Published in Science of computer programming (01.01.2016)
Published in Science of computer programming (01.01.2016)
Get full text
Journal Article
Tag Machines for Modeling Heterogeneous Systems
Thi Thieu Hoa Le, Passerone, Roberto, Fahrenberg, Uli, Legay, Axel
Published in 2013 13th International Conference on Application of Concurrency to System Design (01.07.2013)
Published in 2013 13th International Conference on Application of Concurrency to System Design (01.07.2013)
Get full text
Conference Proceeding
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic
Griggio, Alberto, Le, Thi Thieu Hoa, Sebastiani, Roberto
Published in Logical methods in computer science (10.08.2012)
Published in Logical methods in computer science (10.08.2012)
Get full text
Journal Article
Parametric analysis of distributed firm real-time systems: A case study
Thi Thieu Hoa Le, Palopoli, L, Passerone, R, Ramadian, Y, Cimatti, A
Published in 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010) (01.09.2010)
Published in 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010) (01.09.2010)
Get full text
Conference Proceeding
Refinement-based synthesis of correct contract model decompositions
Hoa Le, Thi Thieu, Passerone, Roberto
Published in 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE) (01.10.2014)
Published in 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE) (01.10.2014)
Get full text
Conference Proceeding
Contract-Based Requirement Modularization via Synthesis of Correct Decompositions
Le, Thi Thieu Hoa, Passerone, Roberto, Fahrenberg, Uli, Legay, Axel
Published in Theory of computing systems (07.06.2016)
Published in Theory of computing systems (07.06.2016)
Get full text
Journal Article