Faculte d'informatique

  • 5000

    Belgique

Résultat de recherche

Filtrer
Autre contribution
2015

Presentation Asdenca 2015 paper

Feltus, C., Fontaine, F-X. & Grandry, E., 2015

Résultats de recherche: Autre contribution

Accès ouvert
File
148 Téléchargements (Pure)

Presentation of RCIS paper

Feltus, C., 2015, 31 p.

Résultats de recherche: Autre contribution

Accès ouvert
File
108 Téléchargements (Pure)
2014

PhD presentation support

Feltus, C., 2014

Résultats de recherche: Autre contribution

File
77 Téléchargements (Pure)
2013
55 Téléchargements (Pure)
File
20 Téléchargements (Pure)

Verification for Reliable Product Lines

Cordy, M., Heymans, P., Schobbens, P-Y., Molzam Sharifloo, A. & Ghezzi, C., 2013

Résultats de recherche: Autre contribution

2012

Access Right Management enhanced by combining the Enterprise Architecture Metamodel of a European Institution with ReMoLa

Feltus, C., Petit, M. & VERNADAT, F., 2012, Springer.

Résultats de recherche: Autre contribution

Analogue attacks in e-health: Issues and Solutions

Thavymony Annanda, R. & Colin, J-N., 2012, (Non publié)

Résultats de recherche: Autre contribution

An interactive Video Streaming Architecture Featuring Bit-rate Adaptation

Fernandez, I. A., De VleeSchouwer, C., Toma, G. & Schumacher, L., 2012

Résultats de recherche: Autre contribution

66 Téléchargements (Pure)

Governance in Perspective. The Issue of Normativity

Masclet, L. & Goujon, P., 1 janv. 2012

Résultats de recherche: Autre contribution

Joint Workshop on Security Modeling ArchiMate Forum and Security Forum

Feltus, C. & Band, I., 2012

Résultats de recherche: Autre contribution

File
43 Téléchargements (Pure)

Model Checking for Software Product Lines with SNIP

Classen, A., Cordy, M., Heymans, P., Legay, A. & Schobbens, P-Y., 2012

Résultats de recherche: Autre contribution

File
115 Téléchargements (Pure)
96 Téléchargements (Pure)

A Formal Verification Technique for Architecture-Based Embedded Systems in EAST-ADL

Kang, E-Y., 2011, (Non publié)

Résultats de recherche: Autre contribution

european project egais : Deliverable 3.3 Portability of Ethical Governance

Goujon, P., Rainey, S., Doridot, F., Kurt, A., Duquenoy, P., Patrignany, N. & Lavelle, S., 2011, (Non publié)

Résultats de recherche: Autre contribution

european project etica : Deliverable D4.2 Governance Recommendations

Goujon, P. & Rainey, S., 2011, (Non publié)

Résultats de recherche: Autre contribution

PrimAndroid: Privacy Policy Modelling and Analysis for Android Applications

Benats, G., Bandara, A., Yu, Y., Colin, J-N. & Buseibeh, B., 2011

Résultats de recherche: Autre contribution

Proceedings of the 19th IEEE International Requirements Engineering Conference

Heymans, P., Mylopoulos, J. & Fricker, S., 2011

Résultats de recherche: Autre contribution

Rainey, Stephen, Goujon, Philippe - Deliverable D.4.3 - Workshop Report

Rainey, S. & Goujon, P., 1 janv. 2011

Résultats de recherche: Autre contribution

Refinement & Synthesis - Distributed Event Clock Automata

Ortiz Vega, J. J., Schobbens, P-Y. & Legay, A., 2011, 1 p. Brussels

Résultats de recherche: Autre contribution

File
15 Téléchargements (Pure)
62 Téléchargements (Pure)
File
259 Téléchargements (Pure)

CTL Model Checking for Software Product Lines in NuSMV

Classen, A., 2010

Résultats de recherche: Autre contribution

File
223 Téléchargements (Pure)

Database Reverse Engineering

Hainaut, J-L., Englebert, V. & HENRARD, J., 2010

Résultats de recherche: Autre contribution

Deliverable 2.4 Interpretation of Ethical Behaviour

Norberto, P., Santuccio, A. & Goujon, P., 2010

Résultats de recherche: Autre contribution

egais deliverable 2.2 Empirical Data Collection

Duquenoy, P., Kurt, A. & Goujon, P., 2010

Résultats de recherche: Autre contribution

egais deliverable 3.1 : Ethical Governance Models, Paradigm Recognition and Interpretation

Kurt, A., Lavel, S., Goujon, P., Catherine, F. & Duquenoy, P., 2010

Résultats de recherche: Autre contribution

File
127 Téléchargements (Pure)

Modelling with FTS: a Collection of Illustrative Examples

Classen, A., 2010

Résultats de recherche: Autre contribution

File
303 Téléchargements (Pure)

Network Data Model

Hainaut, J-L., 2010

Résultats de recherche: Autre contribution