41
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
42
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
43
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
44
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
46
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
47
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
48
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
49
TITLE: Typed Connector Families
AUTHORS: Jose Proenca ; Dave Clarke;
PUBLISHED: 2016, SOURCE: 12th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE, VOLUME: 9539
INDEXED IN: WOS
50
TITLE: Hitch Hiker: A Remote Binding Model with Priority Based Data Aggregation for Wireless Sensor Networks
AUTHORS: Gowri Sankar Ramachandran; Wilfried Daniels; José Proença ; Sam Michiels; Wouter Joosen; Danny Hughes; Barry Porter;
PUBLISHED: 2015, SOURCE: 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2015 in Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2015, Montreal, QC, Canada, May 4-8, 2015
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
Page 5 of 8. Total results: 75.