Christa Thöne-Reineke

Christa Thöne-Reineke

Universitätsprofessorin Dr. vet. med.
Verified email at fu-berlin.de
Cited by 6353
animal welfare animal behaviour laboratory animal sciences stroke refinement
John Derrick

John Derrick

University of Sheffield
Verified email at sheffield.ac.uk
Cited by 4866
Formal Methods Testing Refinement Distributed Systems
Ana Cavalcanti

Ana Cavalcanti

University of York
Verified email at cs.york.ac.uk
Cited by 4809
formal methods refinement concurrency object-orientation real time
David A. Naumann

David A. Naumann

Professor of Computer Science, Stevens Institute of Technology
Verified email at cs.stevens.edu
Cited by 3477
Software Verification Language Based Security Refinement Programming Languages
Erika Roman

Erika Roman

Professor, Swedish University of Agricultural Sciences
Verified email at slu.se
Cited by 3268
behavior neurobiology pharmacology refinement multivariate concentric square field test
Penny Hawkins

Penny Hawkins

Animals in Science Department, RSPCA
Verified email at rspca.org.uk
Cited by 2680
Animal Welfare Ethical Review Three Rs Refinement
Stefan Hallerstede

Stefan Hallerstede

Associate Professor at Aarhus University Department of Engineering
Verified email at eng.au.dk
Cited by 2511
Formal Methods Requirements Verification Refinement Concurrency
Eerke Boiten

Eerke Boiten

School of Computer Science and Informatics, De Montfort University, UK
Verified email at dmu.ac.uk
Cited by 2249
Cyber security Privacy Formal methods Refinement
Richard Banach

Richard Banach

School of Computer Science, University of Manchester
Verified email at cs.man.ac.uk
Cited by 2137
Formal Methods Retrenchment Refinement
Gidon Ernst

Gidon Ernst

Software and Computational Systems Lab, LMU Munich
Verified email at lmu.de
Cited by 987
Software Verification Formal Methods Refinement Concurrency Information Flow Control
1 - 10