Old Web
English
Sign In
Acemap
>
authorDetail
>
José Proença
José Proença
International Student Exchange Programs
Computer science
Software engineering
Automaton
Verification and validation
Delegate
5
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
The VALU3S ECSEL project: Verification and validation of automated systems safety and security
2021
Microprocessors and Microsystems
J.A. Agirre
L. Etxeberria
Raul Barbosa
S. Basagiannis
G. Giantamidis
Thomas Bauer
Enrico Ferrari
M. Labayen Esnaola
Vanessa Orani
Johnny Öberg
David Pereira
José Proença
Rupert Schlick
Aleš Smrčka
W. Tiberti
Stefano Tonetta
M. Bozzano
A Yazici
Behrooz Sangchoolie
Show All
Source
Cite
Save
Citations (0)
Featured Team Automata.
2021
FM | Formal Methods
Maurice H. ter Beek
Guillermina Cledou
Rolf Hennicker
José Proença
Show All
Source
Cite
Save
Citations (0)
A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems.
2021
QUATIC | Quality of Information and Communications Technology
Jose Luis de la Vara
Thomas Bauer
Bernhard Fischer
Mustafa Karaca
Henrique Madeira
Martin Matschnig
Silvia Mazzini
Giann Spilere Nandi
Fabio Patrone
David Pereira
José Proença
Rupert Schlick
Stefano Tonetta
Ugur Yayan
Behrooz Sangchoolie
Show All
Source
Cite
Save
Citations (0)
Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems
2020
RTSS | Real-Time Systems Symposium
Giann Spilere Nandi
David Pereira
José Proença
Eduardo Tovar
Show All
Source
Cite
Save
Citations (0)
Hubs for VirtuosoNext: Online verification of real-time coordinators
2020
Science of Computer Programming
Guillermina Cledou
José Proença
Bernhard H. C. Sputh
Eric Verhulst
Show All
Source
Cite
Save
Citations (0)
1