Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Mylopoulos, John
372  Ergebnisse:
Personensuche X
?
1

Large language models: Expectations for semantics-driven sy..:

Buchmann, Robert ; Eder, Johann ; Fill, Hans-Georg...
Data & Knowledge Engineering.  152 (2024)  - p. 102324 , 2024
Link: https://doi.org/10.1016/..
 
?
2

Computer Security. ESORICS 2023 International Workshops: Cy.. 

Lecture Notes in Computer Science, 14398
Katsikas, Sokratis ; Cuppens, Frédéric ; Cuppens-Boulahia, Nora... - 1st ed. 2024 . , 2024
Link: https://doi.org/10.1007/..
 
?
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

SymboleoPC: checking properties of legal contracts:

Parvizimosaed, Alireza ; Roveri, Marco ; Rasti, Aidin...
Software and Systems Modeling.  , 2024
Link: https://doi.org/10.1007/..
 
?
5

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/..
 
?
6

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/..
 
?
7

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/..
 
?
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

An ontology-based approach to engineering ethicality requir..:

Guizzardi, Renata ; Amaral, Glenda ; Guizzardi, Giancarlo.
Software and Systems Modeling.  22 (2023)  6 - p. 1897-1923 , 2023
Link: https://doi.org/10.1007/..
 
?
10

Computer Security. ESORICS 2022 International Workshops: Cy.. 

Lecture Notes in Computer Science, 13785
Katsikas, Sokratis ; Cuppens, Frédéric ; Kalloniatis, Christos... - 1st ed. 2023 . , 2023
Link: https://doi.org/10.1007/..
 
?
11

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/..
 
?
12

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/..
 
?
13

Specification and analysis of legal contracts with Symboleo:

Parvizimosaed, Alireza ; Sharifi, Sepehr ; Amyot, Daniel...
Software and Systems Modeling.  21 (2022)  6 - p. 2395-2427 , 2022
Link: https://doi.org/10.1007/..
 
?
14

Contratto – A Method for Transforming Legal Contracts into ..:

, In: Research Challenges in Information Science; Lecture Notes in Business Information Processing,
Soavi, Michele ; Zeni, Nicola ; Mylopoulos, John. - p. 338-353 , 2022
Link: https://doi.org/10.1007/..
 
?
15

Semantic Annotation of Legal Contracts with ContrattoA:

Soavi, Michele ; Zeni, Nicola ; Mylopoulos, John.
Informatics.  9 (2022)  4 - p. 72 , 2022
Link: https://doi.org/10.3390/..
 
1-15