![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
João Paulo Barros
Person information
- affiliation: Instituto Politécnico de Beja, Beja, Portugal
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c55]João-Paulo Barros, Luís Gomes:
Leveraging the Pedagogical Potential of Tile-Based Games for Teaching Petri Net Modeling, the Sokoban Case. PeNGE@Petri Nets 2024 - [c54]Nuno Fernandes, João Paulo Barros, Rogério Campos-Rebelo:
Leveraging High-Level Petri Nets for Cyber-Physical Systems Development. PNSE@Petri Nets 2024: 155-163 - [c53]Luís Gomes, José Ribeiro-Gomes, João-Paulo Barros:
Using Petri Nets for Analysis of Navigation Paths in Constrained Graphs - Application to Roguelike Games. PNSE@Petri Nets 2024: 283-298 - [c52]Fernando Pereira
, João-Paulo Barros
, Filipe Moutinho
, Anikó Costa
, Rogério Campos-Rebelo
, Luís Gomes:
Remote Debugger: A Tool to Remotely Monitor and Operate IOPT-Nets Controllers. Petri Nets 2024: 402-412 - [c51]Isabel Sofia Brito, Ivan Machado, João Paulo Barros:
2nd International Workshop on Cyber-Physical Social Systems for Sustainability: Preface. RCIS Workshops 2024 - [c50]João Paulo Barros
:
Sokoban: An Assignment for an Object-Oriented and GUI Programming Course. SIGCSE (2) 2024: 1564-1565 - [e1]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:
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. CEUR Workshop Proceedings 3674, CEUR-WS.org 2024 [contents] - 2023
- [c49]João Paulo Barros
:
Boosting Conceptual Thinking in a Programming Course - An Ontology-Based Approach. SIGCSE (2) 2023: 1303 - 2022
- [c48]Fernando Pereira
, Filipe Moutinho
, Anikó Costa
, João-Paulo Barros
, Rogério Campos-Rebelo
, Luís Gomes:
IOPT-Tools - From Executable Models to Automatic Code Generation for Embedded Controllers Development. Petri Nets 2022: 127-138 - [c47]Luís Filipe Garcia, João-Paulo Barros
, Candida Viriato:
Configurable Templates for Assistive Technology Mobile Apps: A Block-based Programming Approach. CSEDU (2) 2022: 293-298 - [c46]João-Paulo Barros
:
Assessment for Computer Programming Courses: A Short Guide for the Undecided Teacher. CSEDU (2) 2022: 549-554 - [c45]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: 654-661 - [c44]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: 233-238 - [c43]João-Paulo Barros
, Luís Gomes:
Towards an Integrated Tool Support for the Analysis of IOPT Nets Using the Spin Model Checker. ISIE 2022: 239-244 - 2020
- [c42]Isabel Sofia Brito
, João Paulo Barros
, Elsa Rodrigues:
Moving to Project-Based Learning at the Program Level: an Experience Report. EDUCON 2020: 1614-1621
2010 – 2019
- 2019
- [c41]Luís Costa, João Paulo Barros
, Miguel Tavares
:
Vulnerabilities in IoT Devices for Smart Home Environment. ICISSP 2019: 615-622 - [c40]Rui Mesquita, Rogério Campos-Rebelo
, João Paulo Barros
:
Model Based Simulation for a Smart City Project Based on LoRa. IECON 2019: 5868-5873 - [c39]João Paulo Barros
, Luís Gomes:
From non-autonomous Petri net models to executable state machines. ISIE 2019: 1638-1643 - 2018
- [c38]João Paulo Barros
:
Students' Perceptions of Paper-Based vs. Computer-Based Testing in an Introductory Programming Course. CSEDU (2) 2018: 303-308 - [c37]João M. Fernandes
, João-Paulo Barros
, Luís Gomes:
Bibliometric Analysis of 50 Years of IEEE Industrial Electronics Society Publications. IECON 2018: 3013-3020 - [c36]Luís Gomes, João-Paulo Barros
:
Refining IOPT Petri Nets Class for Embedded System Controller Modeling. IECON 2018: 4720-4725 - 2017
- [c35]João Paulo Barros
, Isabel Sofia Brito
:
Student perspectives on the use of a Java library for novices. EDUCON 2017: 1405-1410 - [c34]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: 1-4 - [c33]João Amarante, João Paulo Barros
:
Exploring USB Connection Vulnerabilities on Android Devices - Breaches using the Android Debug Bridge. SECRYPT 2017: 572-577 - 2016
- [c32]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: 421-426 - [c31]Isabel Sofia Brito
, João Paulo Barros
, Luís Gomes:
From requirements to code (Re2Code) - A model-based approach for controller implementation. INDIN 2016: 1224-1230 - 2015
- [c30]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: 860-867 - [c29]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: 40-43 - 2014
- [j4]João Paulo Barros
:
On the Description of Individual Course Units for Programme Assessment and Better Syllabuses. Int. J. Eng. Pedagog. 4(5): 28-33 (2014) - [c28]Rui Pais, João Paulo Barros
, Luís Gomes:
From SysML State Machines to Petri Nets Using ATL Transformations. DoCEIS 2014: 227-236 - [c27]João Paulo Barros
, Isabel Sofia Brito
, Luís Gomes:
Requirements specification for controller design - From use cases to IOPT net models. INDIN 2014: 207-212 - [c26]João-Paulo Barros
, Luís Gomes
:
Towards the use of Place/Transition net tools for analysis of IOPT models. ISIE 2014: 1141-1146 - 2013
- [j3]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): 71-75 (2013) - [c25]João Paulo Barros:
From Concrete to Abstract - About Teaching UML Class Diagrams to Novice Programmers. ICSOFT 2013: 278-283 - [c24]Vanda Rosa, Isabel Sofia Brito
, João Paulo Barros:
SmartRestaurant - A Report on the Development of a NFC-Based Mobile Application. ICSOFT 2013: 322-327 - 2012
- [c23]Anikó Costa
, Luís Gomes, João Paulo Barros
:
Model composition by reusing Petri net based modules. IECON 2012: 6132-6137 - [c22]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: 6138-6143 - [c21]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: 51-63 - 2011
- [c20]Rui Pais, Luís Gomes, João Paulo Barros
:
Towards Statecharts to Input-Output Place Transition Nets Transformations. DoCEIS 2011: 227-236 - [c19]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: 237-245 - [c18]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: 256-265 - [c17]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: 369 - 2010
- [c16]Ricardo Jorge Machado
, João M. Fernandes
, João Paulo Barros
, Luís Gomes:
Scenario-Based Modeling in Industrial Information Systems. DIPES/BICC 2010: 19-30 - [c15]João Paulo Barros
:
Assessment and grading for CS1: towards a complete toolbox of criteria and techniques. Koli Calling 2010: 106-111
2000 – 2009
- 2007
- [c14]Ricardo Nunes, Luís Gomes, João Paulo Barros
:
A graphical editor for the input-output place-transition petri net class. ETFA 2007: 788-791 - 2005
- [j2]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): 229-250 (2005) - [j1]Luís Gomes, João Paulo Barros
:
Structuring and composability issues in Petri nets modeling. IEEE Trans. Ind. Informatics 1(2): 112-123 (2005) - [c13]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 - [c12]Rui Pais, João Paulo Barros
:
Two possible approaches for an intermediate GUI course. ITiCSE 2005: 365 - [c11]Rui Pais, João Paulo Barros:
Use of flash movies for teaching GUI programming. ITiCSE 2005: 390 - [c10]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: 143-150 - [p1]Luís Gomes, João Paulo Barros:
Models of Computation for Embedded Systems. The Industrial Information Technology Handbook 2005: 1-17 - [r1]João Paulo Barros, Anikó Costa
, Luís Gomes:
Modeling Formalisms for Embedded System Design. Embedded Systems Handbook 2005 - 2004
- [c9]João Paulo Barros
, Luís Gomes:
On the Use of Coloured Petri Nets for Object-Oriented Design. ICATPN 2004: 117-136 - [c8]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: 464-467 - 2003
- [c7]João Paulo Barros
, Luís Gomes:
Modifying Petri Net Models by Means of Crosscutting Operations. ACSD 2003: 177-186 - [c6]Luís Gomes, João Paulo Barros
:
On structuring mechanisms for Petri nets based system design. ETFA (2) 2003: 431-438 - [c5]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: 16-20 - 2002
- [c4]João Paulo Barros:
Specific proposals for the use of petri nets in a concurrent programming course. ITiCSE 2002: 165-167 - 2001
- [c3]João Paulo Barros:
Use petri nets to improve your concurrent programming course. ITiCSE 2001: 192 - [c2]Luís Gomes, João-Paulo Barros, Anikó Costa:
Man-machine interface for real-time telecontrol based onPetri nets specification. SMC 2001: 1565-1570 - 2000
- [c1]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: 185
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint