Deni Raco

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 3

Top Topics

Formal Verification

Safety Critical

Distributed Systems

Top Venues

Software Engineering (Workshops)

Software Engineering (Satellite Events)

Joint Workshop of the German Research Training Groups in Computer Science

Publications

Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe
Model-Based Design of Correct Safety-Critical Systems using Dataflow Languages on the Example of SysML Architecture and Behavior Diagrams. Software Engineering (Satellite Events) (2021)
Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe
An Approach for Logic-based Knowledge Representation and Automated Reasoning over Underspecification and Refinement in Safety-Critical Cyber-Physical Systems. Software Engineering (Workshops) (2020)
Stefan Kriebel, Deni Raco, Bernhard Rumpe, Sebastian Stüber
Model-Based Engineering for Avionics: Will Specification and Formal Verification e.g. Based on Broy's Streams Become Feasible? Software Engineering (Workshops) (2019)
Deni Raco
Specification and Verification of Distributed Systems. Joint Workshop of the German Research Training Groups in Computer Science (2014)