1
TITLE: ARx: Reactive Programming for Synchronous Connectors
AUTHORS: José Proença ; Guillermina Cledou ;
SOURCE: 22nd IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020 in Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, VOLUME: 12134, PUBLISHED: 2020
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
2
TITLE: Coordination of Tasks on a Real-Time OS
AUTHORS: Guillermina Cledou ; Jose Proenca ; Bernhard H C Sputh; Eric Verhulst;
SOURCE: 21st IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION,) Held as Part of the 14th International Federated Conference on Distributed Computing Techniques (DisCoTec) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2019, VOLUME: 11533, PUBLISHED: 2019
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
3
TITLE: Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019 PDF
AUTHORS: Rosemary Monahan; Virgile Prevosto; José Proença ;
SOURCE: F-IDE@FM, VOLUME: 310, PUBLISHED: 2019
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
4
TITLE: Taming Hierarchical Connectors
AUTHORS: José Proença ; Alexandre Madeira ;
SOURCE: 8th International Conference on Fundamentals of Software Engineering, FSEN 2019 in Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers, VOLUME: 11761, PUBLISHED: 2019
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
5
TITLE: ReoLive: Analysing Connectors in Your Browser
AUTHORS: Rúben Cruz; José Proença ;
SOURCE: Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers, VOLUME: 11176, PUBLISHED: 2018
INDEXED IN: DBLP
IN MY: ORCID | DBLP
6
TITLE: Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
AUTHORS: Jose Bacelar Almeida ; Alcino Cunha ; Nuno Macedo ; Hugo Pacheco ; Jose Proenca ;
SOURCE: 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP) in PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, VOLUME: 2, ISSUE: ICFP, PUBLISHED: 2018
INDEXED IN: WOS DBLP CrossRef
IN MY: ORCID | DBLP
7
TITLE: A Refinement Relation for Families of Timed Automata
AUTHORS: Guillermina Cledou ; Jose Proenca ; Luis S Barbosa ;
SOURCE: 20th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, VOLUME: 10623, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
8
TITLE: Composing Families of Timed Automata
AUTHORS: Guillermina Cledou ; Jose Proenca ; Luis Soares Barbosa ;
SOURCE: 7th IPM International Conference on Fundamentals of Software Engineering (FSEN) in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2017, VOLUME: 10522, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP
10
TITLE: Formal Verification of ROS-based Robotic Applications using Timed-Automata
AUTHORS: Raju Halder; Jose Proenca ; Nuno Macedo ; Andre Santos;
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, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef: 11
IN MY: ORCID | DBLP
Page 1 of 5. Total results: 47.