Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
José Paiva Proença
Investigador Colab Externo
Publicações
The CAOS framework for Scala: Computer-aided design of SOS
Proença, J;Edixhoven, L;
2025
SCIENCE OF COMPUTER PROGRAMMING
Can we Communicate? Using Dynamic Logic to Verify Team Automata
ter Beek, MH;Cledou, G;Hennicker, R;Proença, J;
2022
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Reducing the gap between theory and practice in real-time systems with MARS
Nandi, GS;Pereira, D;Proença, J;Tovar, E;Nogueira, L;
2024
2024 54TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS-SUPPLEMENTAL VOLUME, DSN-S 2024
MARS: Safely Instrumenting Runtime Monitors in Real-Time Resource-Constrained Distributed Systems
Nandi, GS;Pereira, D;Proença, J;Tovar, E;
2024
22nd IEEE International Conference on Industrial Informatics, INDIN 2024, Beijing, China, August 18-20, 2024
