( en | de | ru )

 

Disambiguation of "Proença, José"

Author of the publication

copydeleteadd this publication to your clipboard
Hitch Hiker 2.0: a binding model with flexible data aggregation for the Internet-of-Things.

, , , , , , , and . J. Internet Serv. Appl., 7 (1): 4:1-4:15 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

José Aleixo Sousa Proença

Humberto Jorge José

Nadine José Gonzalez

José Baena

José Teixeira

 

Other publications of authors with the same name

Reconfiguration of Reo Connectors Triggered by Dataflow., , , and . ECEASST, (2008)Feature Petri Nets., , and . SPLC Workshops, page 99-106. Lancaster University, (2010)Coordination of Tasks on a Real-Time OS., , , and . COORDINATION, volume 11533 of Lecture Notes in Computer Science, page 250-266. Springer, (2019)Feature Nets: behavioural modelling of software product lines., , and . Softw. Syst. Model., 15 (4): 1181-1206 (2016)Composing Families of Timed Automata., , and . FSEN, volume 10522 of Lecture Notes in Computer Science, page 51-66. Springer, (2017)Coordination Models Orc and Reo Compared., and . FOCLASA, volume 194 of Electronic Notes in Theoretical Computer Science, page 57-76. Elsevier, (2007)Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems., , , , and . RSSRail, volume 13294 of Lecture Notes in Computer Science, page 83-94. Springer, (2022)ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming., and . ISoLA (1), volume 13701 of Lecture Notes in Computer Science, page 460-478. Springer, (2022)Realisability of Global Models of Interaction., , and . ICTAC, volume 14446 of Lecture Notes in Computer Science, page 236-255. Springer, (2023)The VALU3S ECSEL project: Verification and validation of automated systems safety and security., , , , , , , , , and 9 other author(s). Microprocess. Microsystems, (November 2021)