João Paulo Barros

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 16

Top Topics

Home Environment

Programming Course

Top Venues

Publications

João Paulo Barros
Sokoban: An Assignment for an Object-Oriented and GUI Programming Course. SIGCSE (2) (2024)
Nuno Fernandes, João Paulo Barros, Rogério Campos-Rebelo
Leveraging High-Level Petri Nets for Cyber-Physical Systems Development. PNSE@Petri Nets (2024)
Isabel Sofia Brito, Ivan Machado, João Paulo Barros
2nd International Workshop on Cyber-Physical Social Systems for Sustainability: Preface. RCIS Workshops (2024)
João Paulo Barros
Boosting Conceptual Thinking in a Programming Course - An Ontology-Based Approach. SIGCSE (2) (2023)
Isabel Sofia Brito, João Paulo Barros
Active Learning Activities in a Pandemic Context for a Software Engineering Course: An Experience Report. CSEDU (2) (2022)
Nuno Fernandes, João Paulo Barros, Rogério Campos-Rebelo
A Graphical and Executable Model for Production Simulation in the Context of Industry 5.0. ISIE (2022)
Isabel Sofia Brito, João Paulo Barros, Elsa Rodrigues
Moving to Project-Based Learning at the Program Level: an Experience Report. EDUCON (2020)
Luís Costa, João Paulo Barros, Miguel Tavares
Vulnerabilities in IoT Devices for Smart Home Environment. ICISSP (2019)
João Paulo Barros, Luís Gomes
From non-autonomous Petri net models to executable state machines. ISIE (2019)
Rui Mesquita, Rogério Campos-Rebelo, João Paulo Barros
Model Based Simulation for a Smart City Project Based on LoRa. IECON (2019)
João Paulo Barros
Students' Perceptions of Paper-Based vs. Computer-Based Testing in an Introductory Programming Course. CSEDU (2) (2018)
João Paulo Barros, Isabel Sofia Brito
Student perspectives on the use of a Java library for novices. EDUCON (2017)
Artur Ataide, João Paulo Barros, Isabel Sofia Brito, Luís Gomes
Towards automatic code generation for distributed cyber-physical systems: A first prototype for Arduino boards. ETFA (2017)
João Amarante, João Paulo Barros
Exploring USB Connection Vulnerabilities on Android Devices - Breaches using the Android Debug Bridge. SECRYPT (2017)
Isabel Sofia Brito, João Paulo Barros, Luís Gomes
From requirements to code (Re2Code) - A model-based approach for controller implementation. INDIN (2016)
João Paulo Barros, Pedro Caixinha, Sofia Soares
Towards a Mobile Application for an Engineering Geology Course - A Contribution to Improved Student Learning. CSEDU (2) (2016)
Fernando Pereira, Filipe Moutinho, João Paulo Barros, Anikó Costa, Luís Gomes
Executable models for Embedded Controllers Development - A Cloud Based Development Framework. P&D@MoDELS (2015)
Isabel Sofia Brito, João Paulo Barros, Luís Gomes
Controller design and implementation: An approach based on problem frames and Petri Net models. INDIN (2015)
Rui Pais, João Paulo Barros, Luís Gomes
From SysML State Machines to Petri Nets Using ATL Transformations. DoCEIS (2014)
João Paulo Barros
On the Description of Individual Course Units for Programme Assessment and Better Syllabuses. Int. J. Eng. Pedagog. 4 (5) (2014)
João Paulo Barros, Isabel Sofia Brito, Luís Gomes
Requirements specification for controller design - From use cases to IOPT net models. INDIN (2014)
Vanda Rosa, Isabel Sofia Brito, João Paulo Barros
SmartRestaurant - A Report on the Development of a NFC-Based Mobile Application. ICSOFT (2013)
João Paulo Barros, Luís Gomes, Luís Garcia
A Proposal for the Description of Individual Course Units. Int. J. Eng. Pedagog. 3 (S1) (2013)
João Paulo Barros
From Concrete to Abstract - About Teaching UML Class Diagrams to Novice Programmers. ICSOFT (2013)
João Paulo Barros, Luís Gomes, Anikó Costa
On the verification of non-autonomous Petri net models using autonomous petri net tools. IECON (2012)
Anikó Costa, Luís Gomes, João Paulo Barros
Model composition by reusing Petri net based modules. IECON (2012)
Barry Burd, João Paulo Barros, Chris Johnson, Stan Kurkovsky, Arnold Rosenbloom, Nikolai Tillmann
Educating for mobile computing: addressing the new challenges. ITiCSE-WGR (2012)
Filipe Moutinho, Luís Gomes, Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, André Monteiro
Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. DoCEIS (2011)
João Paulo Barros, Luís Biscaia, Miguel Vitória
Java2Sequence: a tool for the visualization of object-oriented programs in introductory programming. ITiCSE (2011)
Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Luís Gomes, Jorge Figueiredo, Filipe Moutinho, Anikó Costa, André Aranha
SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. DoCEIS (2011)
Rui Pais, Luís Gomes, João Paulo Barros
Towards Statecharts to Input-Output Place Transition Nets Transformations. DoCEIS (2011)
João Paulo Barros
Assessment and grading for CS1: towards a complete toolbox of criteria and techniques. Koli Calling (2010)
Ricardo Jorge Machado, João M. Fernandes, João Paulo Barros, Luís Gomes
Scenario-Based Modeling in Industrial Information Systems. DIPES/BICC (2010)
Ricardo Nunes, Luís Gomes, João Paulo Barros
A graphical editor for the input-output place-transition petri net class. ETFA (2007)
Rui Pais, João Paulo Barros
Two possible approaches for an intermediate GUI course. ITiCSE (2005)
Rui Pais, João Paulo Barros
Use of flash movies for teaching GUI programming. ITiCSE (2005)
João Paulo Barros, Jens Bæk Jørgensen
A Case Study on Coloured Petri Nets in Object-Oriented Analysis and Design. Nord. J. Comput. 12 (3) (2005)
Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho
Formal methods for Embedded Systems Co-design: the FORDESIGN project. ReCoSoC (2005)
Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho
Towards usage of formal methods within embedded systems co-design. ETFA (2005)
Luís Gomes, João Paulo Barros
Structuring and composability issues in Petri nets modeling. IEEE Trans. Ind. Informatics 1 (2) (2005)
João Paulo Barros, Luís Gomes
On the Use of Coloured Petri Nets for Object-Oriented Design. ICATPN (2004)
João Paulo Barros, Luís Gomes, Rui Pais, Rui Dias
From Petri Nets to Executable Systems: An Environment for Code Generation and Analysis. ICINCO (2) (2004)
João Paulo Barros, Luís Estevens, Rui Dias, Rui Pais, Elisabete Soeiro
Using lab exams to ensure programming practice in an introductory programming course. ITiCSE (2003)
João Paulo Barros, Luís Gomes
Modifying Petri Net Models by Means of Crosscutting Operations. ACSD (2003)
Luís Gomes, João Paulo Barros
On structuring mechanisms for Petri nets based system design. ETFA (2) (2003)
João Paulo Barros
Specific proposals for the use of petri nets in a concurrent programming course. ITiCSE (2002)
João Paulo Barros
Use petri nets to improve your concurrent programming course. ITiCSE (2001)
João Paulo Barros, Rui Pais
A versatile assignment in CS 2(poster session): a file compression utility based on the Huffman code. ITiCSE (2000)