Gerardo Schneider
- A Survey of Challenges for Runtime Verification from Advanced\n Application Domains (Beyond Software)
2018/11/16 by César Sánchez, Gerardo Schneider, Sánchez, César +29 · 4 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Security and Verification in Computing #Software Engineering (cs.SE) #Software Testing and Debugging Techniques
- Full LTL Synthesis over Infinite-state Arenas
2023/07/19 by Azzopardi, Shaun, Di Stefano, Luca, Nir Piterman +3 · 3 citations
Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Reliability and Analysis Research #Systems and Control (eess.SY) #electronic engineering #information engineering
- Capturing Smart Contract Design with DCR Graphs
2023/05/08 by Mojtaba Eshghie, Eshghie, Mojtaba, Wolfgang Ahrendt +7 · 3 citations
Business, Management and Accounting · Computer Science · #Blockchain Technology Applications and Security #Business Process Modeling and Analysis #Computers and Society (cs.CY) #FOS: Computer and information sciences #FinTech, Crowdfunding, Digital Finance #Formal Languages and Automata Theory (cs.FL) #Software Engineering (cs.SE)