Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

João Paulo Barros

João-Paulo Barros

> Home > Persons

Person information

affiliation: Instituto Politécnico de Beja, Beja, Portugal

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2014
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/i-jep/Barros14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/i-jep/Barros14
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)
2013
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/i-jep/BarrosGG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/i-jep/BarrosGG13
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)
2005
[j2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/njc/BarrosJ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/njc/BarrosJ05
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/GomesB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/GomesB05
Luís Gomes, João Paulo Barros:
Structuring and composability issues in Petri nets modeling. IEEE Trans. Ind. Informatics 1(2): 112-123 (2005)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c51]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/rcis/BritoMB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rcis/BritoMB24
Isabel Sofia Brito, Ivan Machado, João Paulo Barros:
2nd International Workshop on Cyber-Physical Social Systems for Sustainability: Preface. RCIS Workshops 2024
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/Barros24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/Barros24
João Paulo Barros:
Sokoban: An Assignment for an Object-Oriented and GUI Programming Course. SIGCSE (2) 2024: 1564-1565
2023
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/Barros23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/Barros23
João Paulo Barros:
Boosting Conceptual Thinking in a Programming Course - An Ontology-Based Approach. SIGCSE (2) 2023: 1303
2022
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/PereiraMCBCG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/PereiraMCBCG22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/csedu/GarciaBV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csedu/GarciaBV22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/csedu/Barros22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csedu/Barros22
João-Paulo Barros:
Assessment for Computer Programming Courses: A Short Guide for the Undecided Teacher. CSEDU (2) 2022: 549-554
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/csedu/BritoB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csedu/BritoB22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/FernandesBC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/FernandesBC22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/BarrosG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/BarrosG22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/educon/BritoBR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/educon/BritoBR20
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
2019
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/icissp/CostaBT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icissp/CostaBT19
Luís Costa, João Paulo Barros, Miguel Tavares:
Vulnerabilities in IoT Devices for Smart Home Environment. ICISSP 2019: 615-622
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/MesquitaCB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/MesquitaCB19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/Barros019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/Barros019
João Paulo Barros, Luís Gomes:
From non-autonomous Petri net models to executable state machines. ISIE 2019: 1638-1643
2018
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/csedu/Barros18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csedu/Barros18
João Paulo Barros:
Students' Perceptions of Paper-Based vs. Computer-Based Testing in an Introductory Programming Course. CSEDU (2) 2018: 303-308
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/FernandesBG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/FernandesBG18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/GomesB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/GomesB18
Luís Gomes, João-Paulo Barros:
Refining IOPT Petri Nets Class for Embedded System Controller Modeling. IECON 2018: 4720-4725
2017
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/educon/BarrosB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/educon/BarrosB17
João Paulo Barros, Isabel Sofia Brito:
Student perspectives on the use of a Java library for novices. EDUCON 2017: 1405-1410
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/AtaideBB017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/AtaideBB017
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]
- view
  authority control:
- export record
  dblp key:
  - conf/secrypt/AmaranteB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secrypt/AmaranteB17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/csedu/BarrosCS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csedu/BarrosCS16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/BritoB016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/BritoB016
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]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/BritoBG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/BritoBG15
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/PereiraMBC015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/PereiraMBC015
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
[c28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/PaisBG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/PaisBG14
Rui Pais, João Paulo Barros, Luís Gomes:
From SysML State Machines to Petri Nets Using ATL Transformations. DoCEIS 2014: 227-236
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/BarrosBG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/BarrosBG14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/BarrosG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/BarrosG14
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
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/Barros13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/Barros13
João Paulo Barros:
From Concrete to Abstract - About Teaching UML Class Diagrams to Novice Programmers. ICSOFT 2013: 278-283
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/RosaBB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/RosaBB13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/Costa0B12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/Costa0B12
Anikó Costa, Luís Gomes, João Paulo Barros:
Model composition by reusing Petri net based modules. IECON 2012: 6132-6137
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/Barros0C12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/Barros0C12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/BurdB0KRT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/BurdB0KRT12
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/PaisGB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/PaisGB11
Rui Pais, Luís Gomes, João Paulo Barros:
Towards Statecharts to Input-Output Place Transition Nets Transformations. DoCEIS 2011: 227-236
[c19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/MoutinhoGBBRFCM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/MoutinhoGBBRFCM11
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/BarbosaBRGFMCA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/BarbosaBRGFMCA11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/BarrosBV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/BarrosBV11
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip10-3/MachadoFBG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip10-3/MachadoFBG10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/kolicalling/Barros10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kolicalling/Barros10
João Paulo Barros:
Assessment and grading for CS1: towards a complete toolbox of criteria and techniques. Koli Calling 2010: 106-111
2007
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/NunesGB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/NunesGB07
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
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/GomesBCPM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/GomesBCPM05
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/PaisB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/PaisB05
Rui Pais, João Paulo Barros:
Two possible approaches for an intermediate GUI course. ITiCSE 2005: 365
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/PaisB05a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/PaisB05a
Rui Pais, João Paulo Barros:
Use of flash movies for teaching GUI programming. ITiCSE 2005: 390
[c10]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/recosoc/GomesBCPM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/recosoc/GomesBCPM05
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
2004
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BarrosG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BarrosG04
João Paulo Barros, Luís Gomes:
On the Use of Coloured Petri Nets for Object-Oriented Design. ICATPN 2004: 117-136
[c8]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/icinco/BarrosGPD04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icinco/BarrosGPD04
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]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/BarrosG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/BarrosG03
João Paulo Barros, Luís Gomes:
Modifying Petri Net Models by Means of Crosscutting Operations. ACSD 2003: 177-186
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/GomesB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/GomesB03
Luís Gomes, João Paulo Barros:
On structuring mechanisms for Petri nets based system design. ETFA (2) 2003: 431-438
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/BarrosEDPS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/BarrosEDPS03
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/Barros02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/Barros02
João Paulo Barros:
Specific proposals for the use of petri nets in a concurrent programming course. ITiCSE 2002: 165-167
2001
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/Barros01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/Barros01
João Paulo Barros:
Use petri nets to improve your concurrent programming course. ITiCSE 2001: 192
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/GomesBC01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/GomesBC01
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/BarrosP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/BarrosP00
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

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2005
[p1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - books/crc/IIR2005/GomesB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/crc/IIR2005/GomesB05
Luís Gomes, João Paulo Barros:
Models of Computation for Embedded Systems. The Industrial Information Technology Handbook 2005: 1-17

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2024
[e1]
- view
- export record
  dblp key:
  - conf/rcis/2024w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rcis/2024w
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]

Reference Works

see FAQ

What is the meaning of the colors in the publication lists?

2005
[r1]
- view
  authority control:
- export record
  dblp key:
  - reference/crc/BarrosCG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/crc/BarrosCG05
João Paulo Barros, Anikó Costa, Luís Gomes:
Modeling Formalisms for Embedded System Design. Embedded Systems Handbook 2005

Coauthor Index

see FAQ

a service of

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.