João Paulo Barros

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