Publications | João Bastos

Compositional specification of functionality and timing of manufacturing systems

Bram van der Sanden, João Bastos, Marc Geilen, Michel Reniers, Jeroen Voeten, Twan Basten, Ramon Schiffelers

PDF

Mode-controlled data-flow modeling of real-time memory controllers

Younghui Li, Hrishikesh Salunkhe, João Bastos, Orlando Moreira, Benny Akesson, Kees Goosens

Modeling Resource Sharing using FSM-SADF

João Bastos, Sander Stuijk, Jeroen Voeten, Ramon Schiffelers, Johan Jacobs, Henk Corporaal

PDF

xCPS : a tool to eXplore cyber physical systems (extended)

Shreya Adyanthaya, Hadi Alizadeh Ara, João Bastos, Amir Behrouzian, Róbinson Medina Sánchez, Joost van Pinxten, Bram van der Sanden, Umar Waqas, Twan Basten, Henk Corporaal, Raymond Frijns, Marc Geilen, Dip Goswami, Sander Stuijk, Michel Reniers, Jeroen Voeten

PDF

xCPS : a tool to eXplore cyber physical systems

Shreya Adyanthaya, Hadi Alizadeh Ara, João Bastos, Amir Behrouzian, Róbinson Medina Sánchez, Joost van Pinxten, Bram van der Sanden, Umar Waqas, Twan Basten, Henk Corporaal, Raymond Frijns, Marc Geilen, Dip Goswami, Sander Stuijk, Michel Reniers, Jeroen Voeten

PDF

Analyzing preemptive fixed priority scheduling of data flow graphs

Alok Lele, Orlando Moreira, Kees van Berkel, João Bastos, Ricardo Almeida, Paulo Pedreiras