José Miguel Paiva Proença


AuthID: R-006-JRF

Confirmed Publications: 69



31
TITLE: A Refinement Relation for Families of Timed Automata
AUTHORS: Guillermina Cledou ; Jose Proenca ; Luis S Barbosa ;
PUBLISHED: 2017, SOURCE: 20th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, VOLUME: 10623
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
32
TITLE: Composing Families of Timed Automata
AUTHORS: Guillermina Cledou ; Jose Proenca ; Luis Soares Barbosa ;
PUBLISHED: 2017, SOURCE: 7th IPM International Conference on Fundamentals of Software Engineering (FSEN) in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2017, VOLUME: 10522
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP
33
34
TITLE: Formal Verification of ROS-based Robotic Applications using Timed-Automata
AUTHORS: Raju Halder; Jose Proenca ; Nuno Macedo ; Andre Santos;
PUBLISHED: 2017, SOURCE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 29
IN MY: ORCID | DBLP
35
TITLE: Quality-Aware Reactive Programming for the Internet of Things
AUTHORS: Jose Proenca ; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: 7th IPM International Conference on Fundamentals of Software Engineering (FSEN) in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2017, VOLUME: 10522
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
36
TITLE: Typed connector families and their semantics  Full Text
AUTHORS: José Proença ; Dave Clarke;
PUBLISHED: 2017, SOURCE: Sci. Comput. Program., VOLUME: 146
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
37
TITLE: A procedure for splitting data-aware processes and its application to coordination  Full Text
AUTHORS: Sung Shik T Q Jongmans; Dave Clarke; José Proença ;
PUBLISHED: 2016, SOURCE: Sci. Comput. Program., VOLUME: 115-116
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID | DBLP
38
TITLE: Coordination Models and Languages
AUTHORS: Alberto Lluch Lafuente; José Proença ;
PUBLISHED: 2016, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef: 2
IN MY: ORCID
39
40
TITLE: Feature Nets: behavioural modelling of software product lines  Full Text
AUTHORS: Radu Muschevici; Jose Proenca ; Dave Clarke;
PUBLISHED: 2016, SOURCE: 10th International Conference on Integrated Formal Methods (IFM) in SOFTWARE AND SYSTEMS MODELING, VOLUME: 15, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 14
IN MY: ORCID | DBLP
Page 4 of 7. Total results: 69.

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service