Research Group on the Foundations of Computer Sciences

Filtrer
Article dans les actes d'une conférence/un colloque

Résultats de recherche

  • 2015

    From Mobile Data Towards Better Customer Knowledge: Proposals for an Information Framework

    Colot, C. & Linden, I., 2015, The 6th International Conference on Ambient Systems, Networks and Technologies (ANT-2015), the 5th International Conference on Sustainable Energy Information Technology (SEIT-2015). Shakshuki, E. (Ed.). Elsevier, Vol 52. p. 75-82 8 p. (Procedia Computer Science; Vol 52).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article 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., 2015, Software Engineering & Management. p. 91-92

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

  • Modeling and Verification for Probabilistic Properties in Software Product Lines

    Rodrigues, G. N., Alves, V., Nunes, V., Lanna, A., Cordy, M., Schobbens, P. Y., Sharifloo, A. M. & Legay, A., 29 janv. 2015, Proceedings of IEEE International Symposium on High Assurance Systems Engineering. January Ed. IEEE Computer Society Press, Vol 2015. p. 173-180 8 p. 7027429

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

  • Poster: VIBeS, Transition System Mutation Made Easy

    Devroey, X., Perrouin, G., Schobbens, P. & Heymans, P., 12 août 2015, Proceedings - International Conference on Software Engineering. Florence, Italy: IEEE Computer Society Press, Vol 2. p. 817-818 2 p. 7203084

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

    File
    84 Téléchargements (Pure)

  • State machine flattening, a mapping study and tools assessment

    Devroey, X., Cordy, M., Schobbens, P. Y., Legay, A. & Heymans, P., 13 mai 2015, 2015 IEEE 8th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Proceedings: A-MOST '15. IEEE, p. 1-8 8 p. 7107408

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

  • Using fuzzy modeling for consistent definitions of product qualities in requirements.

    Davril, J.-M., Cordy, M., Heymans, P. & Acher, M., 2015, Proceedings of the Second International Workshop on Artificial Intelligence for Requirements Engineering. Institute of Electrical and Electronics Engineers Inc., p. 17-24 8 p. 7337624

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

  • 2014

    Abstract test case generation for behavioural testing of software product lines

    Devroey, X., Perrouin, G. & Schobbens, P.-Y., 15 sept. 2014, ACM International Conference Proceeding Series. Florence, Italy: ACM Press, Vol 2. p. 86-93 8 p. (SPLC '14).

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

    File
    81 Téléchargements (Pure)

  • An extensible platform for product-line behavioural analysis

    Cordy, M., Willemart, M., Dawagne, B., Heymans, P. & Schobbens, P.-Y., 15 sept. 2014, ACM International Conference Proceeding Series: Companion Volume for Workshops, Demonstrations and Tools-Volume 2. ACM Press, Vol 2. p. 102-109 8 p.

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

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

  • A Reflection of the EWG-DSS's Life through the Application of SNA Techniques to its Publications

    Linden, I. & Motte, M., 2014, Proceedings of the Joint International Conference of the INFORMS GDN Section and the EURO Working Group on DSS. Zaraté, P., Camilleri, G., Kamissoko, D. & Amblard, F. (eds.). Toulouse University, p. 158-167 10 p.

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

  • ArThUR: A Tool for Markov Logic Network

    Bodart, A., Evrard, K., Ortiz Vega, J. J. & Schobbens, P. Y., 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol 8842. p. 319-328 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 8842).

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

    File
    336 Téléchargements (Pure)

  • A Variability Perspective of Mutation Analysis

    Devroey, X., Perrouin, G., Cordy, M., Papadakis, M., Legay, A. & Schobbens, P.-Y., 16 nov. 2014, Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering. New York, NY, USA: ACM Press, p. 841-844 4 p. (FSE 2014).

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

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

  • Counterexample Guided Abstraction Refinement of product-line behavioural models

    Cordy, M., Heymans, P., Legay, A., Schobbens, P. Y., Dawagne, B. & Leucker, M., 16 nov. 2014, 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE 2014 - Proceedings. ACM Press, Vol 16-21-November-2014. p. 190-201 12 p.

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

  • Coverage criteria for behavioural testing of software product lines

    Devroey, X., Perrouin, G., Legay, A., Cordy, M., Schobbens, P.-Y. & Heymans, P., 8 nov. 2014, Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA). Springer Verlag, Vol 8802. p. 336-350 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 8802).

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

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

  • Extended Abstract : Multi-Timed Bisimulation for Distributed Timed Automata

    Ortiz Vega, J. J. & Schobbens, P.-Y., 4 avr. 2014, Open problems in real-time computing. 2 p.

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

    File
    82 Téléchargements (Pure)

  • Schedulability analysis support for automotive systems: From requirement to implementation

    Kang, E.-Y. & Schobbens, P. Y., 24 mars 2014, Proceedings of the ACM Symposium on Applied Computing. New York, NY, USA: ACM Press, p. 1080-1085 6 p.

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

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

  • State Machine Flattening: Mapping Study and Assessment

    Devroey, X., Perrouin, G., Cordy, M., Legay, A., Schobbens, P.-Y. & Heymans, P., 21 mars 2014, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops: ICSTW. IEEE, 13 p.

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

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

  • Towards Statistical Prioritization for Software Product Lines Testing

    Devroey, X., Cordy, M., Perrouin, G., Schobbens, P.-Y., Legay, A. & Heymans, P., 22 janv. 2014, Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems: VaMoS '14 . Wasowski, A. & Weyer, T. (eds.). Sophia Antipolis, France: ACM Press, Vol VaMoS '14. p. 10:1-10:7 8 p. 10

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

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

  • Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution

    Marcozzi, M., Vanhoof, W. (Promoteur) & Hainaut, J.-L. (Promoteur), 31 mai 2014, Proceedings of 36th International Conference on Software Engineering (ICSE 2014) Workshops: 6th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014). ACM Press

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

    Accès ouvert
    File
    288 Téléchargements (Pure)
  • 2013

    A Generic Workflow Metamodel to Support Resource-aware Decision Making

    Ramdoyal, R., Ponsard, C., Derbali, M.-A., Schwanen, G., Linden, I. & Jacquet, J.-M., 21 nov. 2013, ICEIS 2013 - Proceedings of the 15th International Conference on Enterprise Information Systems. Vol 3. p. 243-250 8 p.

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

  • 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érence › Article dans les actes d'une conférence/un colloque

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

  • 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érence › Article 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érence › Article dans les actes d'une conférence/un colloque

  • 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érence › Article dans les actes d'une conférence/un colloque

    File
    113 Téléchargements (Pure)

  • 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érence › Article 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érence › Article 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érence › Article 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érence › Article dans les actes d'une conférence/un colloque

  • Static Application-Level Race Detection in STM Haskell using Contracts

    Demeyer, R. & Vanhoof, W., 10 déc. 2013, Electronic Proceedings in Theoretical Computer Science EPTCS. Open Publishing Association, (EPTCS).

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

    File
    44 Téléchargements (Pure)
  • 2012

    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érence › Article dans les actes d'une conférence/un colloque

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

  • Test input generation for database programs using relational constraints

    Marcozzi, M., Vanhoof, W. & Hainaut, J.-L., 2012, Proceedings of the Fifth International Workshop on Testing Database Systems. New York, NY, USA: ACM Press, p. 6:1-6:6 6 p. (DBTest '12).

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

    Accès ouvert
    File
    386 Téléchargements (Pure)
  • 2011

    A Novel Probabilistic Encoding for EAs Applied to Biclustering of Microarray Data

    Marcozzi, M., DIVINA, F., AGUILAR-RUIZ, J. S. & Vanhoof, W. (Promoteur), 2011, GECCO '11: Proceedings of the Genetic and Evolutionary Computation Conference. Krasnogor, N. (Ed.). New York: ACM Press, p. 339-346 8 p.

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

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

  • Constraint-based test data generation for database-driven applications

    Marcozzi, M., 3 juil. 2011, Pre-Proceedings of the GTTSE-SLE 2011 Students’ Workshop . Braga, Portugal: GTTSE-SLE Students' Workshop

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

    Accès ouvert
    File
    81 Téléchargements (Pure)
  • 2010

    Memory Event Clocks

    Ortiz, J., Legay, A. & Schobbens, P.-Y., 2010, Formal Modeling and Analysis of Timed Systems. Springer, Vol 6246. p. 198 (Formal Modeling and Analysis of Timed Systems, Lecture Notes in Computer Science).

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

    File
    20 Téléchargements (Pure)
  • 2009

    Towards a Framework for Constraint-Based Test Case Generation

    Degrave, F., Schrijvers, T. & Vanhoof, W., 2009, Proceedings of LOPSTR 2009. Vol 6037. p. 128-142 15 p. (Proceedings of LOPSTR 2009).

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

  • 2006

    Revisión de algunos modelos de programación concurrente por restricciones y sus aplicaciones

    Ortiz Vega, J. J., Aranda, J. & Moreno, P., 2006, The 2nd International Seminar on Genomics, Proteomics, Bioinformatics and Systems Biology" 2006. 14 p.

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

    Accès ouvert
    File
    32 Téléchargements (Pure)
  • 2005

    The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event: A Practical Solution Incorporating Constraint Programming and Heuristics

    Ortiz Vega, J. J., Aranda, J. & Diaz, J. F., 2005, Multiparadigm Programming in Mozart/OZ. Charleroi, Belgium: Springer, Vol 3389. p. 305-316 12 p.

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

    Accès ouvert
    File
    38 Téléchargements (Pure)
  • 2004

    El Problema de la Asignación de Evaluadores para los Artículos Presentados a un Evento Académico: Modelamiento e Implementación de dos Solución Usando Programación por Restricciones.

    Ortiz Vega, J. J., Diaz, J. F. & Aranda, J., 2004, Conferencia Latinoamericana en Informática. Lima, Perù, p. 684-695 17 p.

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

    Accès ouvert
    File
    122 Téléchargements (Pure)
  • 2003

    Synthesis of open reactive systems from scenario-based specifications

    Bontemps, Y. & Schobbens, P. Y., 1 janv. 2003, Proceedings - 3rd International Conference on Application of Concurrency to System Design, ACSD 2003. Institute of Electrical and Electronics Engineers Inc., Vol 2003-January. p. 41-50 10 p. 1207698

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

  • 1991

    On the Meaning of "but

    Schobbens, P. Y., 25 oct. 1991, IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design. ACM Press, p. 185-192 8 p. (IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design).

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