<i>Mediator</i>: A component-based modeling language for concurrent and distributed systems.
Sci. Comput. Program., 2020
Towards a Formally Verified EVM in Production Environment.
Proceedings of the Coordination Models and Languages, 2020
Reasoning about connectors using Coq and Z3.
Sci. Comput. Program., 2019
A formal framework capturing real-time and stochastic behavior in connectors.
Sci. Comput. Program., 2019
A Survey on Theorem Provers in Formal Methods.
CoRR, 2019
Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq.
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019
On Semantics for Mediator: A Coalgebraic Perspective.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2018
Developing Reliable Component-Based Software in Mediator.
Proceedings of the Formal Methods and Software Engineering, 2018
Generating Arduino C Codes from Mediator.
Proceedings of the It's All About Coordination, 2018
Using Coq for Formal Modeling and Verification of Timed Connectors.
Proceedings of the Software Engineering and Formal Methods, 2017
Capturing Stochastic and Real-Time Behavior in Reo Connectors.
Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017
Component-Based Modeling in Mediator.
Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017
Active Learning from Blackbox to Timed Connectors.
Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016
Towards Concolic Testing for Hybrid Systems.
Proceedings of the FM 2016: Formal Methods, 2016
Reasoning About Connectors in Coq.
Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016
Modeling and verification of component connectors in Coq.
Sci. Comput. Program., 2015
Formal modeling and verification of complex interactions in e-government applications.
Proceedings of the 8th International Conference on Theory and Practice of Electronic Governance, 2014
Modeling and Analysis of Component Connectors in Coq.
Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013