Research group on the foundations of computer sciences

  • 5000

    Belgique

Résultat de recherche 1991 2019

Filtre
Article
2019
3 Downloads (Pure)

Anti-unification in Constraint Logic Programming

Yernaux, G. & Vanhoof, W., 20 sept. 2019, Dans : Theory and Practice of Logic Programming. 19, 5-6, p. 773-789 17 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Constraint Logic Programming
Logic programming
Unification
Computational complexity
Polynomials
2018
27 Downloads (Pure)

Model-based mutant equivalence detection using automata language equivalence and simulations

Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P-Y. & Heymans, P., 1 juil. 2018, Dans : Journal of Systems and Software. 141, p. 1-15 15 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
File
Finite automata
1 Downloads (Pure)

Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack

Halin, A., Nuttinck, A., Acher, M., Devroey, X., Perrouin, G. & Baudry, B., 17 juil. 2018, Dans : Empirical Software Engineering . p. 1-44 44 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
File
Sampling
Testing
Scaffolds
Program processors
Chemical analysis
2017
85 Downloads (Pure)

Statistical prioritization for software product line testing: an experience report

Devroey, X., Perrouin, G., Cordy, M., Samih, H., Legay, A., Schobbens, P. Y. & Heymans, P., 1 févr. 2017, Dans : Software and Systems Modeling. 16, 1, p. 153-171 19 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
File
Software Product Lines
Prioritization
Testing
Feature Model
Statistical tests
2016

A Survey on Mobile Data Uses

Colot, C., Linden, I. & Baecke, P., 22 juin 2016, Dans : International Journal of Decision Support System Technology. 8, 2, p. 29-49 21 p., 3.

Résultats de recherche: Contribution à un journal/une revueArticle

Mobile devices
Mobile Devices
Collective Behavior
Two Dimensions
Likely

How a BI-wise responsible integrated management system may support food traceability

Gianni, M., Gotzamani, K. & Linden, I., 1 avr. 2016, Dans : International Journal of Decision Support System Technology. 8, 2, p. 1-17 17 p., 1.

Résultats de recherche: Contribution à un journal/une revueArticle

Business Intelligence
Competitive intelligence
Traceability
Supply Chain
Supply chains
4 Downloads (Pure)

On the Introduction of Density in Tuple-Space Coordination Languages

Titre traduit de la contribution: De l'introduction de la densité dans les langages de coordination d'espaces de tuplesDarquennes, D., Jacquet, J-M. & Linden, I., janv. 2016, Dans : Science of Computer Programming. 115, p. 149-176

Résultats de recherche: Contribution à un journal/une revueArticle

Deposits

Real-time model-driven engineering: An overview

Amrani, M. & Schobbens, P. Y., 2016, Dans : CEUR Workshop Proceedings. 1693, p. 18-27 10 p.

Résultats de recherche: Contribution à un journal/une revueArticle

2015

On Distributed Density in Tuple-based Coordination Languages

Darquennes, D., Jacquet, J-M. & Linden, I., 12 févr. 2015, Dans : EPTCS. 175, p. 26-53

Résultats de recherche: Contribution à un journal/une revueArticle

84 Downloads (Pure)

Relational symbolic execution of SQL code for unit testing of database programs

Marcozzi, M., Vanhoof, W. & Hainaut, J. L., 1 juil. 2015, Dans : Science of Computer Programming. 105, p. 44-72 29 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
File
Testing
Surface mount technology
2014
Business Intelligence
Competitive intelligence
Requirements Engineering
Requirements engineering
Monitoring
161 Downloads (Pure)

Formal semantics, modular specification, and symbolic verification of product-line behaviour

Classen, A., Cordy, M., Heymans, P., Legay, A. & Schobbens, P. Y., 1 févr. 2014, Dans : Science of Computer Programming. 80, PART B, p. 416-439 24 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
File
Specification languages
Model checking
Explosions
Semantics
Specifications

Proposals for the integration of interactive dashboards in business process monitoring to support resources allocation decisions

Linden, I., 3 juil. 2014, Dans : Journal of Decision Systems. 23, 3, p. 318-332 15 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Process monitoring
Resource allocation
Industry
Flow control
Business process
2013

A methodology for formal analysis and verification of EAST-ADL models

Kang, E-Y., Enoiu, E. P., Marinescu, R., Seceleanu, C., Schobbens, P. Y. & Pettersson, P., 31 juil. 2013, Dans : Reliability Engineering and System Safety. 120, p. 127-138 12 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Formal Analysis
Formal Verification
Methodology
Timing
Requirements
23 Downloads (Pure)

Modeling and Specification of Distributed Timed Systems

Ortiz Vega, J. J., 10 sept. 2013, Dans : Ingeniería Y Competitividad. vol 15, 2, p. 229-238 10 p., 10.

Résultats de recherche: Contribution à un journal/une revueArticle

File
11 Downloads (Pure)

Static Application-Level Race Detection in STM Haskell using Contracts

Demeyer, R. & Vanhoof, W., 10 déc. 2013, Dans : EPTCS.

Résultats de recherche: Contribution à un journal/une revueArticle

File
Boolean functions
Synchronization
Data storage equipment

Timed modelling of gene networks with arbitrarily precise expression discretization

Van Goethem, S., Jacquet, J. M., Brim, L. & Šafránek, D., 11 mars 2013, Dans : Electronic Notes in Theoretical Computer Science. 293, p. 67-81 15 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Gene Networks
Genes
Discretization
Timed Automata
Gene Regulatory Network
2009

Towards a Framework for Constraint-Based Test Case Generation

Degrave, F., Schrijvers, T. & Vanhoof, W., 2009, Dans : Proceedings of LOPSTR 2009. 6037, p. 128-142 15 p.

Résultats de recherche: Contribution à un journal/une revueArticle

2004
12 Downloads (Pure)

Crear: Consejero para la Repetición de Artículos y Evaluadores en Eventos Académicos

Ortiz Vega, J. J., Diaz, J. F. & Aranda, J., 2004, Dans : Ingeniería Y Competitividad. 6, 1, p. 53-62 10 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
File