Faculte d'informatique

  • 5000

    Belgique

Résultat de recherche

Filtrer
Autre contribution

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
109 Téléchargements (Pure)
2014

PhD presentation support

Feltus, C., 2014

Résultats de recherche: Autre contribution

File
79 Téléchargements (Pure)
2013
55 Téléchargements (Pure)
File
21 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

Engineering Configuration Graphical User Interfaces: A Model-based Perspective: Paper submitted to ECMFA'12

Boucher, Q., Perrouin, G., Acher, M. & Heymans, P., 2012, (Non publié)

Résultats de recherche: Autre contribution

File
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
47 Téléchargements (Pure)

Les réseaux privés

Roelandts, C. & Monville, C., 2012

Résultats de recherche: Autre contribution

Accès ouvert

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
119 Téléchargements (Pure)

Modelling and Model Checking Variability-Intensive Systems with Featured Transition Systems (submitted)

Classen, A., Heymans, P., Schobbens, P-Y., Cordy, M., Legay, A. & Raskin, J-F., 2012, (Non publié)

Résultats de recherche: Autre contribution

97 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
16 Téléchargements (Pure)

Simulation-Based Abstractions for Software Product-Line Model Checking

Cordy, M., Classen, A., Perrouin, G., Heymans, P., Schobbens, P-Y. & Legay, A., 2011

Résultats de recherche: Autre contribution

File
63 Téléchargements (Pure)

SNIP: An Efficient Model Checker for Software Product Lines

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

Résultats de recherche: Autre contribution

File
259 Téléchargements (Pure)
2010

Aspects institutionnels du droit des télécommunications en Belgique ou l'automobile à treize volants

Coppieters 't Wallant, Q., 2010

Résultats de recherche: Autre contribution

CTL Model Checking for Software Product Lines in NuSMV

Classen, A., 2010

Résultats de recherche: Autre contribution

File
226 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