João Bastos

Researcher and Systems Enginer

Eindhoven University of Technology

Biography

Embedded systems engineer with an interest for real time systems. Moved to the Netherlands to learn formal design and verification of real-time systems. During his PhD studies developed an interest for algorithm design and embedded software architecture. Open to share and learn from others. Most creative and commited when the environment is challenging and team oriented. Currently looking for a new place to make a transition towards industry and start a carreer.

Interests

Model-driven Systems Engineering
Modeling, Verification and Optimization
Real-time Control Systems
Statistic Analysis and Machine Learning

Education

PhD in Model-driven design, analysis and optimization, 2018

Eindhoven University of Technology, Eindhoven, The Netherlands
MSc in Electronics and Telecommunications, 2013

University of Aveiro, Aveiro, Portugal
Erasmus program in Computer Science and Neural Networks, 20011

Adam Mickweziks Univeristy, Poznan, Poland

Selected Publications

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

Cyber-Physical Systems (CPS) play an important role in the modern high-tech industry. Designing such systems is a challenging task due to the multi-disciplinary nature of these systems, and the range of abstraction levels involved. To facilitate hands-on experience with such systems, we develop a cyber-physical platform that aids in research and education on CPS. This paper describes this platform, which contains all typical cps components. The platform is used in various research and education projects for bachelor, master, and PhD students. We discuss the platform and a number of projects and the educational opportunities they provide.

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

In ACM SIGBED Review - Special Issue on Embedded and Cyber-Physical Systems Education Volume 14, Issue 1, October 2016, ACM., 1970

PDF

Recent Publications

Bram van der Sanden, João Bastos, Marc Geilen, Michel Reniers, Jeroen Voeten, Twan Basten, Ramon Schiffelers. Compositional specification of functionality and timing of manufacturing systems. In Proceedings of the 2016 Forum on specification and Design Languages, FDL 2016, Bremen, Germany, September 14-16, 2016, 2016.

PDF

Younghui Li, Hrishikesh Salunkhe, João Bastos, Orlando Moreira, Benny Akesson, Kees Goosens. Mode-controlled data-flow modeling of real-time memory controllers. In ESTIMedia 2015 - 13th IEEE Symposium on Embedded Systems for Real-Time Multimedia, 2015.

João Bastos, Sander Stuijk, Jeroen Voeten, Ramon Schiffelers, Johan Jacobs, Henk Corporaal. Modeling Resource Sharing using FSM-SADF. In ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), 23 September 2015, Austin, Texas, 2015.

PDF

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. xCPS : a tool to eXplore cyber physical systems. In 2015 Workshop on Embedded and Cyber-Physical Systems Education, WESE 2015, ACM., 1970.

PDF

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. xCPS : a tool to eXplore cyber physical systems (extended). In ACM SIGBED Review - Special Issue on Embedded and Cyber-Physical Systems Education Volume 14, Issue 1, October 2016, ACM., 1970.

PDF

Alok Lele, Orlando Moreira, Kees van Berkel, João Bastos, Ricardo Almeida, Paulo Pedreiras. Analyzing preemptive fixed priority scheduling of data flow graphs. In 2014 IEEE 12th Symposium on Embedded Systems for Real-time Multimedia, ESTIMedia, Greater Noida, India, October 16-17, 2014, 1970.

Recent & Upcoming Talks

Projects

Custom Section

This is an example of using the custom widget to create your own homepage section.

To remove this section, either delete content/home/teaching.md or edit the frontmatter of the file to deactivate the widget by setting active = false.

Contact

test@example.org
+31642243494
Eindhoven, The Netherlands | Porto, Portugal (from August 18)