José Miguel Paiva Proença


AuthID: R-006-JRF

Confirmed Publications: 86



51
52
TITLE: Formal Verification of ROS-based Robotic Applications using Timed-Automata
AUTHORS: Halder, R; Proença, J ; Macedo, N ; Santos, A;
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: 53
IN MY: ORCID
53
TITLE: Quality-Aware Reactive Programming for the Internet of Things
AUTHORS: Proença, J ; Baquero, C ;
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
54
TITLE: Typed connector families and their semantics
AUTHORS: José Proença ; Dave Clarke;
PUBLISHED: 2017, SOURCE: Sci. Comput. Program., VOLUME: 146
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID
55
TITLE: A procedure for splitting data-aware processes and its application to coordination
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
56
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
57
58
TITLE: Feature Nets: behavioural modelling of software product lines  Full Text
AUTHORS: Muschevici, R; Proença, J ; Clarke, D;
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: 20
IN MY: ORCID
59
TITLE: Hitch Hiker 2.0: a binding model with flexible data aggregation for the Internet-of-Things
AUTHORS: Ramachandran, GS; Proenca, J ; Daniels, W; Pickavet, M; Staessens, D; Huygens, C; Joosen, W; Hughes, D;
PUBLISHED: 2016, SOURCE: JOURNAL OF INTERNET SERVICES AND APPLICATIONS, VOLUME: 7, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 11
IN MY: ORCID
60
TITLE: Preface
AUTHORS: Lafuente, AL; Proença, J ;
PUBLISHED: 2016, SOURCE: 18th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2016 and Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9686
INDEXED IN: Scopus
IN MY: ORCID
Page 6 of 9. Total results: 86.

footer slogan

Useful Links

Get Help

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