( 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é García

José Baena

 

Other publications of authors with the same name

The VALU3S ECSEL project: Verification and validation of automated systems safety and security., , , , , , , , , and 9 other author(s). Microprocess. Microsystems, (November 2021)Hubs for VirtuosoNext: Online verification of real-time coordinators., , , and . Sci. Comput. Program., (2021)Reconfiguration of Reo Connectors Triggered by Dataflow., , , and . ECEASST, (2008)Composing Families of Timed Automata., , and . FSEN, volume 10522 of Lecture Notes in Computer Science, page 51-66. Springer, (2017)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)Feature Petri Nets., , and . SPLC Workshops, page 99-106. Lancaster University, (2010)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)Coordination Models Orc and Reo Compared., and . FOCLASA, volume 194 of Electronic Notes in Theoretical Computer Science, page 57-76. Elsevier, (2007)