Faculty of Computer Science

  • 5000

    Belgium

Research Output 1969 2020

Filter
Article
Article

RE4SuSy: 3rd international workshop on requirements engineering for sustainable systems

Penzenstadler, B., Mahaux, M. & Salinesi, C., 1 Jan 2014, In : CEUR Workshop Proceedings. 1216

Research output: Contribution to journalArticle

Requirements engineering
Takeoff
Systems engineering
Sustainable development
Software engineering

RE4SuSy: 4th International workshop on requirements engineering for Sustainable systems, part of the greens alliance

Penzenstadler, B., Mahaux, M., Salinesi, C. & Chitchyan, R., 2015, In : CEUR Workshop Proceedings. 1416

Research output: Contribution to journalArticle

Requirements engineering
Sustainable development
Birds
Software engineering
Industry

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 journalArticle

8 Downloads (Pure)

Réguler Internet

Berleur, J. & Poullet, Y., 2002, In : Etudes. 3975, p. 463-475 13 p.

Research output: Contribution to journalArticle

File

Reinforced extreme learning machines for fast robust regression in the presence of outliers

Frenay, B. & Verleysen, M., 17 Dec 2015, In : IEEE Transactions on Cybernetics. PP, 99, p. 3351-3363 7358117.

Research output: Contribution to journalArticle

Learning systems
Neurons
Reinforcement
Experiments
86 Downloads (Pure)
Open Access
File
Testing
Surface mount technology

Report on the 2nd international workshop on requirements engineering for sustainable systems (RE4SuSy)

Penzenstadler, B., Mahaux, M. & Salinesi, C., 1 Jan 2014, In : CEUR Workshop Proceedings. 1216

Research output: Contribution to journalArticle

Requirements engineering
Systems engineering
Sustainable development
Software engineering

Report on the EFIS 2001 Workshop

Conrad, S., Hasselbring, W., James, A., Kambur, D., Kutsche, R. & Thiran, P., 2002, In : The Computer Journal. 45, 2, p. 249-251 3 p.

Research output: Contribution to journalArticle

Report on the third workshop on verification of model transformations (VOLT 2014)

Amrani, M., Syriani, E., Wimmer, M., Bill, R., Gogolla, M., Hermann, F. & Lano, K., 1 Jan 2014, In : CEUR Workshop Proceedings. 1325, p. 1-9 9 p.

Research output: Contribution to journalArticle

Report on the Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ'09)

Glinz, M., Heymans, P., Persson, A., Sindre, G., Aurum, A., Madhavji, N., Paech, B., Regev, G. & Wieringa, R., 2009, In : ACM SIGSOFT Software Engineering Notes. 34, 5, p. 40-45 6 p.

Research output: Contribution to journalArticle

86 Downloads (Pure)

Report on the Workshop on Wrapper Techniques for Legacy Data Systems

Thiran, P., Risch, T., Costilla, C., Henrard, J., Kabisch, T., Petrini, J., van den Heuvel, W-J. & Hainaut, J-L., 2005, In : ACM SIGMOD Record. 34, 3, p. 85-86 2 p.

Research output: Contribution to journalArticle

File

Research in Database Engineering at the University of Namur

Hainaut, J-L., 2003, In : ACM SIGMOD Record. 32, 4, p. 124-128 5 p.

Research output: Contribution to journalArticle

Reuse of results in termination analysis of typed logic programs

Bruynooghe, M., Codish, M., Genaim, S. & Vanhoof, W., 2002, In : Static Analysis, 9th International Symposium . 2477, p. 477-492 16 p.

Research output: Contribution to journalArticle

Risk Processes Analyzed as Fluid Queues

Badescu, A., Breuer, L., da Silva Soares, A., Latouche, G., Remiche, M-A. & Stanford, D., 2005, In : Scandinavian Actuarial Journal. 2005, 2, p. 127-141 15 p.

Research output: Contribution to journalArticle

Rupture de contrat de collaboration indépendante: vous avez dit indemnisations ?

