Profiles

Ekkart Kindler

Technical University of Denmark, DTU Compute

Verified email at dtu.dk

Cited by 5425

Model-based Software Engineering Formal Methods Business Process Management #dtusse

Andrea Burattin

Technical University of Denmark

Verified email at dtu.dk

Cited by 4898

Streaming Process Mining Process Mining Process Modeling #dtusse

Alberto Lluch Lafuente

Technical University of Denmark

Verified email at dtu.dk

Cited by 4567

Formal Methods Software Engineering Security Artificial Intelligence #dtusse

Anne E. Haxthausen

Associate Professor of Computer Science, Technical University of Denmark

Verified email at dtu.dk

Cited by 2323

Formal Methods Semantics Safety Railways #dtusse

Hubert Baumeister

Technical University of Denmark

Verified email at dtu.dk

Cited by 1841

Software Engineering UML Formal Methods Agile Software Development Processes #dtusse

Christoph Matheja

Associate Professor, Technical University of Denmark (DTU)

Verified email at dtu.dk

Cited by 997

program verification probabilistic programs separation logic rust #dtusse

Alceste Scalas

Associate Professor in Computer Science, DTU Compute, Technical University of Denmark

Verified email at dtu.dk

Cited by 817

Concurrent and distributed systems programming languages formal methods #dtusse

Andrey Rivkin

Assistant professor (tenure track), Technical University of Denmark

Verified email at dtu.dk

Cited by 665

Petri nets business process management computational logic #dtusse

Giovanni Meroni

DTU Compute

Verified email at dtu.dk

Cited by 323

Business Process Management Information Systems Blockchain #dtusse

Christian Gram Kalhauge

Assistant Professor, DTU

Verified email at dtu.dk

Cited by 126

Dynamic analysis Testing Security #dtusse