Pages

1. • Speech

   An SMT-based Approach to Automated Configuration

   Michel, Raphaël Hubaux, Arnaud Ganesh, Vijay Heymans, Patrick (2012) —
2. • Speech

   Efficient Consistency Checking of Scenario-Based Product Line Specifications [Best paper award]

   Greenyer, Joel Molzam Sharifloo, Amir Cordy, Maxime Heymans, Patrick (2012) —
3. • Speech

   Next-Generation Model-based Variability Management: Languages and Tools (Tutorial)

   Acher, Mathieu Heymans, Patrick Collet, Philippe Lahire, Philippe (2012) —
4. • Speech

   Unifying Software and Product Configuration: A Research Roadmap (to appear)

   Hubaux, Arnaud Dietmar, Jannach Drescher, Conrad Murta, Leonardo Mannisto, Tomi Czarnecki, Krzysztof Heymans, Patrick Nguyen, Tien Zanker, Markus (2012) —
5. • Journal article

   Convergence properties of an augmented Lagrangian algorithm for optimization with a combination of general equality and linear constraints

   Conn, A.R. Gould, N. Sartenaer, A. Toint, Ph.L. (1996) SIAM Journal on Optimization — vol. 6, no. 3, p. 674-703 (1999)
6. • Journal article

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

   Matulevicius, Raimundas Mouratidis, Haralambos Mayer, Nicolas Dubois, Eric Heymans, Patrick (2012) Journal of Universal Computer Science — no. 6, p. 816-844 (1986)
7. • Autre (Other)

   Analytical Grid

   Goujon, Philippe Rainey, Stephen (2013)
8. • Autre (Other)

   Implementing Ethics in IS, presuppositions and consequences in ethics and IS, HCC10 in Amsterdam in Ict Critical infrastructures and society, ed Springer , 2012 pp. 287-299 : Proceedings of the 10th IFIP TC9 International Conference on human choice and computers, HCC10 2012 Amsterdam, September 2012.

   Goujon, Philippe Masclet, Laurence (2012)
9. • Autre (Other)

   Stephen Rainey, Philippe Goujon et al."New Guidelines Addressing the Problem of Integrating Ethics into Technical Development Projects - deliverable 4.3 - project egais (The Ethical GovernAnce of emergIng technologieS)

   Goujon, Philippe (2012)
10. • Autre (Other)

    European policy brief - The Ethical GovernAnce of emergIng technologieS (EGAIS) - european Project egais

    Goujon, Philippe (2012)
11. • Journal article

    Second-order convergence properties of trust-region methods using incomplete curvature information, with an application to multigrid optimization

    Gratton, Serge Sartenaer, Annick Toint, Philippe (2006) Journal of Computational Mathematics — vol. 24, no. 6, p. 676-692 (1988)
12. • Autre (Other)

    Deliverable D1.2 - Stephen Rainey, Philippe Goujon - "Theoretical Landscape CONSIDER Project (GA number 288928)" July 2012 projet européen Consider

    Rainey, Stephen Goujon, Philippe (2012)
13. • Autre (Other)

    Governance in Perspective. The Issue of Normativity

    Masclet, Laurence Goujon, Philippe (2012)
14. • Autre (Other)

    Rainey, Stephen, Goujon, Philippe - Deliverable D.4.3 - Workshop Report

    Rainey, Stephen Goujon, Philippe (2011)
15. • Speech

    Enterprise Architecture Enhanced with Responsibility to Manage Access Right - Case Study in an EU Institution

    Petit, Michaël Feltus, Christophe VERNADAT, François (2012) —
16. • Speech

    Towards formal energy and time aware behaviors in EAST-ADL : An MDE approach

    Kang, E.-Y. Perrouin, G. Schobbens, P.-Y. (2012) —
17. • Journal article

    Recursive trust-region methods for multiscale nonlinear optimization

    Gratton, Serge Sartenaer, Annick Toint, Philippe (2008) SIAM Journal on Optimization — vol. 19, no. 1, p. 414-444 (2005)
18. • Journal article

    Componentwise fast convergence in the solution of full-rank systems of nonlinear equations

    Gould, Nick Orban, Dominique Sartenaer, A. Toint, Philippe (2002) Mathematical Programming Series B — vol. 92, no. 3, p. 481-508 (1997)
19. • Journal article

    Supporting multiple perspectives in feature-based configuration

    Hubaux, A. Heymans, P. Schobbens, P.-Y. Abbasi, E.K. Deridder, D. (2013) Software and Systems Modeling — vol. 12, no. 3, p. 641-663 (2010)
20. • Journal article

    A two-level temporal logic for evolving specifications

    Schobbens, P.Y. Saake, G. Sernadas, A. Sernadas, C. (2002) Information processing letters — vol. 83, no. 3, p. 167-172 (1997)
21. • Journal article

    Alternating-time logic with imperfect recall

    Schobbens, P.-Y. (2004) Electronic Notes in Theoretical Computer Science — vol. 85, p. 82-93 (1970)
22. • Journal article

    Evaluating formal properties of feature diagram languages

    Heymans, P. Schobbens, P.-Y. Trigaux, J.-C. Bontemps, Y. Matulevicius, Raimundas Classen, A. (2008) IET Software Journal — vol. 2, no. 3, p. 281-302 (2007)
23. • Journal article

    Blackboard Rules for Coordinating Context-aware Applications in Mobile Ad Hoc Networks

    Jacquet, Jean-Marie Linden, Isabelle Staicu, Mihail-Octavian (2012) EPTCS — vol. 91, no. 1421, p. 63-78 (2012)
24. • Journal article

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

    Gould, Nick Orban, Dominique. Sartenaer, A. Toint, Philippe (2001) SIAM Journal on Optimization — vol. 11, no. 4, p. 974-1002 (1997)
25. • Journal article

    Logic of `initially' and `next' : Complete axiomatization and complexity

    Schobbens, P.-Y. Raskin, J.-F. (1999) Information processing letters — vol. 69, no. 5, p. 221-225 (1997)
26. • Journal article

    Axioms for real-time logics

    Schobbens, P.-Y. Raskin, J.-F. Henzinger, T.A. (2002) Theoretical Computer Science — vol. 274, no. 1-2, p. 151-182 (2001)
27. • Journal article

    Sensitivity of trust-region algorithms to their parameters

    Gould, Nick Orban, D. Sartenaer, A. Toint, Philippe (2005) 4OR — vol. 3, no. 3, p. 227-241 (2004)
28. • Journal article

    Numerical experience with a recursive trust-region method for multilevel nonlinear bound-constrained optimization

    Gratton, Serge Mouffe, Mélodie Sartenaer, Annick Toint, Philippe Tomanos, Dimitri (2010) Optimization Methods and Software — vol. 25, no. 3, p. 359-386 (2010)
29. • BookChapter

    Towards an incremental automata-based approach for software product-line model checking

    Cordy, Maxime Schobbens, Pierre Heymans, Patrick Legay, Axel (2012) ACM International Conference Proceeding Series : — [ISBN : 9781450310956]
30. • Speech

    Purpose Management and Enforcement for Sensitive Private Data in Open Environments

    Rath, Thavy Mony Annanda Colin, Jean-Noël (2012) 10th international workshop for technical, economic and legal aspects of business models for virtual goods —

Pages