 |
|
Note: if you want to contact any of the people listed below, you can send an email containing your name, the name of the person you want to reach and the reason why you want to reach that person to info@fmeurope.org
| Name |
Affiliation |
Expertise |
|
Armin Biere |
Johannes Kepler University, Linz, Austria |
Model Checking, SAT, QBF, Runtime Verification, Hardware Verification, Analysis of Java Programs
|
|
Jose Oliveira |
Departamento de Inform?tica, University of Minho, Portugal
|
Relational Algebra of Programming, Reverse Specification and Program Understanding, Rapid Prototyping
|
|
Chris George |
The International Institute for Software Technology of the United Nations University (UNU-IIST), Macau |
Duration Calculus, RAISE, Object-Orientation, UTP, UML
|
|
Markus Montigel |
Systransis Ltd, Switzerland
|
Petri-Nets, state machines, semi-formal methods, education in formal
methods, formal methods in railway applications |
|
Yves Ledru |
Universite Joseph Fourier (Grenoble-1), LSR/IMAG laboratory, France |
Model-based specifications (VDM, Z, B, JML),
Integration of UML and model-based specifications,
Conformance Testing,
Software Engineering and Formal Methods,
Software Architecture
|
|
Dino Mandrioli |
Dipartimento di Elettronica e Informazione, Italy |
Requirements Analysis, Specification, Validation, Verification
Real-time
|
|
Denis Sabatier |
ClearSy, France |
Writing/verification of specifications (using formal methods),
software development using formal fethods at different degrees,
reliability, availability, maintainability, security or safety studies,
developer and distributor of Atelier B
|
|
Manuel J. Fernandez Iglesias |
University of Vigo, Department of Telematics Engineering, Spain |
LOTOS, Promela, Testing, Communication Protocols Design & Validation |
Do you want to be listed on this page? Send the appropriate
information to webmaster@fmeurope.org.
|
