( en | de | ru )

 

Disambiguation of "Hexel, René"

Author of the publication

copydeleteadd this publication to your clipboard
Rule-Based Behaviour Engineering: Integrated, Intuitive Formal Rule Modelling.

, , and . Australian Software Engineering Conference, page 20-29. IEEE Computer Society, (2013)

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

Edith Hexel

Jörg Hexel

 

Other publications of authors with the same name

WETA: Bringing together Mobility and the Web., and . ICWI, page 477-484. IADIS, (2004)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)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)Module Isolation for Efficient Model Checking and its Application to FMEA in Model-driven Engineering., and . ENASE, page 218-225. SciTePress, (2013)Using Temporal Consistency to Improve Robot Localisation., , , and . RoboCup, volume 4434 of Lecture Notes in Computer Science, page 232-244. Springer, (2006)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)Efficient Modelling of Embedded Software Systems and their Formal Verification., , and . APSEC, page 428-433. IEEE, (2012)