| Towards an Integrated Tool Support for the Analysis of IOPT Nets Using the Spin Model Checker | 0 | 0.34 | 2022 |
| Bibliometric Analysis Of 50 Years Of Ieee Industrial Electronics Society Publications | 0 | 0.34 | 2018 |
| Refining Iopt Petri Nets Class For Embedded System Controller Modeling | 0 | 0.34 | 2018 |
| Towards Automatic Code Generation For Distributed Cyber-Physical Systems: A First Prototype For Arduino Boards | 0 | 0.34 | 2017 |
| Student perspectives on the use of a Java library for novices. | 0 | 0.34 | 2017 |
| From Requirements To Code (Re2code) - A Model-Based Approach For Controller Implementation | 0 | 0.34 | 2016 |
| Executable models for Embedded Controllers Development - A Cloud Based Development Framework. | 0 | 0.34 | 2015 |
| Controller Design And Implementation: An Approach Based On Problem Frames And Petri Net Models | 0 | 0.34 | 2015 |
| On The Description Of Individual Course Units For Programme Assessment And Better Syllabuses | 0 | 0.34 | 2014 |
| From SysML State Machines to Petri Nets Using ATL Transformations. | 1 | 0.35 | 2014 |
| A Proposal For The Description Of Individual Course Units | 0 | 0.34 | 2013 |
| From Concrete to Abstract - About Teaching UML Class Diagrams to Novice Programmers. | 0 | 0.34 | 2013 |
| SmartRestaurant - A Report on the Development of a NFC-Based Mobile Application. | 0 | 0.34 | 2013 |
| Educating for mobile computing: addressing the new challenges | 17 | 1.11 | 2012 |
| SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design | 1 | 0.35 | 2011 |
| Java2Sequence: a tool for the visualization of object-oriented programs in introductory programming | 0 | 0.34 | 2011 |
| Towards Statecharts to Input-Output Place Transition Nets Transformations | 2 | 0.45 | 2011 |
| Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System | 1 | 0.43 | 2011 |
| Assessment and grading for CS1: towards a complete toolbox of criteria and techniques | 3 | 0.39 | 2010 |
| A graphical editor for the input-output place-transition petri net class. | 3 | 0.79 | 2007 |
| Formal methods for Embedded Systems Co-design: the FORDESIGN project | 4 | 0.63 | 2005 |
| A case study of coloured Petri nets in object-oriented analysis and design | 3 | 0.40 | 2005 |
| Structuring and composability issues in Petri nets modeling | 30 | 2.36 | 2005 |
| Two possible approaches for an intermediate GUI course | 0 | 0.34 | 2005 |
| Towards Usage Of Formal Methods Within Embedded Systems Co-Design | 8 | 0.75 | 2005 |
| Use of flash movies for teaching GUI programming | 0 | 0.34 | 2005 |
| On the Use of Coloured Petri Nets for Object-Oriented Design | 2 | 0.43 | 2004 |
| From Petri Nets to Executable Systems: An Environment for Code Generation and Analysis | 1 | 0.48 | 2004 |
| Using lab exams to ensure programming practice in an introductory programming course | 13 | 1.34 | 2003 |
| On structuring mechanisms for Petri nets based system design | 9 | 0.70 | 2003 |
| Modifying Petri Net Models by Means of Crosscutting Operations | 5 | 0.57 | 2003 |
| Specific proposals for the use of petri nets in a concurrent programming course | 2 | 0.43 | 2002 |
| Man-machine interface for real-time telecontrol based onPetri nets specification | 0 | 0.34 | 2001 |
| Use petri nets to improve your concurrent programming course | 0 | 0.34 | 2001 |
| A versatile assignment in CS 2 (poster session): a file compression utility based on the Huffman code | 0 | 0.34 | 2000 |
