Zobrazeno 1 - 10
of 220
pro vyhledávání: '"Jim Woodcock"'
Autor:
Mohammad Reza Mousavi, Ana Cavalcanti, Michael Fisher, Louise Dennis, Rob Hierons, Bilal Kaddouh, Effie Lai-Chong Law, Rob Richardson, Jan Oliver Ringer, Ivan Tyukin, Jim Woodcock
Publikováno v:
Computer, 2023, Vol.56(2), pp.40-47 [Peer Reviewed Journal]
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::33426bad5bbd01db3654c2029a6281a8
http://dro.dur.ac.uk/36849/
http://dro.dur.ac.uk/36849/
Autor:
Nicola Paoletti, Jim Woodcock
Publikováno v:
Research Directions: Cyber-Physical Systems. 1
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dabe65f7cc7fe61c43ca3ac35f332848
https://doi.org/10.1017/cbp.2023.2
https://doi.org/10.1017/cbp.2023.2
Autor:
Edward A. Lee, Jim Woodcock
Publikováno v:
Research Directions: Cyber-Physical Systems. 1
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::21fbb089e25deadb8b16de4d779567fc
https://doi.org/10.1017/cbp.2023.1
https://doi.org/10.1017/cbp.2023.1
Publikováno v:
Collart-Dutilleul, S, Haxthausen, A E, Lecomte, T & Woodcock, J 2023, ' Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems ', Formal Aspects of Computing, vol. 35, no. 1, 1 . https://doi.org/10.1145/3578524
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b9d27c1ffce478644755fb48a7f33c0c
https://orbit.dtu.dk/en/publications/d1a59dee-93ec-4f9d-a82c-5ee08618bf95
https://orbit.dtu.dk/en/publications/d1a59dee-93ec-4f9d-a82c-5ee08618bf95
Publikováno v:
Software and Systems Modeling. 21:667-716
RoboChart is a timed domain-specific language for robotics, distinctive in its support for automated verification by model checking and theorem proving. Since uncertainty is an essential part of robotic systems, we present here an extension to RoboCh
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3cf2ad949677721f83b117b3fafcc92f
https://doi.org/10.1007/s10270-021-00916-8
https://doi.org/10.1007/s10270-021-00916-8
Publikováno v:
Formal Aspects of Computing. 33:763-802
Machines, such as mobile robots and delivery drones, incorporate controllers responsible for a task while handling risk (e.g. anticipating and mitigating hazards; preventing and alleviating accidents). We refer to machines with this capability as ris
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5fe79c304fd59b3df2046577767aeeb4
https://doi.org/10.1007/s00165-021-00545-4
https://doi.org/10.1007/s00165-021-00545-4
Publikováno v:
Formal Methods and Software Engineering ISBN: 9783031172434
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3db4c6e62daef92265cc9cf2cc33b38f
https://doi.org/10.1007/978-3-031-17244-1_24
https://doi.org/10.1007/978-3-031-17244-1_24
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031197611
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::606cd446c3acdec590097bd31313b68c
https://doi.org/10.1007/978-3-031-19762-8_1
https://doi.org/10.1007/978-3-031-19762-8_1
Publikováno v:
Aarhus University
Formal methods were frequently shown to be effective and, perhaps because of that, practitioners are interested in using them more often. Still, these methods are far less applied than expected, particularly, in critical domains where they are strong
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6d263a9677288846fee48d43f97f46a4
http://arxiv.org/abs/2112.12758
http://arxiv.org/abs/2112.12758
Publikováno v:
Electronic Proceedings in Theoretical Computer Science. 349
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f9f8d55358f3d417a944a57c4f59902e
https://doi.org/10.4204/eptcs.349.0
https://doi.org/10.4204/eptcs.349.0