Academia.edu | People who have Model Checking as a research interest (46)

Follow Marco

What is Following?

Following Marco's work means that, in your Academia.edu News Feed, you will see Marco's:

status updates
new papers
new research interests

and other research updates.

Marco Montali

Free University of Bozen-Bolzano

Faculty Member

KRDB Research Centre for Knowledge and Data

Business Process Management, Business Rules & Processes, Computational Logic, and Conceptual Modelling

Follow Dejan

What is Following?

Following Dejan's work means that, in your Academia.edu News Feed, you will see Dejan's:

status updates
new papers
new research interests

and other research updates.

Dejan Jovanović

New York University

Graduate Student

Computer Science Department

Abstract Interpretation, Algorithms, Automated Deduction, and Automated reasoning

Follow Nuno

What is Following?

Following Nuno's work means that, in your Academia.edu News Feed, you will see Nuno's:

status updates
new papers
new research interests

and other research updates.

Nuno Mendes

Instituto Gulbenkian de Ciência

Post-Doc

Network Modelling Department

Biology, Computational Biology, Gene regulation, and Machine Learning

Follow Elthon

What is Following?

Following Elthon's work means that, in your Academia.edu News Feed, you will see Elthon's:

status updates
new papers
new research interests

and other research updates.

Elthon Oliveira

UFAL - Universidade Federal de Alagoas

Faculty Member

Campus Arapiraca Department

Discrete-Event Systems, Healthcare, Pervasive Health, and Probabilistic Model Checking

Follow Emanuele

What is Following?

Following Emanuele's work means that, in your Academia.edu News Feed, you will see Emanuele's:

status updates
new papers
new research interests

and other research updates.

Emanuele D'Osualdo

University of Oxford

Graduate Student

Computing Laboratory

Concurrency Theory, Model Checking, Programming Languages, and Semantics

Follow Andrea

What is Following?

Following Andrea's work means that, in your Academia.edu News Feed, you will see Andrea's:

status updates
new papers
new research interests

and other research updates.

Andrea Vandin

IMT Lucca

PhD Student in Computer Science and Engineering

Computer Science and Applications (CSA) Department

Formal Methods (Formal Verification), Graph Transformation, Modal Logic, and Model Checking

Follow Nataliia

What is Following?

Following Nataliia's work means that, in your Academia.edu News Feed, you will see Nataliia's:

status updates
new papers
new research interests

and other research updates.

Nataliia Bielova

INRIA

Post-Doc

CELTIQUE Department

Computer Security, Formal Methods (Formal Verification), Computer Science, and Functional Programming

Follow Franco

What is Following?

Following Franco's work means that, in your Academia.edu News Feed, you will see Franco's:

status updates
new papers
new research interests

and other research updates.

Franco Raimondi

Middlesex University

Faculty Member

Engineering and Information Sciences Department

Epistemic Logic and Model Checking

Follow Lucian

What is Following?

Following Lucian's work means that, in your Academia.edu News Feed, you will see Lucian's:

status updates
new papers
new research interests

and other research updates.

Lucian Bentea

University of Oslo

Department Member

Department of Informatics

AI Planning (Artificial Intelligence), Abstract Interpretation, Algebraic Combinatorics, and Applications in communication netwroks

Follow Richard

What is Following?

Following Richard's work means that, in your Academia.edu News Feed, you will see Richard's:

status updates
new papers
new research interests

and other research updates.

Richard Philip

University of Trento

Graduate Student

DISI - Department of Information Engineering and Computer Science

Computer Science, Formal Methods (Formal Verification), Model Checking, and Semantic Web technology - Ontologies

Follow David

What is Following?

Following David's work means that, in your Academia.edu News Feed, you will see David's:

status updates
new papers
new research interests

and other research updates.

David Sanán

Universidad de Malaga

Post-Doc

Lenguajes y Ciencias de la Computación Department

Model Checking and Temporal Logics

Follow Alessandro

What is Following?

Following Alessandro's work means that, in your Academia.edu News Feed, you will see Alessandro's:

status updates
new papers
new research interests

and other research updates.

Alessandro Bruni

Università degli Studi di Padova

Graduate Student

Computer Science Department

Computer Science, Formal Methods (Formal Verification), and Model Checking

Follow Gurvan

What is Following?

Following Gurvan's work means that, in your Academia.edu News Feed, you will see Gurvan's:

status updates
new papers
new research interests

and other research updates.

Gurvan Le Guernic

Royal Institute of Technology

Post-Doc

CSC Department

Abstract Interpretation, Computer Science, Computer Security And Reliability, and Formal Methods (Formal Verification)

