João Paulo Barros

According to our database, João Paulo Barros authored at least 62 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Sokoban: An Assignment for an Object-Oriented and GUI Programming Course.

João Paulo Barros

Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024

2nd International Workshop on Cyber-Physical Social Systems for Sustainability: Preface.

Isabel Sofia Brito, Ivan Machado, João Paulo Barros

Proceedings of the Joint Proceedings of RCIS 2024 Workshops and Research Projects Track co-located with the 18th International Conferecence on Research Challenges in Information Science (RCIS 2024), 2024

Promoting Deep Learning Through a Concept Map-Building Collaborative Activity in an Introductory Programming Course.

João Paulo Barros

Proceedings of the 5th International Computer Programming Education Conference, 2024

Remote Debugger: A Tool to Remotely Monitor and Operate IOPT-Nets Controllers.

Fernando Pereira, João-Paulo Barros, Filipe Moutinho, Anikó Costa, Rogério Campos-Rebelo, Luís Gomes

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024

Leveraging High-Level Petri Nets for Cyber-Physical Systems Development.

Nuno Fernandes, João Paulo Barros, Rogério Campos-Rebelo

Proceedings of the International Workshop on Petri Nets and Software Engineering 2024 co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2024), June 24, 2024

Leveraging the Pedagogical Potential of Tile-Based Games for Teaching Petri Net Modeling, the Sokoban Case.

João-Paulo Barros, Luís Gomes

Proceedings of the Workshop Petri Net Games, 2024

Using Petri Nets for Analysis of Navigation Paths in Constrained Graphs - Application to Roguelike Games.

Luís Gomes, José Ribeiro-Gomes, João-Paulo Barros

Proceedings of the International Workshop on Petri Nets and Software Engineering 2024 co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2024), June 24, 2024

2023

Boosting Conceptual Thinking in a Programming Course - An Ontology-Based Approach.

João Paulo Barros

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

2022

A Graphical and Executable Model for Production Simulation in the Context of Industry 5.0.

Nuno Fernandes, João Paulo Barros, Rogério Campos-Rebelo

Proceedings of the 31st IEEE International Symposium on Industrial Electronics, 2022

Towards an Integrated Tool Support for the Analysis of IOPT Nets Using the Spin Model Checker.

João-Paulo Barros, Luís Gomes

Proceedings of the 31st IEEE International Symposium on Industrial Electronics, 2022

Configurable Templates for Assistive Technology Mobile Apps: A Block-based Programming Approach.

Luís Filipe Garcia, João-Paulo Barros, Candida Viriato

Proceedings of the 14th International Conference on Computer Supported Education, 2022

Active Learning Activities in a Pandemic Context for a Software Engineering Course: An Experience Report.

Isabel Sofia Brito, João Paulo Barros

Proceedings of the 14th International Conference on Computer Supported Education, 2022

Assessment for Computer Programming Courses: A Short Guide for the Undecided Teacher.

João-Paulo Barros

Proceedings of the 14th International Conference on Computer Supported Education, 2022

IOPT-Tools - From Executable Models to Automatic Code Generation for Embedded Controllers Development.

Fernando Pereira, Filipe Moutinho, Anikó Costa, João-Paulo Barros, Rogério Campos-Rebelo, Luís Gomes

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022

2020

Moving to Project-Based Learning at the Program Level: an Experience Report.

Isabel Sofia Brito, João Paulo Barros, Elsa Rodrigues

Proceedings of the 2020 IEEE Global Engineering Education Conference, 2020

2019

From non-autonomous Petri net models to executable state machines.

João Paulo Barros, Luís Gomes

Proceedings of the 28th IEEE International Symposium on Industrial Electronics, 2019

Model Based Simulation for a Smart City Project Based on LoRa.

Rui Mesquita, Rogério Campos-Rebelo, João Paulo Barros

Proceedings of the IECON 2019, 2019

Vulnerabilities in IoT Devices for Smart Home Environment.

Luís Costa, João Paulo Barros, Miguel Tavares

Proceedings of the 5th International Conference on Information Systems Security and Privacy, 2019

2018

Refining IOPT Petri Nets Class for Embedded System Controller Modeling.

Luís Gomes, João-Paulo Barros

Proceedings of the IECON 2018, 2018

Bibliometric Analysis of 50 Years of IEEE Industrial Electronics Society Publications.

João M. Fernandes, João-Paulo Barros, Luís Gomes

Proceedings of the IECON 2018, 2018

Students' Perceptions of Paper-Based vs. Computer-Based Testing in an Introductory Programming Course.

João Paulo Barros

Proceedings of the 10th International Conference on Computer Supported Education, 2018

2017

Exploring USB Connection Vulnerabilities on Android Devices - Breaches using the Android Debug Bridge.

João Amarante, João Paulo Barros

Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017), 2017

Towards automatic code generation for distributed cyber-physical systems: A first prototype for Arduino boards.

Artur Ataide, João Paulo Barros, Isabel Sofia Brito, Luís Gomes

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

Student perspectives on the use of a Java library for novices.

João Paulo Barros, Isabel Sofia Brito

Proceedings of the 2017 IEEE Global Engineering Education Conference, 2017

2016

From requirements to code (Re2Code) - A model-based approach for controller implementation.

Isabel Sofia Brito, João Paulo Barros, Luís Gomes

Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016

Towards a Mobile Application for an Engineering Geology Course - A Contribution to Improved Student Learning.

João Paulo Barros, Pedro Caixinha, Sofia Soares

Proceedings of the CSEDU 2016, 2016

2015

Executable models for Embedded Controllers Development - A Cloud Based Development Framework.

Fernando Pereira, Filipe Moutinho, João Paulo Barros, Anikó Costa, Luís Gomes

Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