Rosier, K., 2015, Bulletin juridique et social, 548, p. p. 6.

Research output: Contribution to specialist publicationArticle

Open Access

Searhing semantically equivalent code fragments in logic programs

Vanhoof, W., 2005, In : Logic Based Program Synthesis and Transformation . 3573, p. 1-18 18 p.

Research output: Contribution to journalArticle

8 Downloads (Pure)
File
Trust Region Method
Convergence Properties
Curvature
Nonconvex Optimization
Optimization

Selon la Cour de cassation, des « délits de presse » peuvent également être commis par le biais de l'internet

Van Enis, Q., 2012, Justice en ligne.

Research output: Contribution to specialist publicationArticle

Seniors and ICT's: a Sense of Wisdom

GALAND, J-M. & Lobet-Maris, C., 2004, In : Communications & Stratégies. 53, p. 87-101

Research output: Contribution to journalArticle

69 Downloads (Pure)

Sensitivity of trust-region algorithms to their parameters

Gould, N., Orban, D., Sartenaer, A. & Toint, P., 1 Sep 2005, In : 4OR. 3, 3, p. 227-241 15 p.

Research output: Contribution to journalArticle

Open Access
File
Trust Region Algorithm
Trust Region
Programming
Update
Range of data

Separation of concerns in feature diagram languages: A systematic survey

Hubaux, A., Tun, T. T. & Heymans, P., 1 Aug 2013, In : ACM Computing Surveys. 45, 4, 2501665.

Research output: Contribution to journalArticle

Software Product Lines
Scalability
Software engineering
Diagram
Software System
91 Downloads (Pure)
File
Responsibility
Stakeholders
Service engineering
Healthcare
Business services
Carrier concentration
Cyclodextrins
Proteins
Probability density function
Molecular mechanics
6 Downloads (Pure)

Simultaneous measurement of protein-bound 3-chlorotyrosine and homocitrulline by LC-MS/MS after hydrolysis assisted by microwave: Application to the study of myeloperoxidase activity during hemodialysis

Delporte, C., Noyon, C., Dufour, D., Nève, J., Van Antwerpen, P., Franck, T., Serteyn, D., Rousseau, A., Vanhaeverbeek, M., Zouaoui Boudjeltia, K., Madhoun, P., Desmet, J-M., Raes, M., Nortier, J., Moguilevsky, N. & Vanhamme, L., 15 Sep 2012, In : Talanta. 99, p. 603-609 7 p.

Research output: Contribution to journalArticle

Peroxidase
Hydrolysis
Microwaves
Oxidative stress
Proteins

Software Quality: Introduction to the Special Theme

Vinju, J. & Cleve, A., 2014, In : ERCIM News. 99

Research output: Contribution to journalArticle

Software Quality in an Increasingly Agile World

Vanderose, B., Ayed, H. & Habra, N., Oct 2014, In : ERCIM News. 99

Research output: Contribution to journalArticle

Source metaphors in English

Vanparys, J., 1984, In : Journal of Pragmatics.

Research output: Contribution to journalArticle

Semantics
Statistics
Specifications
Data structures
Software design

Stability for fluid queues : characteristic inequalities

Govorun, M., Latouche, G. & Remiche, M-A., 2013, In : Stochastic Models. 29, p. 64-88

Research output: Contribution to journalArticle

Stabilization policy and budgetary adjustment in Poland

DE BROECK, M., De Crombrugghe, A. & KUDLINSKI, R., 1993, In : Russian and Eastern European Finance and Trade.

Research output: Contribution to journalArticle

11 Downloads (Pure)

Static Application-Level Race Detection in STM Haskell using Contracts

Demeyer, R. & Vanhoof, W., 10 Dec 2013, In : EPTCS.

Research output: Contribution to journalArticle

File
Boolean functions
Synchronization
Data storage equipment

Stationary distribution of a perturbed QBD process

Dendievel, S., Latouche, G. & Remiche, M-A., Mar 2012, In : ACM Sigmetrics Performance Evaluation Review. 39, 4, p. 40-40 1 p.

