( en | de | ru )

 

Disambiguation of "Hexel, René"

Author of the publication

copydeleteadd this publication to your clipboard
Architecture for logic programing with arrangements of finite-state machines.

, , and . DCPS, page 1-8. IEEE Computer Society, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sybille Anke Hexel

Falko Hexel

Jörg Hexel

Jörg Hexel

Erhard Hexel

 

Other publications of authors with the same name

FSM based specification of robot control system activities., , and . RoMoCo, page 193-198. IEEE, (2017)The Understandability of Models for Behaviour., and . MODELSWARD (Revised Selected Papers), volume 1161 of Communications in Computer and Information Science, page 50-75. Springer, (2019)WETA: Bringing together Mobility and the Web., and . ICWI, page 477-484. IADIS, (2004)Interpretable Decisions Trees via Human-in-the-Loop-Learning., , and . AusDM, volume 1741 of Communications in Computer and Information Science, page 115-130. Springer, (2022)Robotic Systems Implementation Based on FSMs., , and . AUTOMATION, volume 743 of Advances in Intelligent Systems and Computing, page 441-452. Springer, (2018)Correctness by Construction with Logic-Labeled Finite-State Machines - Comparison with Event-B., and . Australian Software Engineering Conference, page 38-47. IEEE Computer Society, (2014)Using Temporal Consistency to Improve Robot Localisation., , , and . RoboCup, volume 4434 of Lecture Notes in Computer Science, page 232-244. Springer, (2006)Module Isolation for Efficient Model Checking and its Application to FMEA in Model-driven Engineering., and . ENASE, page 218-225. SciTePress, (2013)Visual-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex Behaviour., , , and . SIMPAR, volume 7628 of Lecture Notes in Computer Science, page 52-64. Springer, (2012)Decomposable and Executable Models for Verification of Real-Time Systems., , , and . MODELSWARD (Revised Selected Papers), volume 1708 of Communications in Computer and Information Science, page 135-156. Springer, (2022)