Daniel Bujosa

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 10

Top Topics

Coloured Petri Nets

Formal Verification

Resource Management

Top Venues

IEEE Trans. Ind. Informatics

Publications

Inés Álvarez, Daniel Bujosa, Bjarne Johansson, Mohammad Ashjaei, Saad Mubeen
Centralised Architecture for the Automatic Self-Configuration of Industrial Networks. ETFA (2023)
Daniel Bujosa, Julián Proenza, Alessandro V. Papadopoulos, Thomas Nolte, Mohammad Ashjaei
Introducing Guard Frames to Ensure Schedulability of All TSN Traffic Classes. ETFA (2023)
Daniel Bujosa, Andreas Johansson, Mohammad Ashjaei, Alessandro V. Papadopoulos, Julián Proenza, Thomas Nolte
The Effects of Clock Synchronization in TSN Networks with Legacy End-Stations. ETFA (2022)
Daniel Bujosa, Mohammad Ashjaei, Alessandro V. Papadopoulos, Thomas Nolte, Julián Proenza
HERMES: Heuristic Multi-queue Scheduler for TSN Time-Triggered Traffic with Zero Reception Jitter Capabilities. RTNS (2022)
Daniel Bujosa, Inés Álvarez, Julián Proenza
CSRP: An Enhanced Protocol for Consistent Reservation of Resources in AVB/TSN. IEEE Trans. Ind. Informatics 17 (5) (2021)
Inés Álvarez, Luis Moutinho, Paulo Pedreiras, Daniel Bujosa, Julián Proenza, Luís Almeida
Correction to "Comparing Admission Control Architectures for Real-Time Ethernet". IEEE Access 8 (2020)
Ines Alvarez, Luis Moutinho, Paulo Pedreiras, Daniel Bujosa, Julián Proenza, Luís Almeida
Comparing Admission Control Architectures for Real-Time Ethernet. IEEE Access 8 (2020)
Daniel Bujosa, Inés Álvarez, Julián Proenza
Description of the UPPAAL Models for SRP and CSRP and Verification of their Termination and Consistency Properties. CoRR (2020)
Daniel Bujosa, Sergi Arguimbau, Patricia Arguimbau, Julián Proenza, Manuel Barranco
Formal Verification of the FTTRS Mechanisms for the Consistent Update of the Traffic Schedule. ETFA (2019)
Daniel Bujosa, Ines Alvarez, Drago Cavka, Julián Proenza
Analysing Termination and Consistency in the AVB's Stream Reservation Protocol. ETFA (2019)