Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: René Hexel
@inproceedings{DBLP:conf/atva/McCollMH23,
author = {Morgan McColl and
Callum McColl and
Ren{\'{e}} Hexel},
editor = {{\'{E}}tienne Andr{\'{e}} and
Jun Sun},
title = {Automatic Verification of High-Level Executable Models Running on
FPGAs},
booktitle = {Automated Technology for Verification and Analysis - 21st International
Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14216},
pages = {217--234},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45332-8\_11},
doi = {10.1007/978-3-031-45332-8\_11},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/McCollMH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/RajaCH22,
author = {Fawad Riasat Raja and
David Chen and
Ren{\'{e}} Hexel},
title = {A Flexible Communication Protocol With Guaranteed Determinism for
Distributed, Safety-Critical Real-Time Systems},
journal = {{IEEE} Access},
volume = {10},
pages = {48049--48070},
year = {2022},
url = {https://doi.org/10.1109/ACCESS.2022.3170102},
doi = {10.1109/ACCESS.2022.3170102},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/RajaCH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/information/Estivill-Castro22,
author = {Vladimir Estivill{-}Castro and
Eugene Gilmore and
Ren{\'{e}} Hexel},
title = {Constructing Explainable Classifiers from the Start - Enabling Human-in-the
Loop Machine Learning},
journal = {Inf.},
volume = {13},
number = {10},
pages = {464},
year = {2022},
url = {https://doi.org/10.3390/info13100464},
doi = {10.3390/INFO13100464},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/information/Estivill-Castro22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausdm/Estivill-Castro22,
author = {Vladimir Estivill{-}Castro and
Eugene Gilmore and
Ren{\'{e}} Hexel},
editor = {Laurence A. F. Park and
Heitor Murilo Gomes and
Maryam Gholami Doborjeh and
Yee Ling Boo and
Yun Sing Koh and
Yanchang Zhao and
Graham Williams and
Simeon Simoff},
title = {Interpretable Decisions Trees via Human-in-the-Loop-Learning},
booktitle = {Data Mining - 20th Australasian Conference, AusDM 2022, Western Sydney,
Australia, December 12-15, 2022, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1741},
pages = {115--130},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-981-19-8746-5\_9},
doi = {10.1007/978-981-19-8746-5\_9},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ausdm/Estivill-Castro22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/McCollEMH22a,
author = {Callum McColl and
Vladimir Estivill{-}Castro and
Morgan McColl and
Ren{\'{e}} Hexel},
editor = {Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Edwin Seidewitz},
title = {Decomposable and Executable Models for Verification of Real-Time Systems},
booktitle = {Model-Driven Engineering and Software Development - 9th International
Conference, {MODELSWARD} 2021, Virtual Event, February 8-10, 2021,
and 10th International Conference, {MODELSWARD} 2022, Virtual Event,
February 6-8, 2022, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1708},
pages = {135--156},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-38821-7\_7},
doi = {10.1007/978-3-031-38821-7\_7},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/McCollEMH22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/McCollEMH22,
author = {Callum McColl and
Vladimir Estivill{-}Castro and
Morgan McColl and
Ren{\'{e}} Hexel},
editor = {Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Edwin Seidewitz},
title = {Verifiable Executable Models for Decomposable Real-time Systems},
booktitle = {Proceedings of the 10th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2022, Online Streaming, February
6-8, 2022},
pages = {182--193},
publisher = {{SCITEPRESS}},
year = {2022},
url = {https://doi.org/10.5220/0010812200003119},
doi = {10.5220/0010812200003119},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/McCollEMH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hais/GilmoreEH21,
author = {Eugene Gilmore and
Vladimir Estivill{-}Castro and
Ren{\'{e}} Hexel},
editor = {Hugo Sanjurjo{-}Gonz{\'{a}}lez and
Iker Pastor{-}L{\'{o}}pez and
Pablo Garc{\'{\i}}a Bringas and
H{\'{e}}ctor Quinti{\'{a}}n and
Emilio Corchado},
title = {More Interpretable Decision Trees},
booktitle = {Hybrid Artificial Intelligent Systems - 16th International Conference,
{HAIS} 2021, Bilbao, Spain, September 22-24, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12886},
pages = {280--292},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86271-8\_24},
doi = {10.1007/978-3-030-86271-8\_24},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hais/GilmoreEH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mswim/LustyEH21,
author = {Carl Lusty and
Vladimir Estivill{-}Castro and
Ren{\'{e}} Hexel},
editor = {Mirela Notare and
Peng Sun},
title = {TTWiFi: Time-Triggered Communication over WiFi},
booktitle = {DIVANet '21: Proceedings of the 11th {ACM} Symposium on Design and
Analysis of Intelligent Vehicular Networks and Applications, Alicante,
Spain, November 22 - 26, 2021},
pages = {35--44},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3479243.3487298},
doi = {10.1145/3479243.3487298},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mswim/LustyEH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robocup/McCollEGMH21,
author = {Callum McColl and
Vladimir Estivill{-}Castro and
Eugene Gilmore and
Morgan McColl and
Ren{\'{e}} Hexel},
editor = {Rachid Alami and
Joydeep Biswas and
Maya Cakmak and
Oliver Obst},
title = {Enabling Modern Application Development with Swift on the Nao/Pepper
Robots},
booktitle = {RoboCup 2021: Robot World Cup {XXIV}},
series = {Lecture Notes in Computer Science},
volume = {13132},
pages = {15--27},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-98682-7\_2},
doi = {10.1007/978-3-030-98682-7\_2},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/robocup/McCollEGMH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaisc/Estivill-Castro20,
author = {Vladimir Estivill{-}Castro and
Eugene Gilmore and
Ren{\'{e}} Hexel},
editor = {Leszek Rutkowski and
Rafal Scherer and
Marcin Korytkowski and
Witold Pedrycz and
Ryszard Tadeusiewicz and
Jacek M. Zurada},
title = {Constructing Interpretable Decision Trees Using Parallel Coordinates},
booktitle = {Artificial Intelligence and Soft Computing - 19th International Conference,
{ICAISC} 2020, Zakopane, Poland, October 12-14, 2020, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12416},
pages = {152--164},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61534-5\_14},
doi = {10.1007/978-3-030-61534-5\_14},
timestamp = {Thu, 23 Jun 2022 19:57:15 +0200},
biburl = {https://dblp.org/rec/conf/icaisc/Estivill-Castro20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/Estivill-Castro20,
author = {Vladimir Estivill{-}Castro and
Eugene Gilmore and
Ren{\'{e}} Hexel},
title = {Human-In-The-Loop Construction of Decision Tree Classifiers with Parallel
Coordinates},
booktitle = {2020 {IEEE} International Conference on Systems, Man, and Cybernetics,
{SMC} 2020, Toronto, ON, Canada, October 11-14, 2020},
pages = {3852--3859},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SMC42975.2020.9283240},
doi = {10.1109/SMC42975.2020.9283240},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smc/Estivill-Castro20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jirs/ZielinskiFH19,
author = {Cezary Zielinski and
Maksym Figat and
Ren{\'{e}} Hexel},
title = {Communication Within Multi-FSM Based Robotic Systems},
journal = {J. Intell. Robotic Syst.},
volume = {93},
number = {3-4},
pages = {787--805},
year = {2019},
url = {https://doi.org/10.1007/s10846-018-0869-6},
doi = {10.1007/S10846-018-0869-6},
timestamp = {Tue, 07 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jirs/ZielinskiFH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausdm/ToanGNHHJ19,
author = {Nguyen Thanh Toan and
Or{\c{c}}un G{\"{u}}m{\"{u}}s and
Thanh Tam Nguyen and
Nguyen Quoc Viet Hung and
Ren{\'{e}} Hexel and
Jun Jo},
editor = {Thuc Duy Le and
Kok{-}Leong Ong and
Yanchang Zhao and
Warren H. Jin and
Sebastien Wong and
Lin Liu and
Graham Williams},
title = {Joint Sequential Data Prediction with Multi-stream Stacked {LSTM}
Network},
booktitle = {Data Mining - 17th Australasian Conference, AusDM 2019, Adelaide,
SA, Australia, December 2-5, 2019, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1127},
pages = {77--90},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-981-15-1699-3\_7},
doi = {10.1007/978-981-15-1699-3\_7},
timestamp = {Thu, 23 Jun 2022 19:58:25 +0200},
biburl = {https://dblp.org/rec/conf/ausdm/ToanGNHHJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/Estivill-Castro19,
author = {Vladimir Estivill{-}Castro and
Ren{\'{e}} Hexel},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {Resolving the Asymmetry of On-Exit versus On-Entry in Executable Models
of Behaviour},
booktitle = {Proceedings of the 7th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2019, Prague, Czech Republic,
February 20-22, 2019},
pages = {49--61},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007323300510063},
doi = {10.5220/0007323300510063},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/Estivill-Castro19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/Estivill-Castro19a,
author = {Vladimir Estivill{-}Castro and
Ren{\'{e}} Hexel},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {The Understandability of Models for Behaviour},
booktitle = {Model-Driven Engineering and Software Development - 7th International
Conference, {MODELSWARD} 2019, Prague, Czech Republic, February 20-22,
2019, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1161},
pages = {50--75},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-37873-8\_3},
doi = {10.1007/978-3-030-37873-8\_3},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/modelsward/Estivill-Castro19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/JavaidEH19,
author = {Misbah Javaid and
Vladimir Estivill{-}Castro and
Ren{\'{e}} Hexel},
editor = {Abhaya C. Nayak and
Alok Sharma},
title = {Knowledge-Based Robotic Agent as a Game Player},
booktitle = {{PRICAI} 2019: Trends in Artificial Intelligence - 16th Pacific Rim
International Conference on Artificial Intelligence, Cuvu, Yanuca
Island, Fiji, August 26-30, 2019, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11672},
pages = {322--336},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29894-4\_27},
doi = {10.1007/978-3-030-29894-4\_27},
timestamp = {Wed, 25 Sep 2019 18:21:16 +0200},
biburl = {https://dblp.org/rec/conf/pricai/JavaidEH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automation/ZielinskiFH18,
author = {Cezary Zielinski and
Maksym Figat and
Ren{\'{e}} Hexel},
editor = {Roman Szewczyk and
Cezary Zielinski and
Malgorzata Kaliczynska},
title = {Robotic Systems Implementation Based on FSMs},
booktitle = {Automation 2018 - Advances in Automation, Robotics and Measurement
Techniques, outcomes of the international conference {AUTOMATION}
2018, 21-23 March, 2018, Warsaw, Poland},
series = {Advances in Intelligent Systems and Computing},
volume = {743},
pages = {441--452},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-77179-3\_41},
doi = {10.1007/978-3-319-77179-3\_41},
timestamp = {Thu, 14 Oct 2021 10:21:14 +0200},
biburl = {https://dblp.org/rec/conf/automation/ZielinskiFH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Estivill-Castro18,
author = {Vladimir Estivill{-}Castro and
Ren{\'{e}} Hexel and
Carl Lusty},
editor = {Regina Hebig and
Thorsten Berger},
title = {Continuous Integration for Testing Full Robotic Behaviours in a GUI-stripped
Simulation},
booktitle = {Proceedings of {MODELS} 2018 Workshops: ModComp, MRT, OCL, FlexMDE,
EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa,
ME, MULTI, HuFaMo, AMMoRe, {PAINS} co-located with {ACM/IEEE} 21st
International Conference on Model Driven Engineering Languages and
Systems {(MODELS} 2018), Copenhagen, Denmark, October, 14, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2245},
pages = {453--464},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2245/morse\_paper\_3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/Estivill-Castro18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/Estivill-Castro18,
author = {Vladimir Estivill{-}Castro and
Ren{\'{e}} Hexel},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {Verifiable Parameterised Behaviour Models - For Robotic and Embedded
Systems},
booktitle = {Proceedings of the 6th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2018, Funchal, Madeira - Portugal,
January 22-24, 2018},
pages = {364--371},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006573903640371},
doi = {10.5220/0006573903640371},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/Estivill-Castro18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/reconfig/Estivill-Castro18,
author = {Vladimir Estivill{-}Castro and
Ren{\'{e}} Hexel and
Morgan McColl},
editor = {David Andrews and
Ren{\'{e}} Cumplido and
Claudia Feregrino and
Dirk Stroobandt},
title = {High-Level Executable Models of Reactive Real-Time Systems with Logic-Labelled
Finite-State Machines and FPGAs},
booktitle = {2018 International Conference on ReConFigurable Computing and FPGAs,
ReConFig 2018, Cancun, Mexico, December 3-5, 2018},
pages = {1--8},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/RECONFIG.2018.8641710},
doi = {10.1109/RECONFIG.2018.8641710},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/reconfig/Estivill-Castro18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/Estivill-Castro17,
author = {Vladimir Estivill{-}Castro and
Ren{\'{e}} Hexel},
editor = {Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Bran Selic},
title = {Deterministic Executable Models Verified Efficiently at Runtime -
An Architecture for Robotic and Embedded Systems},
booktitle = {Proceedings of the 5th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2017, Porto, Portugal, February
19-21, 2017},
pages = {29--40},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006116700290040},
doi = {10.5220/0006116700290040},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/Estivill-Castro17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/Estivill-Castro17a,
author = {Vladimir Estivill{-}Castro and
Ren{\'{e}} Hexel},
editor = {Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Bran Selic},
title = {Deterministic High-Level Executable Models Allowing Efficient Runtime
Verification},
booktitle = {Model-Driven Engineering and Software Development - 5th International
Conference, {MODELSWARD} 2017, Porto, Portugal, February 19-21, 2017,
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {880},
pages = {119--144},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-94764-8\_6},
doi = {10.1007/978-3-319-94764-8\_6},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/modelsward/Estivill-Castro17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/romoco/FigatZH17,
author = {Maksym Figat and
Cezary Zielinski and
Ren{\'{e}} Hexel},
title = {{FSM} based specification of robot control system activities},
booktitle = {11th International Workshop on Robot Motion and Control, RoMoCo 2017,
Wasowo Palace, Poland, July 3-5, 2017},
pages = {193--198},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/RoMoCo.2017.8003912},
doi = {10.1109/ROMOCO.2017.8003912},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/romoco/FigatZH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/Estivill-Castro16,
author = {Vladimir Estivill{-}Castro and
Ren{\'{e}} Hexel and
Alberto Ramirez Regalado},
title = {Architecture for logic programing with arrangements of finite-state
machines},
booktitle = {1st CPSWeek Workshop on Declarative Cyber-Physical Systems, {DCPS}
2016, Vienna, Austria, April 12, 2016},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/DCPS.2016.7588297},
doi = {10.1109/DCPS.2016.7588297},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpsweek/Estivill-Castro16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/ChenHR16,
author = {David Chen and
Ren{\'{e}} Hexel and
Fawad Riasat Raja},
editor = {Leszek A. Maciaszek and
Joaquim Filipe},
title = {Engineering Real-Time Communication Through Time-triggered Subsumption
- Towards Flexibility with {INCUS} and LLFSMs},
booktitle = {{ENASE} 2016 - Proceedings of the 11th International Conference on
Evaluation of Novel Approaches to Software Engineering, Rome, Italy
27-28 April, 2016},
pages = {272--281},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005915602720281},
doi = {10.5220/0005915602720281},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/ChenHR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simpar/Estivill-Castro16,
author = {Vladimir Estivill{-}Castro and
Ren{\'{e}} Hexel},
title = {Run-time verification of regularly expressed behavioral properties
in robotic systems with logic-labeled finite state machines},
booktitle = {2016 {IEEE} International Conference on Simulation, Modeling, and
Programming for Autonomous Robots, {SIMPAR} 2016, San Francisco, CA,
USA, December 13-16, 2016},
pages = {281--288},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/SIMPAR.2016.7862408},
doi = {10.1109/SIMPAR.2016.7862408},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/simpar/Estivill-Castro16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ems/Estivill-Castro15,
author = {Vladimir Estivill{-}Castro and
Ren{\'{e}} Hexel and
Josh Stover},
title = {Modeling, Validation, and Continuous Integration of Software Behaviours
for Embedded Systems},
booktitle = {2015 {IEEE} European Modelling Symposium, {EMS} 2015, Madrid, Spain,
October 6-8, 2015},
pages = {89--95},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/EMS.2015.24},
doi = {10.1109/EMS.2015.24},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ems/Estivill-Castro15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/Estivill-Castro15,
author = {Vladimir Estivill{-}Castro and
Ren{\'{e}} Hexel},
editor = {Joaquim Filipe and
Leszek A. Maciaszek},
title = {Simple, Not Simplistic - The Middleware of Behaviour Models},
booktitle = {{ENASE} 2015 - Proceedings of the 10th International Conference on
Evaluation of Novel Approaches to Software Engineering, Barcelona,
Spain, 29-30 April, 2015},
pages = {189--196},
publisher = {SciTePress},
year = {2015},
url = {https://doi.org/10.5220/0005371101890196},
doi = {10.5220/0005371101890196},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/Estivill-Castro15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rita/JoukoffEHL15,
author = {Dimitri Joukoff and
Vladimir Estivill{-}Castro and
Ren{\'{e}} Hexel and
Carl Lusty},
editor = {Jong{-}Hwan Kim and
Fakhri Karray and
Jun Jo and
Peter Sincak and
Hyun Myung},
title = {Fast {MAV} Control by Control/Status OO-Messages on Shared-Memory
Middleware},
booktitle = {Robot Intelligence Technology and Applications 4 - Results from the
4th International Conference on Robot Intelligence Technology and
Applications, RiTA 2015, Bucheon, Korea, December 14-16, 2015},
series = {Advances in Intelligent Systems and Computing},
volume = {447},
pages = {195--211},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-31293-4\_16},
doi = {10.1007/978-3-319-31293-4\_16},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rita/JoukoffEHL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/Estivill-CastroH14,
author = {Vladimir Estivill{-}Castro and
Ren{\'{e}} Hexel},
title = {Correctness by Construction with Logic-Labeled Finite-State Machines
- Comparison with Event-B},
booktitle = {23rd Australian Software Engineering Conference, {ASWEC} 2014, Milsons
Point, Sydney, NSW, Australia, April 7-10, 2014},
pages = {38--47},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ASWEC.2014.20},
doi = {10.1109/ASWEC.2014.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/Estivill-CastroH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simpar/Estivill-CastroHL14,
author = {Vladimir Estivill{-}Castro and
Ren{\'{e}} Hexel and
Carl Lusty},
editor = {Davide Brugali and
Jan F. Broenink and
Torsten Kroeger and
Bruce A. MacDonald},
title = {High Performance Relaying of {C++11} Objects across Processes and
Logic-Labeled Finite-State Machines},
booktitle = {Simulation, Modeling, and Programming for Autonomous Robots - 4th
International Conference, {SIMPAR} 2014, Bergamo, Italy, October 20-23,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8810},
pages = {182--194},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11900-7\_16},
doi = {10.1007/978-3-319-11900-7\_16},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/simpar/Estivill-CastroHL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/ChanHW13,
author = {Lin Wah Chan and
Ren{\'{e}} Hexel and
Lian Wen},
title = {Rule-Based Behaviour Engineering: Integrated, Intuitive Formal Rule
Modelling},
booktitle = {22nd Australian Conference on Software Engineering {(ASWEC} 2013),
4-7 June 2013, Melbourne, Victoria, Australia},
pages = {20--29},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ASWEC.2013.13},
doi = {10.1109/ASWEC.2013.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/ChanHW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/Estivill-CastroH13,
author = {Vladimir Estivill{-}Castro and
Ren{\'{e}} Hexel},
editor = {Leszek A. Maciaszek and
Joaquim Filipe},
title = {Module Isolation for Efficient Model Checking and its Application
to {FMEA} in Model-driven Engineering},
booktitle = {{ENASE} 2013 - Proceedings of the 8th International Conference on
Evaluation of Novel Approaches to Software Engineering, Angers, France,
4-6 July, 2013},
pages = {218--225},
publisher = {SciTePress},
year = {2013},
url = {https://doi.org/10.5220/0004557502180225},
doi = {10.5220/0004557502180225},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/Estivill-CastroH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/Estivill-CastroH13,
author = {Vladimir Estivill{-}Castro and
Ren{\'{e}} Hexel},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Joaquim Filipe and
Rui C{\'{e}}sar das Neves},
title = {Arrangements of Finite-state Machines - Semantics, Simulation, and
Model Checking},
booktitle = {{MODELSWARD} 2013 - Proceedings of the 1st International Conference
on Model-Driven Engineering and Software Development, Barcelona, Spain,
19 - 21 February, 2013},
pages = {182--189},
publisher = {SciTePress},
year = {2013},
url = {https://doi.org/10.5220/0004317101820189},
doi = {10.5220/0004317101820189},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/Estivill-CastroH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/Estivill-CastroHR12,
author = {Vladimir Estivill{-}Castro and
Ren{\'{e}} Hexel and
David A. Rosenblueth},
editor = {Karl R. P. H. Leung and
Pornsiri Muenchaisri},
title = {Efficient Modelling of Embedded Software Systems and their Formal
Verification},
booktitle = {19th Asia-Pacific Software Engineering Conference, {APSEC} 2012, Hong
Kong, China, December 4-7, 2012},
pages = {428--433},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/APSEC.2012.21},
doi = {10.1109/APSEC.2012.21},
timestamp = {Sun, 08 Aug 2021 01:40:48 +0200},
biburl = {https://dblp.org/rec/conf/apsec/Estivill-CastroHR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simpar/ColemanEHL12,
author = {Robert Coleman and
Vladimir Estivill{-}Castro and
Ren{\'{e}} Hexel and
Carl Lusty},
editor = {Itsuki Noda and
Noriaki Ando and
Davide Brugali and
James J. Kuffner},
title = {Visual-Trace Simulation of Concurrent Finite-State Machines for Validation
and Model-Checking of Complex Behaviour},
booktitle = {Simulation, Modeling, and Programming for Autonomous Robots - Third
International Conference, {SIMPAR} 2012, Tsukuba, Japan, November
5-8, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7628},
pages = {52--64},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34327-8\_8},
doi = {10.1007/978-3-642-34327-8\_8},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/simpar/ColemanEHL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/somet/ChanHW12,
author = {Lin Wah Chan and
Ren{\'{e}} Hexel and
Lian Wen},
editor = {Hamido Fujita and
Roberto Revetria},
title = {Integrating Non-Monotonic Reasoning into High Level Component-Based
Modelling Using Behavior Trees},
booktitle = {New Trends in Software Methodologies, Tools and Techniques - Proceedings
of the Eleventh SoMeT '12, Genoa, Italy, September 26{\textasciitilde}28,
2012},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {246},
pages = {21--40},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-125-0-21},
doi = {10.3233/978-1-61499-125-0-21},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/somet/ChanHW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/BillingtonEHR10,
author = {David Billington and
Vladimir Estivill{-}Castro and
Ren{\'{e}} Hexel and
Andrew Rock},
editor = {Pericles Loucopoulos and
Leszek A. Maciaszek},
title = {Non-monotonic Reasoning for Requirements Engineering - State Diagrams
Driven by Plausible Logic},
booktitle = {{ENASE} 2010 - Proceedings of the Fifth International Conference on
Evaluation of Novel Approaches to Software Engineering, Athens, Greece,
July 22-24, 2010},
pages = {68--77},
publisher = {SciTePress},
year = {2010},
timestamp = {Thu, 28 Apr 2011 14:15:33 +0200},
biburl = {https://dblp.org/rec/conf/enase/BillingtonEHR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/BillingtonEHR10a,
author = {David Billington and
Vladimir Estivill{-}Castro and
Ren{\'{e}} Hexel and
Andrew Rock},
editor = {Leszek A. Maciaszek and
Pericles Loucopoulos},
title = {Requirements Engineering via Non-monotonic Logics and State Diagrams},
booktitle = {Evaluation of Novel Approaches to Software Engineering - 5th International
Conference, {ENASE} 2010, Athens, Greece, July 22-24, 2010, Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {230},
pages = {121--135},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-23391-3\_9},
doi = {10.1007/978-3-642-23391-3\_9},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/enase/BillingtonEHR10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simpar/BillingtonEHR10,
author = {David Billington and
Vladimir Estivill{-}Castro and
Ren{\'{e}} Hexel and
Andrew Rock},
editor = {Noriaki Ando and
Stephen Balakirsky and
Thomas Hemker and
Monica Reggiani and
Oskar von Stryk},
title = {Modelling Behaviour Requirements for Automatic Interpretation, Simulation
and Deployment},
booktitle = {Simulation, Modeling, and Programming for Autonomous Robots - Second
International Conference, {SIMPAR} 2010, Darmstadt, Germany, November
15-18, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6472},
pages = {204--216},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17319-6\_21},
doi = {10.1007/978-3-642-17319-6\_21},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/simpar/BillingtonEHR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hais/BillingtonEHR09,
author = {David Billington and
Vladimir Estivill{-}Castro and
Ren{\'{e}} Hexel and
Andrew Rock},
editor = {Emilio Corchado and
Xindong Wu and
Erkki Oja and
{\'{A}}lvaro Herrero and
Bruno Baruque},
title = {Architecture for Hybrid Robotic Behavior},
booktitle = {Hybrid Artificial Intelligence Systems, 4th International Conference,
{HAIS} 2009, Salamanca, Spain, June 10-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5572},
pages = {145--156},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02319-4\_18},
doi = {10.1007/978-3-642-02319-4\_18},
timestamp = {Fri, 12 Aug 2022 13:44:55 +0200},
biburl = {https://dblp.org/rec/conf/hais/BillingtonEHR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ozchi/ChatfieldH07,
author = {Craig Chatfield and
Ren{\'{e}} Hexel},
editor = {Bruce Thomas},
title = {Privacy and community connectedness: designing intelligent environments
for our cities},
booktitle = {Proceedings of the 2007 Australasian Computer-Human Interaction Conference,
{OZCHI} 2007, Adelaide, Australia, November 28-30, 2007},
series = {{ACM} International Conference Proceeding Series},
volume = {251},
pages = {265--272},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1324892.1324950},
doi = {10.1145/1324892.1324950},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ozchi/ChatfieldH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robocup/BillingtonEHR06,
author = {David Billington and
Vladimir Estivill{-}Castro and
Ren{\'{e}} Hexel and
Andrew Rock},
editor = {Gerhard Lakemeyer and
Elizabeth Sklar and
Domenico G. Sorrenti and
Tomoichi Takahashi},
title = {Using Temporal Consistency to Improve Robot Localisation},
booktitle = {RoboCup 2006: Robot Soccer World Cup {X}},
series = {Lecture Notes in Computer Science},
volume = {4434},
pages = {232--244},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74024-7\_20},
doi = {10.1007/978-3-540-74024-7\_20},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/robocup/BillingtonEHR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ozchi/ChatfieldCHKK05,
author = {Craig Chatfield and
David J. Carmichael and
Ren{\'{e}} Hexel and
Judy Kay and
Bob Kummerfeld},
editor = {Ash Donaldson},
title = {Personalisation in intelligent environments: managing the information
flow},
booktitle = {Proceedings of the 2005 Australasian Computer-Human Interaction Conference,
{OZCHI} 2005, Canberra, Australia, November 21-25, 2005},
series = {{ACM} International Conference Proceeding Series},
volume = {122},
publisher = {{ACM}},
year = {2005},
url = {https://dl.acm.org/citation.cfm?id=1108396},
timestamp = {Tue, 27 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ozchi/ChatfieldCHKK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/auic/HexelJKQ04,
author = {Ren{\'{e}} Hexel and
Chris W. Johnson and
Bob Kummerfeld and
Aaron J. Quigley},
editor = {Andy Cockburn},
title = {'Powerpoint to the People': Suiting the Word to the Audience},
booktitle = {User Interfaces 2004, Fifth Australasian User Interface Conference
(AUIC2004), Dunedin, New Zealand, 18-22 January 2004},
series = {{CRPIT}},
volume = {28},
pages = {49--56},
publisher = {Australian Computer Society},
year = {2004},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV28Hexel.html},
timestamp = {Thu, 25 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/auic/HexelJKQ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iadis/HexelW04,
author = {Ren{\'{e}} Hexel and
Eko Widjono},
editor = {Pedro T. Isa{\'{\i}}as and
Nitya Karmakar and
Lu{\'{\i}}s E. T. Rodrigues and
Patr{\'{\i}}cia Barbosa},
title = {{WETA:} Bringing together Mobility and the Web},
booktitle = {Proceedings of the {IADIS} International Conference WWW/Internet 2004,
Madrid, Spain, 2 Volumes},
pages = {477--484},
publisher = {{IADIS}},
year = {2004},
timestamp = {Wed, 01 Apr 2015 20:06:19 +0200},
biburl = {https://dblp.org/rec/conf/iadis/HexelW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icad/RonkainenHH04,
author = {Sami Ronkainen and
Jonna H{\"{a}}kkil{\"{a}} and
Ren{\'{e}} Hexel},
editor = {Stephen Barrass and
Paul Vickers},
title = {Speech-Assisted Mobile Text Entry},
booktitle = {{ICAD} 2004: The 10th Meeting of the International Conference on Auditory
Display, Sydney, Australia, July 6-9 2004, Proceedings},
publisher = {International Community for Auditory Display},
year = {2004},
url = {http://www.icad.org/websiteV2.0/Conferences/ICAD2004/papers/ronkainen\_hakkila\_hexel.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icad/RonkainenHH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsc/Hexel03,
author = {Ren{\'{e}} Hexel},
editor = {Michael J. Oudshoorn},
title = {{FITS} - {A} Fault Injection Architecture for Time-Triggered Systems},
booktitle = {Computer Science 2003, Twenty-Sixth Australasian Computer Science
Conference (ACSC2003), Adelaide, South Australia, February 2003},
series = {{CRPIT}},
volume = {16},
pages = {333--338},
publisher = {Australian Computer Society},
year = {2003},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV16Hexel.html},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsc/Hexel03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
