Bernd Finkbeiner

Bernd Finkbeiner

Professor of Computer Science, CISPA Helmholtz Center for Information Security
Verified email at cispa.de
Cited by 5935
Reactive Systems Verification Synthesis Temporal Logic
Ruediger Ehlers

Ruediger Ehlers

Clausthal University of Technology
Verified email at tu-clausthal.de
Cited by 3165
Cyber-Physical Systems Formal Methods Complexity theory Reactive Systems
RK Shyamasundar

RK Shyamasundar

IIT Bombay
Verified email at cse.iitb.ac.in
Cited by 3103
Concurrency Parallel Programming Reactive Systems Network security. Language and OS Security Information Security (Cyber sec
Cesar Sanchez

Cesar Sanchez

Professor, IMDEA Software Institute
Verified email at imdea.org
Cited by 2237
Formal Methods Logic Reactive Systems Computer Science
Prof. Pedro Sánchez Palma

Prof. Pedro Sánchez Palma

Universidad Politecnica Cartagena
Verified email at upct.es
Cited by 2014
computer science software engineering model driven engineering reactive systems
Christine Tasson

Christine Tasson

Professor
Verified email at isae-supaero.fr
Cited by 985
Programming languages Probabilistic Programming Distributed Computing Reactive Systems
Clement Escoffier

Clement Escoffier

Red Hat
Verified email at apache.org
Cited by 907
Reactive Systems Dynamic Systems Pervasive Applications Build Process Software Engineering
Francisca Rosique Contreras

Francisca Rosique Contreras

Profesor Contratado Doctor, Universidad Politécnica de Cartagena
Verified email at upct.es
Cited by 867
model driven engineering reactive systems computer science software engineering
Rayna Dimitrova

Rayna Dimitrova

CISPA Helmholtz Center for Information Security
Verified email at cispa.de
Cited by 505
Reactive Systems Verification Synthesis Temporal Logic
erwan jahier

erwan jahier

CNRS/Verimag/Université Grenoble Alpes
Verified email at univ-grenoble-alpes.fr
Cited by 493
reactive systems programming languages synchronous systems test debugging
1 - 10