| Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs. | 1 | 0.37 | 2018 |
| Emulation Of Electronic Instrumentation Devices Supporting Sailboat'S Autonomous Navigation | 0 | 0.34 | 2017 |
| Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented in FPGA Devices. | 2 | 0.39 | 2017 |
| Reconfigurable devices based experimentation supporting teaching introductory digital systems | 0 | 0.34 | 2017 |
| Wind Speed And Direction Meadurement Based On Time Of Flight Ultrasonic Anemometer | 0 | 0.34 | 2017 |
| Model-Based Development of an Autonomous Sailing Yacht Controller | 2 | 0.77 | 2015 |
| Executable models for Embedded Controllers Development - A Cloud Based Development Framework. | 0 | 0.34 | 2015 |
| Analysis and Generation of Logical Signals for Discrete Events Behavioral Modeling. | 0 | 0.34 | 2015 |
| Elementary Events for Modeling of Human-System Interactions with Petri Net Models. | 1 | 0.37 | 2014 |
| Output events for human-system interaction modeling | 1 | 0.37 | 2014 |
| On Structuring Events for IOPT Net Models. | 2 | 0.49 | 2013 |
| Events for human-system interaction modeling with IOPT Petri nets | 1 | 0.40 | 2013 |
| Finding Learning Paths Using Petri Nets Modeling Applicable to E-Learning Platforms. | 3 | 1.42 | 2012 |
| Asynchronous wrappers configuration within GALS systems specified by Petri nets | 1 | 0.36 | 2012 |
| SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design | 1 | 0.35 | 2011 |
| Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System | 1 | 0.43 | 2011 |
| Properties Preservation in Distributed Execution of Petri Nets Models | 2 | 0.36 | 2010 |
| Semantic Equations for Formal Models in the Model-Driven Architecture | 1 | 0.41 | 2010 |
| Checking Semantics Equivalence of MDA Transformations in Concurrent Systems | 8 | 0.67 | 2009 |
| Module Composition within Petri Nets Model-based Development | 0 | 0.34 | 2007 |
| Formal methods for Embedded Systems Co-design: the FORDESIGN project | 4 | 0.63 | 2005 |
| Remote Laboratory Support for an Introductory Microprocessor Course | 4 | 0.69 | 2005 |
| Teaching Formal Methods Within System-on-a-Programmable-Chip Design | 1 | 0.37 | 2005 |
| Towards Usage Of Formal Methods Within Embedded Systems Co-Design | 8 | 0.75 | 2005 |
| Implementation of a remote and virtual laboratory in the field of home appliance systems | 0 | 0.34 | 2004 |
| Embedded Systems Introductory Course supported by remote experiments | 1 | 0.58 | 2004 |
| On Lifting of Statechart Structuring Mechanisms | 3 | 0.49 | 2003 |
| From Use Cases to System Implementation: Statechart Based Co-design | 4 | 0.53 | 2003 |
| Man-machine interface for real-time telecontrol based onPetri nets specification | 0 | 0.34 | 2001 |