Controller design and implementation: An approach based on problem frames and Petri Net models.

Isabel Sofia Brito, João Paulo Barros, Luís Gomes

Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

2014

On the Description of Individual Course Units for Programme Assessment and Better Syllabuses.

João Paulo Barros

Int. J. Eng. Pedagog., 2014

Towards the use of Place/Transition net tools for analysis of IOPT models.

João-Paulo Barros, Luís Gomes

Proceedings of the 23rd IEEE International Symposium on Industrial Electronics, 2014

Requirements specification for controller design - From use cases to IOPT net models.

João Paulo Barros, Isabel Sofia Brito, Luís Gomes

Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

From SysML State Machines to Petri Nets Using ATL Transformations.

Rui Pais, João Paulo Barros, Luís Gomes

Proceedings of the Technological Innovation for Collective Awareness Systems, 2014

2013

A Proposal for the Description of Individual Course Units.

João Paulo Barros, Luís Gomes, Luís Garcia

Int. J. Eng. Pedagog., 2013

SmartRestaurant - A Report on the Development of a NFC-Based Mobile Application.

Vanda Rosa, Isabel Sofia Brito, João Paulo Barros

Proceedings of the ICSOFT 2013, 2013

From Concrete to Abstract - About Teaching UML Class Diagrams to Novice Programmers.

João Paulo Barros

Proceedings of the ICSOFT 2013, 2013

2012

Educating for mobile computing: addressing the new challenges.

Barry Burd, João Paulo Barros, Chris Johnson, Stan Kurkovsky, Arnold Rosenbloom, Nikolai Tillmann

Proceedings of the final reports on Innovation and technology in computer science education 2012 working groups, 2012

Model composition by reusing Petri net based modules.

Anikó Costa, Luís Gomes, João Paulo Barros

Proceedings of the 38th Annual Conference on IEEE Industrial Electronics Society, 2012

On the verification of non-autonomous Petri net models using autonomous petri net tools.

João Paulo Barros, Luís Gomes, Anikó Costa

Proceedings of the 38th Annual Conference on IEEE Industrial Electronics Society, 2012

2011

Java2Sequence: a tool for the visualization of object-oriented programs in introductory programming.

João Paulo Barros, Luís Biscaia, Miguel Vitória

Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2011

Towards Statecharts to Input-Output Place Transition Nets Transformations.

Rui Pais, Luís Gomes, João Paulo Barros

Proceedings of the Technological Innovation for Sustainability, 2011

Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System.

Filipe Moutinho, Luís Gomes, Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, André Monteiro

Proceedings of the Technological Innovation for Sustainability, 2011

SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design.

Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Luís Gomes, Jorge Figueiredo, Filipe Moutinho, Anikó Costa, André Aranha

Proceedings of the Technological Innovation for Sustainability, 2011

2010

Assessment and grading for CS1: towards a complete toolbox of criteria and techniques.

João Paulo Barros

Proceedings of the 10th Koli Calling International Conference on Computing Education Research, 2010

Scenario-Based Modeling in Industrial Information Systems.

Ricardo Jorge Machado, João M. Fernandes, João Paulo Barros, Luís Gomes

Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

2007

A graphical editor for the input-output place-transition petri net class.

Ricardo Nunes, Luís Gomes, João Paulo Barros

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

2005

Modeling Formalisms for Embedded System Design.

João Paulo Barros, Anikó Costa, Luís Gomes

Proceedings of the Embedded Systems Handbook., 2005

Structuring and composability issues in Petri nets modeling.

Luís Gomes, João Paulo Barros

IEEE Trans. Ind. Informatics, 2005

A Case Study on Coloured Petri Nets in Object-Oriented Analysis and Design.

João Paulo Barros, Jens Bæk Jørgensen

Nord. J. Comput., 2005

Formal methods for Embedded Systems Co-design: the FORDESIGN project.

Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho

Proceedings of the 1st International Workshop on Reconfigurable Communication-centric Systems-on-Chip, 2005

Use of flash movies for teaching GUI programming.

Rui Pais, João Paulo Barros

Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2005

Two possible approaches for an intermediate GUI course.

Rui Pais, João Paulo Barros

Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2005

Towards usage of formal methods within embedded systems co-design.

Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho

Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

Models of Computation for Embedded Systems.

Luís Gomes, João Paulo Barros

Proceedings of the Industrial Information Technology Handbook, 2005

2004

From Petri Nets to Executable Systems: An Environment for Code Generation and Analysis.

João Paulo Barros, Luís Gomes, Rui Pais, Rui Dias

Proceedings of the ICINCO 2004, 2004

On the Use of Coloured Petri Nets for Object-Oriented Design.

João Paulo Barros, Luís Gomes

Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003

Using lab exams to ensure programming practice in an introductory programming course.

João Paulo Barros, Luís Estevens, Rui Dias, Rui Pais, Elisabete Soeiro

Proceedings of the 8th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2003

On structuring mechanisms for Petri nets based system design.

Luís Gomes, João Paulo Barros

Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003

Modifying Petri Net Models by Means of Crosscutting Operations.

João Paulo Barros, Luís Gomes

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002

Specific proposals for the use of petri nets in a concurrent programming course.

João Paulo Barros

Proceedings of the 7th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2002

2001

Man-machine interface for real-time telecontrol based onPetri nets specification.

Luís Gomes, João-Paulo Barros, Anikó Costa

Proceedings of the IEEE International Conference on Systems, 2001

Use petri nets to improve your concurrent programming course.

João Paulo Barros

Proceedings of the 6th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2001

2000

A versatile assignment in CS 2(poster session): a file compression utility based on the Huffman code.

João Paulo Barros, Rui Pais

Proceedings of the 5th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2000