Author of the publication

Axo: Detection and Recovery for Delay and Crash Faults in Real-Time Control Systems.

, , , and . IEEE Trans. Ind. Informatics, 14 (7): 3065-3075 (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The algebra of connectors: structuring interaction in BIP., and . EMSOFT, page 11-20. ACM, (2007)Towards a Theory of Glue. ICE, volume 104 of EPTCS, page 48-66. (2012)Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies., , and . COORDINATION, volume 10319 of Lecture Notes in Computer Science, page 197-216. Springer, (2017)Quarts: Quick agreement for real-time control systems., , , and . ETFA, page 1-8. IEEE, (2017)Using SMT Engine to Generate Symbolic Automata., , , and . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2018)Towards Exogenous Coordination of Concurrent Cloud Applications., , , and . Int. J. Softw. Eng. Knowl. Eng., 34 (1): 1-25 (January 2024)Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems., and . SC@TOOLS, volume 6708 of Lecture Notes in Computer Science, page 51-67. Springer, (2011)Robust Software Development for University-Built Satellites., and . CoRR, (2020)Configuration logics: Modeling architecture styles., , , and . J. Log. Algebraic Methods Program., 86 (1): 2-29 (2017)On methods and tools for rigorous system design., , , and . Int. J. Softw. Tools Technol. Transf., 23 (5): 679-684 (2021)