Follow Pedro Tiago

What is Following?

Following Pedro Tiago's work means that, in your Academia.edu News Feed, you will see Pedro Tiago's:

status updates
new papers
new research interests

and other research updates.

Pedro Tiago Monteiro

Instituto Gulbenkian de Ciência

Post-Doc

Network Modelling Department

Computational Biology, Differential Equations, Dynamics on Networks, and Medical Informatics

Follow Antonios

What is Following?

Following Antonios's work means that, in your Academia.edu News Feed, you will see Antonios's:

status updates
new papers
new research interests

and other research updates.

Antonios Gouglidis

University of Macedonia

Graduate Student

Department Of Applied Informatics

Access Control, Cloud Computing, Computer Security, and Grid Computing

Follow Francesco

What is Following?

Following Francesco's work means that, in your Academia.edu News Feed, you will see Francesco's:

status updates
new papers
new research interests

and other research updates.

Francesco Spegni

Università Politecnica delle Marche, Italy

Graduate Student

DIIGA, Dipartimento di Ingegneria Informatica, Gestionale e dell'Automazione Department

Automata, Automata Theory (Formal Languages), Automated Deduction, and Computational Logic

Follow Árni Hermann

What is Following?

Following Árni Hermann's work means that, in your Academia.edu News Feed, you will see Árni Hermann's:

status updates
new papers
new research interests

and other research updates.

Árni Hermann Reynisson

Reykjavik University

Graduate Student

School of Computer Science

Computer Science, Computer Science And Engineering, Formal Methods (Formal Verification), and Model Checking

Follow Carlo Alberto

What is Following?

Following Carlo Alberto's work means that, in your Academia.edu News Feed, you will see Carlo Alberto's:

status updates
new papers
new research interests

and other research updates.

Carlo Alberto Furia

Swiss Federal Institute of Technology (ETH)

Post-Doc

Computer Science Department

Computer Science, Formal Methods (Formal Verification), Model Checking, and Quantum Computing

Follow Jaime Eduardo

What is Following?

Following Jaime Eduardo's work means that, in your Academia.edu News Feed, you will see Jaime Eduardo's:

status updates
new papers
new research interests

and other research updates.

Jaime Eduardo Arias Almeida

Pontificia Universidad Javeriana, Cali

Undergraduate

Electronics and computer science Department

Concurrent Constraint Programming, Digital FPGA implementation, Digital Signal Processing, and Digital Systems

Follow Jelena

What is Following?

Following Jelena's work means that, in your Academia.edu News Feed, you will see Jelena's:

status updates
new papers
new research interests

and other research updates.

Jelena Marincic

University of Twente

Department Member

Computer Science Department

Computer Science, Control and Mechatronics, Embedded Systems, and Formal Methods (Formal Verification)

Follow Fernando

What is Following?

Following Fernando's work means that, in your Academia.edu News Feed, you will see Fernando's:

status updates
new papers
new research interests

and other research updates.

Fernando Braz

UFMG - Universidade Federal de Minas Gerais

Graduate Student

Computer Science Department

Artificial Intelligence, Computer Science, Computer Science And Engineering, and Machine Learning

Follow Mads

What is Following?

Following Mads's work means that, in your Academia.edu News Feed, you will see Mads's:

status updates
new papers
new research interests

and other research updates.

Mads Chr. Olesen

Aalborg University

Graduate Student

Computer Science Department

Distributed Model Checking, Model Checking, Program Analysis, and Software Model Checking

Follow Yu

What is Following?

Following Yu's work means that, in your Academia.edu News Feed, you will see Yu's:

status updates
new papers
new research interests

and other research updates.

Yu Bai

TU Kaiserslautern

Graduate Student

Computer Science Department

Abstract Interpretation, Abstract Refinement, Computer Science, and Decision procedures

Follow Kirsten

What is Following?

Following Kirsten's work means that, in your Academia.edu News Feed, you will see Kirsten's:

status updates
new papers
new research interests

and other research updates.

Model Checking

What is Following?

Faculty Member

What is Following?

Graduate Student

What is Following?

Post-Doc

What is Following?

Faculty Member

What is Following?

Graduate Student

What is Following?

PhD Student in Computer Science and Engineering

What is Following?

Post-Doc

What is Following?

Faculty Member

What is Following?

Department Member

What is Following?

Graduate Student

What is Following?

Post-Doc

What is Following?

Graduate Student

What is Following?

Post-Doc

What is Following?

Post-Doc

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Post-Doc

What is Following?

Undergraduate

What is Following?

Department Member

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Department Member

Log In

Reset Password