Faculte d'informatique

Address
  • 5000

    Belgique

Où nous trouver
Filtrer
Article dans les actes d'une conférence/un colloque

Résultats de recherche

  • 2013

    A purpose model and policy enforcement engine for usage control in distributed healthcare information system

    Rath, T. M. A. & Colin, J-N., 27 mai 2013, HEALTHINF 2013 - Proceedings of the International Conference on Health Informatics. p. 174-180 7 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    File
    99 Téléchargements (Pure)
  • A relational symbolic execution algorithm for constraint-based testing of database programs

    Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 22 sept. 2013, IEEE 13th International Working Conference on Source Code Analysis and Manipulation, SCAM 2013. IEEE Computer society, p. 179-188 10 p. 6648200

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    283 Téléchargements (Pure)
  • Assessing software product line testing via model-based mutation: An application to similarity testing

    Henard, C., Papadakis, M., Perrouin, G., Klein, J. & Traon, Y. L., 9 sept. 2013, Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013. IEEE, p. 188-197 10 p. 6571629

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Beyond Boolean product-line model checking: Dealing with feature attributes and multi-features

    Cordy, M., Schobbens, P. Y., Heymans, P. & Legay, A., 30 oct. 2013, Proceedings - International Conference on Software Engineering. p. 472-481 10 p. 6606593

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    File
    84 Téléchargements (Pure)
  • Choosing compliance solutions through stakeholder preferences

    Ingolfo, S., Siena, A., Jureta, I., Susi, A., Perini, A. & Mylopoulos, J., 10 avr. 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 7830 LNCS. p. 206-220 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 7830 LNCS).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Collaborative creativity in requirements engineering: Analysis and practical advice

    Mahaux, M., Nguyen, L., Gotel, O., Mich, L., Mavin, A. & Schmid, K., 19 sept. 2013, Proceedings - International Conference on Research Challenges in Information Science. 6577678

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Context Factors : What they are and why they matter for Requirements Problems

    Burnay, C., Jureta, I. & Faulkner, S., 26 juin 2013, Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering (SEKE'13). Boston, USA

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Conviction model for incident reaction architecture monitoring based on automatic sensors alert detection

    Feltus, C. & Khadraoui, D., 2013, SIN 2013 - Proceedings of the 6th International Conference on Security of Information and Networks. p. 39-45 7 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Creative collisions: Meet and create: And other "rE interactive" suggestions

    Mahaux, M. & Callele, D., 31 déc. 2013, 2013 21st IEEE International Requirements Engineering Conference, RE 2013 - Proceedings. p. 371-372 2 p. 6636756

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Critical infrastructures governance: Exploring SCADA cybernetics through architectured policy semantic

    Khadraoui, D. & Feltus, C., 2013, Proceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013. p. 4766-4771 6 p. 6722566

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Dynamic program analysis for database reverse engineering

    Cleve, A., Noughi, N. & Hainaut, J-L., 1 déc. 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol 7680 LNCS. p. 297-321 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 7680 LNCS).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Efficient quality assurance of variability-intensive systems

    Heymans, P., Legay, A. & Cordy, M., 30 oct. 2013, Proceedings - International Conference on Software Engineering. p. 1496-1498 3 p. 6606757

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Enabling formal analysis of energy-aware automotive embedded systems in EAST-ADL

    Kang, E-Y. & Schobbens, P-Y., 1 janv. 2013, Simulation Series. Vol 45. p. 62-69 8 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Feature-based adaptation of database schemas

    Mori, M. & Cleve, A., 9 sept. 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol 7706 LNCS. p. 85-105 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 7706 LNCS).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Feature model extraction from large collections of informal product descriptions

    Davril, J-M., Delfosse, E., Hariri, N., Acher, M., Cleland-Huang, J. & Heymans, P., 16 sept. 2013, 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings. p. 290-300 11 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Formal modeling and verification of SDN-OpenFlow

    Kang, M., Kang, E-Y., Hwang, D. Y., Kim, B. J., Nam, K. H., Shin, M. K. & Choi, J. Y., 9 sept. 2013, Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013. p. 481-482 2 p. 6569764

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Incrementally synthesizing controllers from scenario-based product line specifications

    Greenyer, J., Brenner, C., Cordy, M., Heymans, P. & Gressi, E., 16 sept. 2013, 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings. p. 433-443 11 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Industry program panel

    Feltus, C., 2013, SIN 2013 - Proceedings of the 6th International Conference on Security of Information and Networks. p. 465 1 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    File
    48 Téléchargements (Pure)
  • Integrated Information System for Multi-criteria Management of Orthopedic Infections

    Ortiz Vega, J. J., De Nizza, D., Schobbens, P-Y. & Meurisse, H., 20 nov. 2013, Mobile and Information Technologies in Medicine and Health 2013 .

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    File
    88 Téléchargements (Pure)
  • Metamodel for reputation based agents system - Case study for electrical distribution SCADA design

    Guemkam, G., Blangenois, J., Feltus, C. & Khadraoui, D., 1 déc. 2013, SIN 2013 - Proceedings of the 6th International Conference on Security of Information and Networks. p. 251-255 5 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Model-based verification of energy-aware real-time automotive systems

    Kang, E-Y., Perrouin, G. & Schobbens, P. Y., 15 oct. 2013, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS. p. 135-144 10 p. 6601814

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Model-centric strategy-IT alignment: An empirical study in progress

    Giannoulis, C., Zdravkovic, J. & Petit, M., 12 juil. 2013, Lecture Notes in Business Information Processing. Vol 148 LNBIP. p. 146-155 10 p. (Lecture Notes in Business Information Processing; Vol 148 LNBIP).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Multi-objective test generation for software product lines

    Henard, C., Papadakis, M., Perrouin, G., Klein, J. & Le Traon, Y., 18 sept. 2013, Proceedings of the 17th International Software Product Line Conference (SPLC). ACM Press, p. 62-71 10 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • On Density in Coordination Languages

    Jacquet, J. M., Linden, I. & Darquennes, D., 2013, Advances in Service-Oriented and Cloud Computing : Workshops of ESOCC 2013, Revised Selected Papers. Canal, C. & Villari, M. (eds.). Springer Verlag, Vol 393 CCIS. p. 189-203 15 p. (Communications in Computer and Information Science; Vol 393 CCIS).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • On designing automatic reaction strategy for critical infrastructure SCADA system

    Feltus, C. & Khadraoui, D., 2013, SIN 2013 - Proceedings of the 6th International Conference on Security of Information and Networks. p. 444-445 2 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • On the Introduction of Time in Distributed Blackboard Rules

    Jacquet, J-M., Linden, I. & Staicu, M-O., 2013, Advances in Service-Oriented and Cloud Computing : Workshops of ESOCC 2013, Revised Selected Papers. Canal, C. & Villari, M. (eds.). Springer, Vol 393. p. 144-158 15 p. (Communications in Computer and Information Science; Vol 393).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Organizational security architecture for critical infrastructure

    Blangenois, J., Guemkam, G., Feltus, C. & Khadraoui, D., 1 déc. 2013, Proceedings - 2013 International Conference on Availability, Reliability and Security, ARES 2013. p. 316-323 8 p. 6657259

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • ORTHOGEN: Système d'Information Intégré pour la Traçabilité et la Gestion Multi-Paramètres des Infections Orthopédiques

    De Nizza, D., Ortiz Vega, J. J., Meurisse, H. & Schobbens, P-Y., 2013, INFORSID 2013: Informatique des Organisation et Systèmes d'Information et de Décision. Paris, p. 312-328 16 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    File
    98 Téléchargements (Pure)
  • PLEDGE: a product line editor and test generation tool

    Henard, C., Papadakis, M., Perrouin, G., Klein, J. & Le Traon, Y., 23 déc. 2013, 17th International Software Product Line Conference (co-located workshops). ACM Press, p. 126-129 4 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Re-engineering the uptake of ICT in schools

    Van Assche, F., Simon, B., Aram, M., Colin, J-N., Hoang, M. T., Griffiths, D., Popat, K., Anido-Rifón, L., Caeiro-Rodríguez, M., Santos-Gago, J., Ellis, W. & Klerkx, J., 9 sept. 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 8095 LNCS. p. 645-646 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 8095 LNCS).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Reverse engineering web sales configurators

    Abbasi, E. K. & Heymans, P., 1 déc. 2013, IEEE International Conference on Software Maintenance, ICSM. p. 586-589 4 p. 6676962

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Semantic code clones in logic programs

    Dandois, C. & Vanhoof, W., 14 nov. 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 7844 LNCS. p. 35-50 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 7844 LNCS).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Support for reverse engineering and maintaining feature models

    Acher, M., Baudry, B., Heymans, P., Cleve, A. & Hainaut, J. L., 22 févr. 2013, ACM International Conference Proceeding Series. ACM Press, 20 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Telling the long and beautiful (hi)story of automation!

    d'Udekem-Gevers, M., 2013, (Accepté/sous presse) Making the History of Computing Relevant: 17-18 June 2013 London (IFIP & Science Museum). Dordrecht: Springer, p. 173-195

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
  • The anatomy of a sales configurator: An empirical study of 111 cases

    Abbasi, E. K., Hubaux, A., Acher, M., Boucher, Q. & Heymans, P., 12 juil. 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 7908 LNCS. p. 162-177 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 7908 LNCS).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Toward benchmarks to assess advancement in legal requirements modeling

    Jureta, I., Breaux, T., Siena, A. & Gordon, D., 1 déc. 2013, 2013 6th International Workshop on Requirements Engineering and Law, RELAW 2013 - Proceedings. p. 25-33 9 p. 6671343

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Towards an enterprise architecture based strategic alignment model an evaluation of SAM based on ISO 15704

    Goepp, V. & Petit, M., 21 nov. 2013, ICEIS 2013 - Proceedings of the 15th International Conference on Enterprise Information Systems. Vol 3. p. 370-375 6 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Towards automated testing and fixing of re-engineered Feature Models

    Henard, C., Papadakis, M., Perrouin, G., Klein, J. & Le Traon, Y., 30 oct. 2013, Proceedings - International Conference on Software Engineering. IEEE, Vol 2. p. 1245-1248 4 p. 6606689

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Towards enforcement of purpose for privacy policy in distributed healthcare

    Rath, T. M. A. & Colin, J-N., 15 avr. 2013, 2013 IEEE 10th Consumer Communications and Networking Conference, CCNC 2013. p. 881-886 6 p. 6488578

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    File
    92 Téléchargements (Pure)
  • Towards highly adaptive data-intensive systems: A research agenda

    Mori, M. & Cleve, A., 12 juil. 2013, Lecture Notes in Business Information Processing: CAiSE 2013 International Workshops. Springer Verlag, Vol 148 LNBIP. p. 386-401 16 p. (Lecture Notes in Business Information Processing; Vol 148 LNBIP).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    118 Téléchargements (Pure)
  • Understanding schema evolution as a basis for database reengineering

    Gobert, M., Maes, J., Cleve, A. & Weber, J., 1 déc. 2013, IEEE International Conference on Software Maintenance, ICSM. IEEE Computer society, p. 472-475 4 p. 6676935

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • University meets industry: Calling in real stakeholders

    Penzenstadler, B., Mahaux, M. & Heymans, P., 8 oct. 2013, Software Engineering Education Conference, Proceedings. p. 1-10 10 p. 6595231

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Using goals and customizable services to improve adaptability of process-based service compositions

    Gillain, J., Faulkner, S., Jureta, I. J. & Snoeck, M., 19 sept. 2013, Proceedings - International Conference on Research Challenges in Information Science. 6577716

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Visual notation design 2.0: Towards user comprehensible requirements engineering notations

    Caire, P., Genon, N., Heymans, P. & Moody, D. L., 31 déc. 2013, 2013 21st IEEE International Requirements Engineering Conference, RE 2013 - Proceedings. p. 115-124 10 p. 6636711

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • 2012

    A Feature-based Approach to System Deployment and Adaptation (To Appear)

    Acher, M., Moisan, S. & Rigault, J-P., 2012, (Non publié) Proceedings of the Proceedings of the 2012 international workshop on Modeling in software engineering at ICSE 2012 (MiSE'12),.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • A framework for collaboratively editing domain specific models

    Koshima, A., 2012, poster presentation at PReCISE Research Day, April 24, 2012, Namur, Belgium.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • A Framework for Verifying the Application-Level Race-Freeness of Concurrent Programs

    Demeyer, R. & Vanhoof, W., 2012, Proceedings of the 22nd Workshop on Logic-based Programming Environments (WLPE 2012). p. 10-24

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • A Survey of Configuration Challenges in Linux and eCos

    Hubaux, A., Xiong, Y. & Czarnecki, K., 2012, Proceedings of the 6th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'12), Leipzig, Germany.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • A vision for behavioural model-driven validation of software product lines

    Devroey, X., Cordy, M., Perrouin, G., Kang, E-Y., Schobbens, P-Y., Heymans, P., Legay, A. & Baudry, B., 15 oct. 2012, Proceedings of the 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Vol 7609 LNCS. p. 208-222 15 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    122 Téléchargements (Pure)
  • Choose Your Creativity: Why and How Creativity in Requirements Engineering Means Different Things to Different People

    Mahaux, M., Mavin, A. & Heymans, P., 2012, Proceedings of the 18th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ'12). Regnell, B. & Damian, D. (eds.). Springer, Vol 7195. p. 101-116 16 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque