E-LIB Suche - Ergebnisse für: Amyot, Daniel

1

SymboleoPC: checking properties of legal contracts:

Parvizimosaed, Alireza ; Roveri, Marco ; Rasti, Aidin...
Software and Systems Modeling. , 2024

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

2

Enhancing Trust in Transactive Energy with Individually Lin..:

Sousa-Dias, Daniel ; Amyot, Daniel ; Rahimi-Kian, Ashkan.
Energies. 17 (2024) 14 - p. 3568 , 2024

Link: https://doi.org/10.3390/..

3

Cyclic Homomorphic Encryption Aggregation (CHEA)—A Novel Ap..:

Sousa-Dias, Daniel ; Amyot, Daniel ; Rahimi-Kian, Ashkan..
Energies. 17 (2024) 4 - p. 878 , 2024

Link: https://doi.org/10.3390/..

4

Automated generation of smart contract code from legal cont..:

Rasti, Aidin ; Anda, Amal Ahmed ; Alfuhaid, Sofana...
Software and Systems Modeling. , 2024

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

5

A Mapping Review on Cyber-Physical Smart Contracts: Archite..:

Alfuhaid, Sofana ; Amyot, Daniel ; Anda, Amal Ahmed.
IEEE Access. 11 (2023) - p. 65872-65890 , 2023

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

6

Union Models for Model Families: Efficient Reasoning over S..:

Alwidian, Sanaa ; Amyot, Daniel ; Lamo, Yngve
Algorithms. 16 (2023) 2 - p. 105 , 2023

Link: https://doi.org/10.3390/..

7

Protection against Ransomware in Industrial Control Systems..:

, In: 2023 20th Annual International Conference on Privacy, Security and Trust (PST),

Parvizimosaed, Alireza ; Azad, Hamid ; Amyot, Daniel. - p. 1-5 , 2023

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

8

A Review of Cybersecurity Concerns for Transactive Energy M..:

Sousa-Dias, Daniel ; Amyot, Daniel ; Rahimi-Kian, Ashkan.
Energies. 16 (2023) 13 - p. 4838 , 2023

Link: https://doi.org/10.3390/..

9

Traceability Management of Socio-Cyber-Physical Systems Inv..:

Anda, Amal Ahmed ; Amyot, Daniel ; Mylopoulos, John
Modelling. 4 (2023) 2 - p. 133-167 , 2023

Link: https://doi.org/10.3390/..

10

Robotic process automation using process mining — A systema..:

El-Gharib, Najah Mary ; Amyot, Daniel
Data & Knowledge Engineering. 148 (2023) - p. 102229 , 2023

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

11

Towards Legal Contract Formalization with Controlled Natura..:

, In: 2023 IEEE 31st International Requirements Engineering Conference (RE),

Meloche, Regan ; Amyot, Daniel ; Mylopoulos, John - p. 317-322 , 2023

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

12

On the Use of GPT-4 for Creating Goal Models: An Explorator..:

, In: 2023 IEEE 31st International Requirements Engineering Conference Workshops (REW),

Chen, Boqi ; Chen, Kua ; Hassani, Shabnam... - p. 262-271 , 2023

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

13

A Prototype for Decision Support Targeting Recreation Presc..:

, In: 2023 IEEE 31st International Requirements Engineering Conference Workshops (REW),

Bagaria, Namrata ; Amyot, Daniel - p. 407-416 , 2023

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

14

Welcome to REWBAH 2023: The Fourth International Workshop o..:

, In: 2023 IEEE 31st International Requirements Engineering Conference Workshops (REW),

Liu, Lin ; Yu, Eric ; Levy, Meira. - p. 383-385 , 2023

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

15

Sustaining human health: A requirements engineering perspec..:

Levy, Meira ; Groen, Eduard C. ; Taveter, Kuldar...
Journal of Systems and Software. 204 (2023) - p. 111792 , 2023

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