Feng, Nick
- Normative Requirements Operationalization with Large Language Models
2024/04/18 by Nick Feng, Feng, Nick, Lina Marsso +21 · 6 citations
Business, Management and Accounting · #Business Process Modeling and Analysis #FOS: Computer and information sciences #Software Engineering (cs.SE)
- Early Verification of Legal Compliance via Bounded Satisfiability Checking
2022/09/08 by Nick Feng, Feng, Nick, Lina Marsso +5 · 1 citation
Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #FOS: Computer and information sciences #Formal Methods in Verification #Semantic Web and Ontologies #Software Engineering (cs.SE)