Research output per year
Research output per year
- 27 results
Search results
-
2004
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, In: Ingeniería Y Competitividad. 6, 1, p. 53-62 10 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile47 Downloads (Pure) -
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 Jul 2013, In: Reliability Engineering and System Safety. 120, p. 127-138 12 p.Research output: Contribution to journal › Article › peer-review
-
Modeling and Specification of Distributed Timed Systems
Ortiz Vega, J. J., 10 Sept 2013, In: Ingeniería Y Competitividad. vol 15, 2, p. 229-238 10 p., 10.Research output: Contribution to journal › Article › peer-review
File37 Downloads (Pure) -
Timed modelling of gene networks with arbitrarily precise expression discretization
Van Goethem, S., Jacquet, J. M., Brim, L. & Šafránek, D., 11 Mar 2013, In: Electronic Notes in Theoretical Computer Science. 293, p. 67-81 15 p.Research output: Contribution to journal › Article › peer-review
-
2014
A Framework for the Operationalization of Monitoring in Business Intelligence Requirements Engineering
Burnay, C., Jureta, I., Linden, I. & Faulkner, S., 2014, In: Software and Systems Modeling.Research output: Contribution to journal › Article › peer-review
-
Formal semantics, modular specification, and symbolic verification of product-line behaviour
Classen, A., Cordy, M., Heymans, P., Legay, A. & Schobbens, P. Y., 1 Feb 2014, In: Science of Computer Programming. 80, PART B, p. 416-439 24 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile429 Downloads (Pure) -
Proposals for the integration of interactive dashboards in business process monitoring to support resources allocation decisions
Linden, I., 3 Jul 2014, In: Journal of Decision Systems. 23, 3, p. 318-332 15 p.Research output: Contribution to journal › Article › peer-review
-
2015
On Distributed Density in Tuple-based Coordination Languages
Darquennes, D., Jacquet, J-M. & Linden, I., 12 Feb 2015, In: EPTCS. 175, p. 26-53Research output: Contribution to journal › Article › peer-review
-
Relational symbolic execution of SQL code for unit testing of database programs
Marcozzi, M., Vanhoof, W. & Hainaut, J. L., 1 Jul 2015, In: Science of Computer Programming. 105, p. 44-72 29 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile130 Downloads (Pure) -
2016
A Survey on Mobile Data Uses
Colot, C., Linden, I. & Baecke, P., 22 Jun 2016, In: International Journal of Decision Support System Technology. 8, 2, p. 29-49 21 p., 3.Research output: Contribution to journal › Article › peer-review
-
Blackboard Rules: From a Declarative Reading to its Application for Coordinating Context-aware Applications in Mobile Ad Hoc Networks
Jacquet, J-M., Linden, I. & Staicu, M-O., Jan 2016, In: Science of Computer Programming. 115, p. 79-99Research output: Contribution to journal › Article › peer-review
-
How a BI-wise responsible integrated management system may support food traceability
Gianni, M., Gotzamani, K. & Linden, I., 1 Apr 2016, In: International Journal of Decision Support System Technology. 8, 2, p. 1-17 17 p., 1.Research output: Contribution to journal › Article › peer-review
-
On the Introduction of Density in Tuple-Space Coordination Languages
Darquennes, D., Jacquet, J-M. & Linden, I., Jan 2016, In: Science of Computer Programming. 115, p. 149-176Research output: Contribution to journal › Article › peer-review
4 Downloads (Pure) -
Real-time model-driven engineering: An overview
Amrani, M. & Schobbens, P. Y., 2016, In: CEUR Workshop Proceedings. 1693, p. 18-27 10 p.Research output: Contribution to journal › Article › peer-review
-
2017
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 Feb 2017, In: Software and Systems Modeling. 16, 1, p. 153-171 19 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile284 Downloads (Pure) -
2018
All roads lead to Rome: Commuting strategies for product-line reliability analysis
Castro, T., Lanna, A., Alves, V., Teixeira, L., Apel, S. & Schobbens, P. Y., 15 Jan 2018, In: Science of Computer Programming. 152, p. 116-160 45 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Feature-family-based reliability analysis of software product lines
Lanna, A., Castro, T., Alves, V., Rodrigues, G., Schobbens, P. Y. & Apel, S., 1 Feb 2018, In: Information and Software Technology. 94, p. 59-81 23 p.Research output: Contribution to journal › Article › peer-review
-
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 Jul 2018, In: Journal of Systems and Software. 141, p. 1-15 15 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile51 Downloads (Pure) -
2019
Anti-unification in Constraint Logic Programming
Yernaux, G. & Vanhoof, W., 20 Sept 2019, In: Theory and Practice of Logic Programming. 19, 5-6, p. 773-789 17 p.Research output: Contribution to journal › Article › peer-review
3 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., 15 Apr 2019, In: Empirical Software Engineering . 24, 2, p. 674-717 44 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile53 Downloads (Pure) -
2020
Entre rêves et illusion l'intelligence artificielle en questions
Linden, I., 2020, In: Revue d'éthique et de théologie morale. 307, p. 13-28 1.Research output: Contribution to journal › Article
Open AccessFile87 Downloads (Pure) -
Search-based crash reproduction using behavioural model seeding
Derakhshanfar, P., DEVROEY, X., Perrouin, G., Zaidman, A. & van Deursen, A., 1 May 2020, In: Software Testing, Verification and Reliability. 30, 3, e1733.Research output: Contribution to journal › Article › peer-review
Open AccessFile60 Downloads (Pure) -
2021
Alternatives for Telco Data Network: The Value of Spatial and Referral Networks for Churn Detection
Colot, C., Baecke, P. & Linden, I., 2021, In: Information Systems Management. 38, 3, p. 218-236 19 p.Research output: Contribution to journal › Article › peer-review
File33 Downloads (Pure) -
Leveraging fine-grained mobile data for churn detection through Essence Random Forest
Colot, C., Baecke, P. & Linden, I., 29 Apr 2021, In: Journal of Big Data. 8, 1, 63.Research output: Contribution to journal › Article › peer-review
-
2023
Composite score for anomaly detection in imbalanced real-world industrial dataset
Bougaham, A., El Adoui, M., Linden, I. & Frénay, B., 20 Nov 2023, In: Machine Learning.Research output: Contribution to journal › Article › peer-review
Open AccessFile17 Downloads (Pure) -
On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues
Barkallah, M. & Jacquet, J. M., 21 Aug 2023, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 383, p. 55-72 18 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile1 Downloads (Pure) -
Providing command and control agility: A software product line approach
Amorim, J. C., Rocha, E. L., Minardi, L., Alves, V., de Freitas, E. P., Castro, T., Amrani, M., Ortiz, J., Schobbens, P. Y. & Perrouin, G., 15 Apr 2023, In: Expert Systems with Applications. 216, 119473.Research output: Contribution to journal › Article › peer-review