E-LIB Suche - Ergebnisse für: Cavalcanti, Ana

1

Formal design, verification and implementation of robotic c..:

Li, Wei ; Ribeiro, Pedro ; Miyazawa, Alvaro...
Autonomous Robots. 48 (2024) 6 - p. , 2024

Link: https://doi.org/10.1007/..

2

Analyzing and Debugging Normative Requirements via Satisfia..:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE),

Feng, Nick ; Marsso, Lina ; Yaman, Sinem Getir... - p. 2643-2654 , 2024

Link: https://doi.org/10.1145/..

3

Analyzing and Debugging Normative Requirements via Satisfia..:

, In: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering,

Feng, Nick ; Marsso, Lina ; Getir Yaman, Sinem... - p. 1-12 , 2024

Link: https://dl.acm.org/doi/1..

4

Toolkit for specification, validation and verification of s..:

Getir Yaman, Sinem ; Ribeiro, Pedro ; Burholt, Charlie...
Science of Computer Programming. 236 (2024) - p. 103118 , 2024

Link: https://doi.org/10.1016/..

5

Testing using CSP Models: Time, Inputs, and Outputs:

Baxter, James ; Cavalcanti, Ana ; Gazda, Maciej.
ACM Transactions on Computational Logic. 24 (2023) 2 - p. 1-40 , 2023

Link: https://doi.org/10.1145/..

6

Trustworthy Autonomous Systems Through Verifiability:

Mousavi, Mohammad Reza ; Cavalcanti, Ana ; Fisher, Michael...
Computer. 56 (2023) 2 - p. 40-47 , 2023

Link: https://doi.org/10.1109/..

7

Towards a Formal Framework for Normative Requirements Elici..:

, In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE),

Feng, Nick ; Marsso, Lina ; Yaman, Sinem Getir... - p. 1776-1780 , 2023

Link: https://doi.org/10.1109/..

8

Bringing RoboStar and RT-Tester Together:

, In: Lecture Notes in Computer Science; Applicable Formal Methods for Safe Industrial Products,

Cavalcanti, Ana ; Miyazawa, Alvaro ; Schulze, Uwe. - p. 16-33 , 2023

Link: https://doi.org/10.1007/..

9

Laws of Timed State Machines:

Cavalcanti, Ana ; Conserva Filho, Madiel ; Ribeiro, Pedro.
The Computer Journal. 67 (2023) 6 - p. 2066-2107 , 2023

Link: https://doi.org/10.1093/..

10

Probabilistic Modelling and Safety Assurance of an Agricult..:

, In: 2023 IEEE 19th International Conference on Automation Science and Engineering (CASE),

Adam, Mustafa ; Ye, Kangfeng ; Anisi, David A.... - p. 1-7 , 2023

Link: https://doi.org/10.1109/..

11

Model-Based Engineering for Robotics with RoboChart and Rob..:

, In: Formal Methods for an Informal World; Lecture Notes in Computer Science,

Cavalcanti, Ana ; Attala, Ziggy ; Baxter, James.. - p. 106-151 , 2023

Link: https://doi.org/10.1007/..

12

Challenges in testing of cyclic systems:

, In: 2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS),

Cavalcanti, Ana ; Hierons, Robert M. - p. 1-6 , 2023

Link: https://doi.org/10.1109/..

13

Specification and Validation of Normative Rules for Autonom..:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Yaman, Sinem Getir ; Burholt, Charlie ; Jones, Maddie.. - p. 241-248 , 2023

Link: https://doi.org/10.1007/..

14

Modelling and Verifying Robotic Software that Uses Neural N..:

, In: Theoretical Aspects of Computing – ICTAC 2023; Lecture Notes in Computer Science,

Attala, Ziggy ; Cavalcanti, Ana ; Woodcock, Jim - p. 15-35 , 2023

Link: https://doi.org/10.1007/..

15

RoboWorld: Verification of Robotic Systems with Environment..:

Baxter, James ; Carvalho, Gustavo ; Cavalcanti, Ana.
Formal Aspects of Computing. 35 (2023) 4 - p. 1-46 , 2023

Link: https://doi.org/10.1145/..