![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
José Proença
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j13]Luc Edixhoven
, Sung-Shik Jongmans, José Proença
, Ilaria Castellani:
Branching pomsets: Design, expressiveness and applications to choreographies. J. Log. Algebraic Methods Program. 136: 100919 (2024) - [c43]Maurice H. ter Beek
, Rolf Hennicker, José Proença
:
Team Automata: Overview and Roadmap. COORDINATION 2024: 161-198 - 2023
- [c42]José Proença
, Luc Edixhoven
:
Caos: A Reusable Scala Web Animator of Operational Semantics. COORDINATION 2023: 163-171 - [c41]José Proença
:
Overview on Constrained Multiparty Synchronisation in Team Automata. FACS 2023: 194-205 - [c40]Maurice H. ter Beek
, Guillermina Cledou
, Rolf Hennicker, José Proença
:
Can We Communicate? Using Dynamic Logic to Verify Team Automata. FM 2023: 122-141 - [c39]Maurice H. ter Beek
, Rolf Hennicker, José Proença
:
Realisability of Global Models of Interaction. ICTAC 2023: 236-255 - [c38]José Proença, David Pereira, Giann Spilere Nandi, Sina Borrami, Jonas Melchert:
Spreadsheet-based Configuration of Families of Real-Time Specifications. TiCSA@ETAPS 2023: 27-39 - [i3]José Proença, Luc Edixhoven
:
Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial). CoRR abs/2304.14901 (2023) - 2022
- [j12]Guillermina Cledou, Luc Edixhoven
, Sung-Shik Jongmans, José Proença:
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact). Dagstuhl Artifacts Ser. 8(2): 19:1-19:4 (2022) - [j11]José Proença, Markus Lumpe:
Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017). Sci. Comput. Program. 218: 102803 (2022) - [c37]Guillermina Cledou
, Luc Edixhoven
, Sung-Shik Jongmans, José Proença
:
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. ECOOP 2022: 27:1-27:28 - [c36]Sung-Shik Jongmans, José Proença:
ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming. ISoLA (1) 2022: 460-478 - [c35]José Proença
, Sina Borrami
, Jorge Sanchez de Nova, David Pereira
, Giann Spilere Nandi
:
Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems. RSSRail 2022: 83-94 - [c34]Luc Edixhoven
, Sung-Shik Jongmans, José Proença, Guillermina Cledou:
Branching Pomsets for Choreographies. ICE 2022: 37-52 - [e7]Silvia Lizeth Tapia Tarifa
, José Proença
:
Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings. Lecture Notes in Computer Science 13712, Springer 2022, ISBN 978-3-031-20871-3 [contents] - 2021
- [j10]Joseba Andoni Agirre, Leire Etxeberria, Raul Barbosa
, Stylianos Basagiannis
, Georgios Giantamidis, Thomas Bauer
, Enrico Ferrari
, Mikel Labayen Esnaola
, Vanessa Orani
, Johnny Öberg, David Pereira
, José Proença, Rupert Schlick, Ales Smrcka, Walter Tiberti
, Stefano Tonetta, Marco Bozzano, Ahmet Yazici, Behrooz Sangchoolie
:
The VALU3S ECSEL project: Verification and validation of automated systems safety and security. Microprocess. Microsystems 87: 104349 (2021) - [j9]Guillermina Cledou
, José Proença
, Bernhard H. C. Sputh, Eric Verhulst:
Hubs for VirtuosoNext: Online verification of real-time coordinators. Sci. Comput. Program. 203: 102566 (2021) - [c33]Maurice H. ter Beek
, Guillermina Cledou
, Rolf Hennicker, José Proença
:
Featured Team Automata. FM 2021: 483-502 - [c32]Jose Luis de la Vara, Thomas Bauer, Bernhard Fischer, Mustafa Karaca, Henrique Madeira
, Martin Matschnig, Silvia Mazzini, Giann Spilere Nandi
, Fabio Patrone, David Pereira, José Proença
, Rupert Schlick, Stefano Tonetta, Ugur Yayan, Behrooz Sangchoolie:
A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems. QUATIC 2021: 325-340 - [c31]Thomas Bauer, Joseba Andoni Agirre, David Fürcho, Wolfgang Herzner, Bob Hruska, Mustafa Karaca, David Pereira, José Proença
, Rupert Schlick, Robert Sicher, Ales Smrcka, Ugur Yayan, Behrooz Sangchoolie:
Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S - Invited Paper. SAMOS 2021: 368-382 - [e6]José Proença, Andrei Paskevich:
Proceedings of the 6th Workshop on Formal Integrated Development Environment, F-IDE@NFM 2021, Held online, 24-25th May 2021. EPTCS 338, 2021 [contents] - [i2]Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença:
Featured Team Automata. CoRR abs/2108.01784 (2021) - 2020
- [c30]José Proença
, Guillermina Cledou
:
ARx: Reactive Programming for Synchronous Connectors. COORDINATION 2020: 39-56 - [c29]Sergey Goncharov, Renato Neves, José Proença
:
Implementing Hybrid Semantics: From Functional to Imperative. ICTAC 2020: 262-282 - [c28]Giann Spilere Nandi
, David Pereira, José Proença
, Eduardo Tovar:
Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems. RTSS 2020: 395-398 - [i1]Sergey Goncharov, Renato Neves, José Proença:
Implementing Hybrid Semantics: From Functional to Imperative. CoRR abs/2009.14322 (2020)
2010 – 2019
- 2019
- [c27]Guillermina Cledou
, José Proença
, Bernhard H. C. Sputh, Eric Verhulst:
Coordination of Tasks on a Real-Time OS. COORDINATION 2019: 250-266 - [c26]José Proença
, Alexandre Madeira
:
Taming Hierarchical Connectors. FSEN 2019: 186-193 - [e5]Rosemary Monahan, Virgile Prevosto
, José Proença
:
Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019. EPTCS 310, 2019 [contents] - 2018
- [j8]José Bacelar Almeida
, Alcino Cunha
, Nuno Macedo
, Hugo Pacheco
, José Proença
:
Teaching how to program using automated assessment and functional glossy games (experience report). Proc. ACM Program. Lang. 2(ICFP): 82:1-82:17 (2018) - [c25]Rúben Cruz, José Proença:
ReoLive: Analysing Connectors in Your Browser. STAF Workshops 2018: 336-350 - 2017
- [j7]José Proença
, Dave Clarke:
Typed connector families and their semantics. Sci. Comput. Program. 146: 28-49 (2017) - [c24]Guillermina Cledou
, José Proença
, Luís Soares Barbosa
:
Composing Families of Timed Automata. FSEN 2017: 51-66 - [c23]José Proença
, Carlos Baquero:
Quality-Aware Reactive Programming for the Internet of Things. FSEN 2017: 180-195 - [c22]Raju Halder
, José Proença
, Nuno Macedo
, André Santos
:
Formal Verification of ROS-Based Robotic Applications Using Timed-Automata. FormaliSE@ICSE 2017: 44-50 - [c21]Guillermina Cledou
, José Proença
, Luís Soares Barbosa
:
A Refinement Relation for Families of Timed Automata. SBMF 2017: 161-178 - [e4]José Proença, Markus Lumpe:
Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings. Lecture Notes in Computer Science 10487, Springer 2017, ISBN 978-3-319-68033-0 [contents] - 2016
- [j6]Gowri Sankar Ramachandran
, José Proença
, Wilfried Daniels, Mario Pickavet
, Dimitri Staessens, Christophe Huygens, Wouter Joosen, Danny Hughes:
Hitch Hiker 2.0: a binding model with flexible data aggregation for the Internet-of-Things. J. Internet Serv. Appl. 7(1): 4:1-4:15 (2016) - [j5]Sung-Shik T. Q. Jongmans, Dave Clarke, José Proença
:
A procedure for splitting data-aware processes and its application to coordination. Sci. Comput. Program. 115-116: 47-78 (2016) - [j4]Radu Muschevici, José Proença
, Dave Clarke:
Feature Nets: behavioural modelling of software product lines. Softw. Syst. Model. 15(4): 1181-1206 (2016) - [e3]Alberto Lluch-Lafuente, José Proença
:
Coordination Models and Languages - 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Lecture Notes in Computer Science 9686, Springer 2016, ISBN 978-3-319-39518-0 [contents] - 2015
- [c20]Wilfried Daniels, José Proença
, Dave Clarke, Wouter Joosen, Danny Hughes:
Refraction: Low-Cost Management of Reflective Meta-Data in Pervasive Component-Based Applications. CBSE 2015: 27-36 - [c19]Gowri Sankar Ramachandran
, Wilfried Daniels, José Proença
, Sam Michiels
, Wouter Joosen, Danny Hughes, Barry Porter
:
Hitch Hiker: A Remote Binding Model with Priority Based Data Aggregation for Wireless Sensor Networks. CBSE 2015: 43-48 - [c18]José Proença
, Dave Clarke:
Typed Connector Families. FACS 2015: 294-311 - [c17]Wilfried Daniels, José Proença
, Nelson Matthys, Wouter Joosen, Danny Hughes:
Tomography: lowering management overhead for distributed component-based applications. M4IoT@Middleware 2015: 13-18 - [e2]Javier Cámara, José Proença
:
Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2014, Rome, Italy, 6th September 2014. EPTCS 175, 2015 [contents] - [e1]José Proença
, Massimo Tivoli
:
Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2015, Madrid, Spain, 5th September 2015. EPTCS 201, 2015 [contents] - 2013
- [c16]José Proença
, Dave Clarke:
Interactive Interaction Constraints. COORDINATION 2013: 211-225 - [c15]José Proença
, Dave Clarke:
Data Abstraction in Coordination Constraints. ESOCC Workshops 2013: 159-173 - [c14]Radu Muschevici, Dave Clarke, José Proença
:
Executable modelling of dynamic software product lines in the ABS language. FOSD 2013: 17-24 - 2012
- [j3]Peter Y. H. Wong, Elvira Albert, Radu Muschevici, José Proença
, Jan Schäfer, Rudolf Schlatte
:
The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems. Int. J. Softw. Tools Technol. Transf. 14(5): 567-588 (2012) - [c13]Dave Clarke, José Proença
:
Partial Connector Colouring. COORDINATION 2012: 59-73 - [c12]José Proença
, Dave Clarke, Erik P. de Vink, Farhad Arbab:
Dreams: a framework for distributed synchronous coordination. SAC 2012: 1510-1515 - [c11]Marco Patrignani, Nelson Matthys, José Proença
, Danny Hughes, Dave Clarke:
Formal analysis of policies in wireless sensor network applications. SESENA 2012: 15-21 - [c10]Sung-Shik T. Q. Jongmans, Dave Clarke, José Proença
:
A Procedure for Splitting Processes and its Application to Coordination. FOCLASA 2012: 79-96 - 2011
- [j2]Dave Clarke, José Proença
, Alexander Lazovik, Farhad Arbab:
Channel-based coordination via constraint satisfaction. Sci. Comput. Program. 76(8): 681-710 (2011) - [c9]Radu Muschevici, José Proença
, Dave Clarke:
Modular Modelling of Software Product Lines with Feature Nets. SEFM 2011: 318-333 - [c8]José Proença
, Dave Clarke, Erik P. de Vink, Farhad Arbab:
Decoupled execution of synchronous coordination models via behavioural automata. FOCLASA 2011: 65-79 - 2010
- [c7]Dave Clarke, Radu Muschevici, José Proença
, Ina Schaefer, Rudolf Schlatte
:
Variability Modelling in the ABS Language. FMCO 2010: 204-224 - [c6]Dave Clarke, José Proença:
Towards a Theory of Views for Feature Models. SPLC Workshops 2010: 91-98 - [c5]Radu Muschevici, Dave Clarke, José Proença:
Feature Petri Nets. SPLC Workshops 2010: 99-106
2000 – 2009
- 2009
- [c4]Dave Clarke, José Proença
:
Coordination via Interaction Constraints I: Local Logic. ICE 2009: 17-39 - 2008
- [j1]Christian Koehler, David Costa, José Proença, Farhad Arbab:
Reconfiguration of Reo Connectors Triggered by Dataflow. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008) - [c3]Dave Clarke, José Proença
, Alexander Lazovik, Farhad Arbab:
Deconstructing Reo. FOCLASA@ICALP 2008: 43-58 - 2007
- [c2]José Proença
, Dave Clarke:
Coordination Models Orc and Reo Compared. FOCLASA 2007: 57-76 - 2005
- [c1]Alcino Cunha
, Jorge Sousa Pinto
, José Proença
:
A Framework for Point-Free Program Transformation. IFL 2005: 1-18
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-20 21:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint