Ahrendt, Wolfgang
- A Survey of Challenges for Runtime Verification from Advanced\n Application Domains (Beyond Software)
2018/11/16 by César Sánchez, Sánchez, César, Gerardo Schneider +29 · 5 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
- Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods
2024/06/21 by George Granberry, Granberry, George, Wolfgang Ahrendt +3 · 1 voice · 4 citations
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning (cs.LG) #Neural Networks and Applications #Software Engineering (cs.SE)
- 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)
- Deductive Verification of Floating-Point Java Programs in KeY
2021/01/21 by Boroujeni, Rosa Abbasi, Schiffl, Jonas, Darulova, Eva +2 · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Formal Development of Safe Automated Driving using Differential Dynamic Logic
2022/04/14 by Yuvaraj Selvaraj, Wolfgang Ahrendt, Selvaraj, Yuvaraj +3 · 1 citation
Computer Science · #FOS: Electrical engineering #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Modeling and Simulation Systems #Systems and Control (eess.SY) #electronic engineering #information engineering