João Paulo Barros
Orcid: 0000-0002-0097-9883Affiliations:
- Instituto Politécnico de Beja, Beja, Portugal
According to our database1,
João Paulo Barros
authored at least 62 papers
between 2000 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024
2nd International Workshop on Cyber-Physical Social Systems for Sustainability: Preface.
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.
Proceedings of the 5th International Computer Programming Education Conference, 2024
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024
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.
Proceedings of the Workshop Petri Net Games, 2024
Using Petri Nets for Analysis of Navigation Paths in Constrained Graphs - Application to Roguelike Games.
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
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.
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.
Proceedings of the 31st IEEE International Symposium on Industrial Electronics, 2022
Configurable Templates for Assistive Technology Mobile Apps: A Block-based Programming Approach.
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.
Proceedings of the 14th International Conference on Computer Supported Education, 2022
Assessment for Computer Programming Courses: A Short Guide for the Undecided Teacher.
Proceedings of the 14th International Conference on Computer Supported Education, 2022
IOPT-Tools - From Executable Models to Automatic Code Generation for Embedded Controllers Development.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022
2020
Proceedings of the 2020 IEEE Global Engineering Education Conference, 2020
2019
Proceedings of the 28th IEEE International Symposium on Industrial Electronics, 2019
Proceedings of the IECON 2019, 2019
Proceedings of the 5th International Conference on Information Systems Security and Privacy, 2019
2018
Proceedings of the IECON 2018, 2018
Bibliometric Analysis of 50 Years of IEEE Industrial Electronics Society Publications.
Proceedings of the IECON 2018, 2018
Students' Perceptions of Paper-Based vs. Computer-Based Testing in an Introductory Programming Course.
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.
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.
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017
Proceedings of the 2017 IEEE Global Engineering Education Conference, 2017
2016
From requirements to code (Re2Code) - A model-based approach for controller implementation.
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.
Proceedings of the CSEDU 2016, 2016
2015
Executable models for Embedded Controllers Development - A Cloud Based Development Framework.
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.
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.
Int. J. Eng. Pedagog., 2014
Proceedings of the 23rd IEEE International Symposium on Industrial Electronics, 2014
Requirements specification for controller design - From use cases to IOPT net models.
Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014
Proceedings of the Technological Innovation for Collective Awareness Systems, 2014
2013
Int. J. Eng. Pedagog., 2013
Proceedings of the ICSOFT 2013, 2013
Proceedings of the ICSOFT 2013, 2013
2012
Proceedings of the final reports on Innovation and technology in computer science education 2012 working groups, 2012
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.
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.
Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2011
Proceedings of the Technological Innovation for Sustainability, 2011
Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System.
Proceedings of the Technological Innovation for Sustainability, 2011
SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design.
Proceedings of the Technological Innovation for Sustainability, 2011
2010
Assessment and grading for CS1: towards a complete toolbox of criteria and techniques.
Proceedings of the 10th Koli Calling International Conference on Computing Education Research, 2010
Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010
2007
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007
2005
Proceedings of the Embedded Systems Handbook., 2005
IEEE Trans. Ind. Informatics, 2005
A Case Study on Coloured Petri Nets in Object-Oriented Analysis and Design.
Nord. J. Comput., 2005
Formal methods for Embedded Systems Co-design: the FORDESIGN project.
Proceedings of the 1st International Workshop on Reconfigurable Communication-centric Systems-on-Chip, 2005
Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2005
Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2005
Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005
Models of Computation for Embedded Systems.
Proceedings of the Industrial Information Technology Handbook, 2005
2004
From Petri Nets to Executable Systems: An Environment for Code Generation and Analysis.
Proceedings of the ICINCO 2004, 2004
Proceedings of the Applications and Theory of Petri Nets 2004, 2004
2003
Using lab exams to ensure programming practice in an introductory programming course.
Proceedings of the 8th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2003
Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003
Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003
2002
Proceedings of the 7th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2002
2001
Proceedings of the IEEE International Conference on Systems, 2001
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.
Proceedings of the 5th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2000