José Miguel Paiva Proença


AuthID: R-006-JRF

Confirmed Publications: 67



31
32
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
33
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
34
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
35
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
36
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
37
38
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
39
TITLE: Hitch Hiker 2.0: a binding model with flexible data aggregation for the Internet-of-Things
AUTHORS: Gowri Sankar Ramachandran; Jose Proenca ; Wilfried Daniels; Mario Pickavet; Dimitri Staessens; Christophe Huygens; Wouter Joosen; Danny Hughes;
PUBLISHED: 2016, SOURCE: JOURNAL OF INTERNET SERVICES AND APPLICATIONS, VOLUME: 7, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 10
IN MY: ORCID | DBLP
40
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 4 of 7. Total results: 67.

A place for researchers and their institutions

Useful Links

Get Help

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