Author of the publication

Lessons Learned while Formalizing ISO 26262 for Compliance Checking.

, , and . TERECOM@JURIX, volume 2309 of CEUR Workshop Proceedings, page 5-16. CEUR-WS.org, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

KED: A Deontic Theorem Prover., , and . ICLP Workshop: Legal Application of Logic Programming, (1994)Burden of Compliance and Burden of Violation.. JURIX, volume 279 of Frontiers in Artificial Intelligence and Applications, page 31-40. IOS Press, (2015)Annotated Defeasible Logic., and . CoRR, (2017)Induction of Defeasible Logic Theories in the Legal Domain., and . ICAIL, page 204-213. ACM, (2003)Detecting Regulatory Compliance for Business Process Models through Semantic Annotations., , , and . Business Process Management Workshops, volume 17 of Lecture Notes in Business Information Processing, page 5-17. Springer, (2008)RuleRS: a rule-based architecture for decision support systems., and . Artif. Intell. Law, 26 (4): 315-344 (2018)Special issue on logics for intelligent agents and multi-agent systems., , , , and . J. Appl. Log., 9 (4): 221-222 (2011)Deontic Meta-Rules., , , , and . CoRR, (2022)Licentia: a Tool for Supporting Users in Data Licensing on the Web of Data., , , , , and . ISWC (Posters & Demos), volume 1272 of CEUR Workshop Proceedings, page 277-280. CEUR-WS.org, (2014)Checking Licenses Compatibility between Vocabularies and Data., , , , , and . COLD, volume 1264 of CEUR Workshop Proceedings, CEUR-WS.org, (2014)