Research output: Contribution to journalArticle

24 Downloads (Pure)

Superlinear convergence of primal-dual interior point algorithms for nonlinear programming

Gould, N., Orban, D., Sartenaer, A. & Toint, P., 1 Mar 2001, In : SIAM Journal on Optimization. 11, 4, p. 974-1002 29 p.

Research output: Contribution to journalArticle

Open Access
File
Primal-dual Interior-point Algorithm
Superlinear Convergence
Nonlinear programming
Nonlinear Programming
Equality Constraints

Supporting multiple perspectives in feature-based configuration

Hubaux, A., Heymans, P., Schobbens, P-Y., Abbasi, E. K. & Deridder, D., 1 Jul 2013, In : Software and Systems Modeling. 12, 3, p. 641-663 23 p.

Research output: Contribution to journalArticle

Configuration
Life cycle
Visualization
Diagram
Software Product Lines

Surveillance et vie privée: à la recherche de l'ennemi intérieur

Forget, C. (ed.), Dumortier, F., Vanmeerbeek, P., Lazaro, C., Grandjean, N. & Loute, A., 2016, Kairos, 24, p. 9-20.

Research output: Contribution to specialist publicationArticle

Suspension Terms as a Means for Meta-coordination in the muLog Coordination Framework

Jacquet, J-M. & De Bosschere, K., 2003, In : The Journal of Supercomputing. 24, 2, p. 121-129 9 p.

Research output: Contribution to journalArticle

Syntactic and Semantic Extensions to Secure Tropos to Support Security Risk Management

Matulevicius, R., Mouratidis, H., Mayer, N., Dubois, E. & Heymans, P., 1 Jan 2012, In : Journal of Universal Computer Science. 6, p. 816-844 29 p.

Research output: Contribution to journalArticle

Risk Management
Syntactics
Risk management
Semantics
Modeling Language

Synthesising Features by Games

Guelev, D., Ryan, M. & Schobbens, P-Y., 2006, In : Electronic Notes in Theoretical Computer Science. 154, p. 79-93 15 p.

Research output: Contribution to journalArticle

Tarification différenciée et phénomène du géoblocage: Disneyland Paris revoit sa politique de prix

Rosier, K., 2016, Bulletin juridique et social, 565, p. p. 16.

Research output: Contribution to specialist publicationArticle

Open Access

Taupe: Visualizing and analyzing eye-tracking data

De Smet, B., Lempereur, L., Sharafi, Z., Guéhéneuc, Y. G., Antoniol, G. & Habra, N., 1 Jan 2014, In : Science of Computer Programming. 79, p. 260-278 19 p.

Research output: Contribution to journalArticle

Experiments
42 Downloads (Pure)

Taxonomy of the Visualization Techniques of Project-related Interactions

Fraiture, M. N., Otjacques, B. & Feltz, F., 2006, In : Electronic Journal of Information Technology in Construction. 11, p. 587-605 19 p.

Research output: Contribution to journalArticle

File

Temporal logic for strategy synthesis inLTL games

Kugler, H., Harel, D., Pnueli, A., Lu, Y. & Bontemps, Y., 2005, In : Tools and Algorithms for the Construction and Analysis of Systems. 3440, p. 445-460 16 p.

Research output: Contribution to journalArticle

Termination analysis through combination of type based norms

Bruynooghe, M., Codish, M., Gallagher, J., Genaim, S. & Vanhoof, W., 2006, In : ACM Transactions on Programming Languages and Systems (TOPLAS). 29, 2

Research output: Contribution to journalArticle

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 Jul 2018, In : Empirical Software Engineering . p. 1-44 44 p.

Research output: Contribution to journalArticle

Open Access
File
Sampling
Testing
Scaffolds
Program processors
Chemical analysis

The computational complexity of scenario-based agent verification and design

Bontemps, Y. & Schobbens, P-Y., 2007, In : Journal of Applied Logic. 5, 2, p. 252-276 25 p.

Research output: Contribution to journalArticle