Cited By
View all- Baldor KWang XNiu JSerrano M(2023)Thorium: A Language for Bounded Verification of Dynamic Reactive ObjectsProceedings of the 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems10.1145/3623506.3623574(1-13)Online publication date: 19-Oct-2023
- Heinrich RBousse EKoch SRensink ARiccobene ERatiu DSirjani M(2021)Integration and Orchestration of Analysis ToolsComposing Model-Based Analysis Tools10.1007/978-3-030-81915-6_5(71-95)Online publication date: 18-Jul-2021
- Voelter MKolb BBirken KTomassetti FAlff PWiart LWortmann ANordmann A(2019)Using language workbenches and domain-specific languages for safety-critical software developmentSoftware and Systems Modeling (SoSyM)10.1007/s10270-018-0679-018:4(2507-2530)Online publication date: 1-Aug-2019
- Show More Cited By