Deni Raco

According to our database, Deni Raco authored at least 5 papers between 2014 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Model-Based Design of Correct Safety-Critical Systems using Dataflow Languages on the Example of SysML Architecture and Behavior Diagrams.

Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe

Proceedings of the Software Engineering 2021 Satellite Events, Braunschweig/Virtual, Germany, February 22, 2021

2020

Towards an Isabelle Theory for distributed, interactive systems: The untimed case.

Jens Christoph Bürger, Hendrik Kausch, Deni Raco, Jan Oliver Ringert, Bernhard Rumpe, Sebastian Stüber, Marc Wiartalla

Aachener Informatik-Berichte, Software Engineering 45, Shaker, ISBN: 978-3-8440-7265-5, 2020

An Approach for Logic-based Knowledge Representation and Automated Reasoning over Underspecification and Refinement in Safety-Critical Cyber-Physical Systems.

Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe

Proceedings of the Combined Proceedings of the Workshops at Software Engineering 2020 Co-located with the German Software Engineering Conference 2020 (SE 2020), 2020

2019

Model-Based Engineering for Avionics: Will Specification and Formal Verification e.g. Based on Broy's Streams Become Feasible?

Stefan Kriebel, Deni Raco, Bernhard Rumpe, Sebastian Stüber

Proceedings of the Workshops of the Software Engineering Conference 2019, 2019

2014

Specification and Verification of Distributed Systems.

Deni Raco

Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014