Recent pages

Edit
page

New
page

Print
page
This page can't be edited.
0

LASSY Publications Listing

From $1

    Table of contents
    Advanced Search

    Search: all publications (bibtex)

    288 results found. Group by: Year Type Type&Year Year&Type None

    Book Edited

    2007

    [2480] N. Guelfi, D. Buchs, Rapid Integration of Software Engineering Techniques: Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers. Lecture Notes in Computer Science 44, Springer, 2007 (bibtex)

    [2479] N. Guelfi, P. Pelliccione, H. Muccini, A. Romanovsky, Software Engineering of Fault Tolerant Systems, World Scientific Publishing Co., 2007 (bibtex)

    2004

    [2428] N. Guelfi, E. Astesiano, A. Romanovsky, Scientific Engineering for Distributed Java Applications (Fourth International Workshop FIDJI 2004), Springer-Verlag, Luxembourg-Kirchberg, 2004 (bibtex)

    2003

    [2427] N. Guelfi, E. Astesiano, G. Reggio, Scientific Engineering for Distributed Java Applications (Third International Workshop FIDJI 2003), Springer-Verlag, Luxembourg-Kirchberg, 2003 (bibtex)

    2002

    [2426] N. Guelfi, E. Astesiano, G. Reggio, Scientific Engineering for Distributed Java Applications (Second International Workshop FIDJI 2002), Springer-Verlag, Luxembourg-Kirchberg, 2002 (bibtex)

    2001

    [397] N. Guelfi, Proceedings of the 1st FIDJI Workshop on Formal Engineering of Distributed Java Implementation, Applied Computer Science Department, Luxembourg University of Applied Sciences, Luxembourg-Kirchberg, Luxembourg, 2001 (bibtex)

    Book Section

    2013

    [3188] M. Risoldi, J. L. F. Marquez, G. D. M. Serugendo, Assessing The Resilience Of Self-Organizing Systems: A Quantitative Approach, Adaptive, Dynamic, and Resilient Systems Handbook, Taylor & Francis, 2013 (bibtex)

    2012

    [3171] A. SAIDANE, N. Guelfi, Towards test-driven and architecture model-based security and resilience engineering, Designing, Engineering, and Analyzing Reliable and Efficient Software, -, 2012 (bibtex)

    2011

    [3134] M. E. Kharbili, E. Pulvermueller, Chapter 16: Semantic Policies for Modeling Regulatory Process Compliance, Semantic Technologies for Business and Information Systems Engineering: Concepts and Applications, IGI Global, pp. 311-336, 2011 (abstract) (bibtex)

    [3128] B. Gallina, N. Guelfi, Reusing Transaction Models for Dependable Cloud Computing, Software Reuse in the Emerging Cloud Computing Era, IGI Global Research Handbook, IGI Global, 2011 (abstract) (bibtex)

    2008

    [2518] A. Berlizev, N. Guelfi, Fault-tolerance Requirements Analysis using Deviations in the CORRECT development process, Book on Methods Models and Tools for Fault Tolerance, Springer, 2008 (bibtex)

    2007

    [2466] N. Boizot, E. Busvelle, Adaptive-Gain Observers and Application, Lecture Notes in Control Sciences, Springer, 2007 (download) (bibtex)

    [2481] N. Guelfi, P. Pelliccione, H. Muccini, A. Romanovsky, Software Engineering of Fault Tolerant Systems, Software Engineering of Fault Tolerant Systems, Series on Software Engineering and Knowledge Engineering, World Scientific Publishing Co., pp. 1-30, 2007 (download) (bibtex)

    [2457] N. Guelfi, C. Pruski, C. Reynaud, Towards the Adaptive Web using Metadata Evolution, Handbook of Research on Web Information Systems Quality, 2007 (bibtex)

    2006

    [1957] R. Laleau, A. Mammar, From UML Diagrams to B Specifications, Software Specification Methods: An Overview Using a Case Study, Hermes, ISTE London, 2006 (bibtex)

    [2439] A. Capozucca, N. Guelfi, P. Pelliccione, The Fault-Tolerant Insulin Pump Therapy, Rigorous Engineering of Fault-Tolerant Systems, LNCS 4157, Lecture Notes in Computer Sciences, Springer-Verlag, Berlin Heidelberg 2006, pp. 59-79, 2006 (bibtex)

    Journal Article

    2012

    [3172] R. Ledyayev, B. Ries, A. Gorbenko, REACT: an Architectural Framework for the Development of a Software Product Line for Dependable Crisis Management Systems, Radioelectronic and Computer Systems, 59 (7), pp. 284-288, 2012 (abstract) (link) (download) (bibtex)

    [3166] A. SAIDANE, N. Guelfi, Towards a test-driven and architecture model-based security engineering approach, International Journal of Secure Software Engineering, 3 (3), 2012 (link) (download) (bibtex)

    2011

    [3127] N. Guelfi, A formal framework for dependability and resilience from a software engineering perspective, Central European Journal of Computer Science, 1 (3), pp. 294-328, 2011 (abstract) (link) (bibtex)

    [3129] C. Pruski, N. Guelfi, C. Reynaud, Adaptive Ontology-based Web Information Retrieval: The TARGET Framework, International Journal of Web Portals, 3 (3), pp. 41-58, 2011 (abstract) (link) (bibtex)

    [3155] R. Delamare, B. Baudry, S. Ghosh, G. Gupta, Y. L. Traon, An Approach for Testing Pointcut Descriptors in AspectJ, Software, Testing, Verification & Reliability journal (STVR), 21 (3), pp. 215-239, 2011 (abstract) (download) (bibtex)

    [3157] J. Simonin, E. Bertin, Y. L. Traon, J. Jezequel, N. Crespi, Analysis and Improvement of the Alignment between Business and Information System for Telecom Services, International Journal On Advances in Software, pp. 117-128, 2011 (abstract) (download) (bibtex)

    [3152] G. Perrouin, S. Oster, S. Sen, J. Klein, B. Baudry, Y. L. Traon, Pairwise testing for software product lines: Comparison of two approaches, Software Quality Journal, pp. 1-39, 2011 (abstract) (download) (bibtex)

    2010

    [2569] G. Sandulescu, S. Nadjm-Tehrani, Adding Redundancy to Replication in Window-aware Delay-tolerant Routing, Journal of Communications, 5 (2), pp. 117-129, 2010 (abstract) (download) (bibtex)

    [2587] N. Boizot, E. Busvelle, J. Gauthier, An adaptive high-gain observer for nonlinear systems, Automatica, 46 (9), pp. 1483-1488, 2010 (abstract) (link) (bibtex)

    [3072] J. Kienzle, W. A. Abed, F. Fleurey, J. Jezequel, J. Klein, Aspect-Oriented Design with Reusable Aspect Models, Transactions on Aspect-Oriented Software Development (TAOSD), 6210 (6210), 2010 (download) (bibtex)

    [3108] B. Baudry, S. Ghosh, F. Fleurey, R. France, Y. L. Traon, J. M. Mottu, Barriers to Systematic Model Transformation Testing, Communications of the ACM, 53 (6), pp. 139-143, 2010 (bibtex)

    [3109] J. M. Mottu, B. Baudry, Y. L. Traon, Construction de tests qualifiés de transformation de modèles, Technique et Sciences Informatiques, Numéro Spécial L'ingénierie dirigée par les modèles, 29 (29), pp. 537-569, 2010 (abstract) (bibtex)

    [2567] A. Capozucca, N. Guelfi, Modelling Dependable Collaborative Time-constrained Business Process, Enterprise Information System, London, UK, 4 (2), pp. 153-214, 2010 (abstract) (bibtex)

    [3107] E. C. de Almeida, G. Sunye, Y. L. Traon, P. Valduriez, Testing peer-to-peer systems, Empirical Software Engineering, 15 (4), pp. 346-379, 2010 (abstract) (bibtex)

    [3080] N. Amalio, P. Kelsen, Q. Ma, C. Glodt, Using VCL as an Aspect-Oriented Approach to Requirements Modelling, Transactions on Aspect Oriented Software Development, pp. 151-199, 2010 (bibtex)

    2009

    [2563] N. Amalio, Analysing Security requirements formally and flexibly based on suspicion, International Journal of Advances in Security, 2 (4), pp. 344-357, 2009 (download) (bibtex)

    2008

    [2533] M. E. Alami, N. Casel, D. Zampunieris, An architecture for e-learning system with computational intelligence, The Electronic Libray Journal, 26 (Artificial intellige), pp. 318-328, 2008 (abstract) (bibtex)

    [2497] F. Balbastro, A. Capozucca, N. Guelfi, Analysis and framework-based design of a fault-tolerant web information system for m-health, Service Oriented Computing and Applications, 2 (Numbers 2-3), pp. 111-144, 2008 (abstract) (bibtex)

    [2499] A. Capozucca, N. Guelfi, P. Pelliccione, A. Romanovsky, A. F. Zo, Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study, Journal of Systems and Software, 2008 (abstract) (bibtex)

    [2534] D. Zampunieris, Implementation of Efficient Proactive Computing Using Lazy Evaluation in a Learning Management System, International Journal of Web-Based Learning and Teaching Technologies, pp. 103-109, 2008 (abstract) (bibtex)

    [2511] P. Kelsen, E. Pulvermueller, C. Glodt, Specifying Executable Platform-Independent Models using OCL, Electronic Communications of the EASST, 2008 (abstract) (bibtex)

    [2526] S. Koenig, J. Sachau, Sustainability of Biomass Energy Sources - Measurement and Regional Comparison, WSEAS TRANSACTIONS on ENVIRONMENT and DEVELOPMENT, Volume 4 (Issue 2), pp. 119-128, 2008 (abstract) (bibtex)

    2007

    [2469] E. Kachafoutdinova, D. Zampuniéris, Conception d'un cours de luxembourgeois en ligne : prise en compte de contraintes externes dans les choix méthodologiques et didactiques, Apprentissage des Langues et Systèmes d'Information et de Communication, 10 (Juin 2007), 2007 (link) (bibtex)

    2006

    [2440] A. Mammar, R. Laleau, A formal approach based on UML and B for the specification and development of database applications, Automated Software Engineering, 13, Number 4 (October 2006), pp. 497-528, 2006 (abstract) (bibtex)

    [2435] N. Guelfi, C. Pruski, On the use of Ontology for an Optimal Representation and Exploration of the Web, Journal of Digital Information Management, 4 (3), 2006 (bibtex)

    [2451] S. König, J. Sachau, Strategic Analysis of Sustainable Biomass Potential and Cost of Biomass Resources in regional spatial planning context, WSEAS Transactions on Environment and Development, 2006 (abstract) (bibtex)

    [2432] A. Mammar, R. Laleau, UB2SQL: A Tool for Building Database Applications Using UML and B Formal Method, Journal of Database Management, 17, n 4 (October-December 200), pp. 70-89, 2006 (abstract) (bibtex)

    2005

    [1913] A. Mammar, R. Laleau, From a B Formal Specification to an Executable Code: Application to the Relational Database Domain, Information and Software Technology, 2005 (abstract) (bibtex)

    [1973] J. Sachau, Reduced Pole Placement Method for Cascaded Frequency Control via Dispersed Pulse Inverters, European Transactions on Electrical Power (ETEP), 15 (4), pp. 343-350, 2005 (bibtex)

    Magazine Article

    2008

    [2506] N. Guelfi, B. Ries, SESAME: A Model-Driven Test Selection Process for Safety-Critical Embedded Systems, ERCIM, 2008 (abstract) (download) (bibtex)

    2006

    [1968] A. Capozucca, B. Gallina, N. Guelfi, P. Pelliccione, A. Romanovsky, CORRECT Developing Fault-Tolerant Distributed Systems, ERCIM News, 2006 (abstract) (download) (bibtex)

    2005

    [1963] N. Guelfi, C. Pruski, J. Reimen, P. Sterges, Securing JAFAR - An Architectural Framework for E-Commerce Applications, ERCIM News n°63, 2005 (download) (bibtex)

    Conference Paper

    2012

    [3181] S. C. Tosatto, M. E. Kharbili, G. Governatori, P. Kelsen, Q. Ma, L. van der Torre, Algorithms for Basic Compliance Problems, Benelux conference on Artificial Intelligence, pp. 67-74, 2012 (abstract) (bibtex)

    [3176] P. Istoan, Defining Composition Operators for BPMN, 11th International Conference on Software Composition, 7306, Prague, Czech Republic, Springer, pp. 17-34, 2012 (download) (bibtex)

    [3173] D. Shirnin, S. Reis, D. Zampunieris, Design of proactive scenarios and rules for enhanced e-learning, Conference on Computer Supported Education, Porto, Portugal, SciTePress, pp. 253-258, 2012 (abstract) (link) (bibtex)

    [3178] L. Lucio, E. Syriani, M. Amrani, Q. Zhang, H. Vangheluwe, Invariant Preservation In Iterative Modeling, Workshop on Models and Evolution, Innsbruck (Austria), 2012 (abstract) (link) (bibtex)

    [3180] Y. Khan, M. Risoldi, Language Enrichment for Resilient MDE, Software Engineering for Resilient Systems (SERENE), 7527, Pisa (Italy), Springer Berlin / Heidelberg, pp. 76-90, 2012 (abstract) (bibtex)

    [3182] J. Leemans, N. Amalio, Modelling a cardiac pacemaker visually and formally, VL/HCC, pp. 257-258, 2012 (abstract) (bibtex)

    [3174] S. M. Dias, S. Reis, D. Zampunieris, Personalized, Adaptive and Intelligent Support for Online Assignments Based on Proactive Computing, 2012 IEEE 12th International Conference on Advanced Learning Technologies, Rome, Italy, IEEE, pp. 668-669, 2012 (abstract) (link) (download) (bibtex)

    [3175] S. Reis, S. M. Dias, D. Zampunieris, Proactive Computing Based Implementation of Personalized and Adaptive Technology Enhanced Learning over Moodle(TM), 2012 IEEE 12th International Conference on Advanced Learning Technologies, Rome, Italy, IEEE, pp. 674-675, 2012 (abstract) (link) (download) (bibtex)

    [3183] E. Tobias, E. Ras, N. Amalio, Suitability of visual modelling languages for modelling tangible user interface applications, VL/HCC, pp. 269-270, 2012 (abstract) (bibtex)

    2011

    [3151] P. Istoan, J. Klein, G. Perrouin, J. Jezequel, A Metamodel-based Classification of Variability Modeling Approaches, VARY, TR-2011-144, Wellington, New Zeland, IT University of Copenhagen, pp. 23-32, 2011 (abstract) (link) (bibtex)

    [3137] M. Alferez, N. Amalio, S. Ciraci, F. Fleurey, J. Kienzle, J. Klein, M. Kramer, S. Mosser, G. Mussbacher, E. Roubtsova, G. Zhang, Aspect-Oriented Model Development at Different Levels of Abstraction, Modelling Foundations and Applications - 7th European Conference, ECMFA 2011, 6698, Birmingham, UK, Springer, pp. 361-376, 2011 (abstract) (bibtex)

    [3135] N. Amalio, C. Glodt, P. Kelsen, Building VCL Models and Automatically Generating Z Specifications from Them, Formal Methods - 17th International Symposium on Formal Methods, 6664, Limerick, Ireland, Springer, pp. 149-153, 2011 (abstract) (bibtex)

    [3132] M. E. Kharbili, Q. Ma, P. Kelsen, E. Pulvermueller, CoReL: Policy-Based and Model-Driven Regulatory Compliance Management, EDOC, IEEE Computer Society Press, 2011 (abstract) (bibtex)

    [3133] M. E. Kharbili, Q. Ma, P. Kelsen, E. Pulvermueller, Enterprise Regulatory Compliance Modeling using CoReL: An illustrative Example, CEC, IEEE Computer Society Press, 2011 (abstract) (bibtex)

    [3149] P. Istoan, N. Biri, J. Klein, Issues in model-driven behavioural product derivation, VAMOS, Namur, Belgium, ACM, pp. 69-78, 2011 (abstract) (link) (bibtex)

    [3153] A. Bartel, B. Baudry, F. Munoz, J. Klein, T. Mouelhi, Y. L. Traon, Model Driven Mutation Applied to Adaptative Systems Testing, Mutation, Berlin, IEEE Xplore, pp. 408-413, 2011 (abstract) (download) (bibtex)

    [3131] P. Kelsen, Q. Ma, C. Glodt, Models within Models: Taming Model Complexity Using the Sub-model Lattice, FASE, pp. 171-185, 2011 (abstract) (bibtex)

    [3167] A. Capozucca, B. H. C. Cheng, N. Guelfi, P. Istoan, OO-SPL modelling of the focused case study, Comparing Modeling Approaches (CMA) International Workshop affiliated with ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (CMA@MODELS2011), 2011 (link) (bibtex)

    [3136] N. Amalio, C. Glodt, F. Pinto, P. Kelsen, Platform-Variant Applications from Platform-Independent Models via Templates, WGT, 279, Elsevier, pp. 3-25, 2011 (abstract) (bibtex)

    [3159] T. Demongeot, E. Totel, V. V. T. Tong, Y. L. Traon, Preventing data leakage in services orchestration, 7th International Conference Information Assurance and Security (IAS 2011), Malacca, Malaysia., 2011 (bibtex)

    [3158] T. Demongeot, E. Totel, V. V. T. Tong, Y. L. Traon, reventing data leakage in services orchestration, 7th International Conference Information Assurance and Security (IAS 2011), Malacca, Malaysia., 2011 (abstract) (bibtex)

    [3156] T. Mouelhi, Y. L. Traon, E. Abgrall, B. Baudry, S. Gombault, Tailored Shielding and Bypass Testing of Web Applications, 4th IEEE International Conference on Software Testing, Verification and Validation (ICST 2011), Berlin, IEEE, pp. 210-219, 2011 (abstract) (download) (bibtex)

    [3130] A. SAIDANE, N. Guelfi, Towards improving security testability of AADL architecture models, International Conference on Network and System Security, Milano, Italy, IEEE Computer Society, 2011 (abstract) (bibtex)

    2010

    [3103] E. C. de Almeida, J. E. Marynowski, G. Sunye, Y. L. Traon, P. Valduriez, A Distributed Testing Architecture for Large Scale Systems, International Conference on Testing Software and Systems, Natal, Brésil, 2010 (bibtex)

    [2564] P. Kelsen, Q. Ma, A Modular Model Composition Technique, FASE'10, 6013, Springer, pp. 173-187, 2010 (download) (bibtex)

    [3098] G. Perrouin, S. Sen, J. Klein, B. Baudry, Y. L. Traon, Automatic and Scalable T-wise Test Case Generation Strategies for Software Product Lines, International Conference on Software Testing (ICST), Paris, France, 2010 (abstract) (link) (bibtex)

    [3100] J. Simonin, E. Bertin, Y. L. Traon, J. Jézéquel, Business and Information System Alignment: A Formal Solution for Telecom Services, The Fifth International Conference on Software Engineering Advances, ICSEA, Nice, France, 2010 (bibtex)

    [3101] E. Brottier, Y. L. Traon, N. Bertrand, Composing Models at Two Modeling Levels to Capture Heterogeneous Concerns in Requirements : Software Composition, 9th International Conference on Software Composition, 6144, Malaga, Spain, Springer, 2010 (bibtex)

    [3124] S. Coronado, D. Zampunieris, Continuous proactivity in Learning Management Systems, EDUCON 2010 - The Future of Global Learning in Engineering Education, 1, Madrid, Spain, IEEE, pp. 201-205, 2010 (abstract) (bibtex)

    [3106] P. Dhaussy, P. Pillain, S. Creff, A. Raji, Y. L. Traon, Contribution à la formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués, Approches Formelles dans l'Assistance de Dévelopement Logiciel (AFADL), Poitiers, France, 2010 (abstract) (bibtex)

    [3071] B. Barroca, L. Lucio, V. Amaral, R. Felix, V. Sousa, DSLTrans: A Turing Incomplete Transformation Language, Software Language Engineering, Eindhoven, Netherlands, LNCS (to be published), 2010 (abstract) (link) (download) (bibtex)

    [3096] N. Guelfi, C. Pruski, C. Reynaud, Experimental Assessment of the TARGET Adaptive Ontology-based Web Search Framework, NOTERE'2010, Tozeur, Tunisie, 2010 (abstract) (link) (bibtex)

    [3073] B. Morin, J. Klein, J. Kienzle, J. Jezequel, Flexible Model Element Introduction Policies for Aspect-Oriented Modeling, 13th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2010), Oslo, Norway, Springer, pp. 63-77, 2010 (download) (bibtex)

    [3084] L. T. Yves, T. Mouelhi, F. Fleurey, B. Baudry, Language-specific vs language-independent approaches:embedding semantics on a metamodel for testing and verifying access control policies, Quality of Model-Based Testing Workshop (QuomBAT 2010), Paris, 2010 (bibtex)

    [3097] A. Rusnjak, H. Hristov, M. E. Kharbili, A. Speck, Managing the dynamics of e/m Commerce with a hierarchical overlapping Business-Value Framework, The 6th international Symposium on Web and Mobile Information Services (WAMIS 2010), 2010 (bibtex)

    [3078] N. Amalio, P. Kelsen, Modular Design by Contract Visually and Formally using VCL, VL/HCC 2010, IEEE, pp. 227-234, 2010 (bibtex)

    [2568] G. Sandulescu, S. Nadjm-Tehrani, Optimising Replication versus Redundancy in Window-aware Opportunistic Routing, Proc. of the third international Conference on Communication Theory, Reliability, and Quality of Service, Athens, Greece, IEEE, pp. 192-202, 2010 (abstract) (download) (bibtex)

    [3099] E. Totel, V. V. T. Tong, Y. L. Traon, Protection des données utilisateurs dans une orchestration de Web-Services, 5th Conference on Network Architectures and Information Systems Security, Menton, France, 2010 (bibtex)

    [3102] B. Morin, T. Mouelhi, F. Fleurey, Y. L. Traon, O. Barais, J. Jézéquel, Security-driven model-based dynamic adaptation, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, 2010 (bibtex)

    [3076] N. Amalio, P. Kelsen, Q. Ma, Specifying structural properties and their constraints formally, visually and modularly using VCL, EMMSAD 2010, 50, Springer, pp. 261-273, 2010 (bibtex)

    [3112] B. Gallina, N. Guelfi, P. Kelsen, Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development, 33rd Annual IEEE Software Engineering Workshop, IEEE Computer Society, pp. 94-103, 2010 (abstract) (bibtex)

    [2586] K. Sebesta, N. Boizot, E. Busvelle, J. Sachau, Using an Adaptive High-Gain Extended Kalman Filter with a Car Efficiency Model, 3rd Annual Dynamic Systems and Control Conference, Boston, MA, USA, 2010 (abstract) (link) (download) (bibtex)

    [3077] N. Amalio, P. Kelsen, VCL, a Visual Language for abstract Specification of Software Systems Formally and Modularly, Diagrams 2010, 6170, Springer, pp. 282-284, 2010 (bibtex)

    [3075] G. Sandulescu, P. Schaffer, S. Nadjm-Tehrani, Vicinity Resource Cartography for Delay-Tolerant Networks: a Holistic Perspective, IFIP Wireless Days, Venice, Italy, IEEE, 2010 (abstract) (link) (download) (bibtex)

    [3104] R. Delamare, F. Munoz, B. Baudry, Y. L. Traon, Vidock:a Tool for Impact Analysis of Aspect Weaving on Test, International Conference on Testing Software and Systems, Natal, Brésil, 2010 (bibtex)

    [3079] N. Amalio, P. Kelsen, Visual behavioural modelling with contracts, FLACOS 2010, 2010 (bibtex)

    2009

    [2552] N. Boizot, E. Busvelle, J. Gauthier, Adaptive-gain Extended Kalman Filter: Extension to the Continuous-discrete Case, In Proceeding of the 10th European Control Conference (ECC'09), Budapest, Hungary, 2009 (download) (bibtex)

    [2544] J. Kienzle, W. A. Abed, J. Klein, Aspect-Oriented Multi-View Modeling, In 8th International Conference on Aspect Oriented Software Development (AOSD.09), 8th International Conference on Aspect Oriented Software Development (AOSD.09), Charlotteville, Virginia, USA, ACM, pp. 87-98, 2009 (download) (bibtex)

    [2536] A. Capozucca, N. Guelfi, Designing Reliable Real-Time Concurrent Object-Oriented Software Systems, Proceedings of the 24th ACM Symposium on Applied Computing (Track on Real-Time Systems) SAC'09, Honolulu, Hawaii, U.S.A, 2009 (abstract) (bibtex)

    [2555] P. Kelsen, Q. Ma, Domain Hierarchies: a Basic Theoretical Framework for Integrating Software Domains, Extended Abstract, 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, Tianjin, China, IEEE, 2009 (download) (bibtex)

    [2557] P. Dhaussy, P. Pillain, S. Creff, A. Raji, Y. L. Traon, B. Baudry, Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation, Model Driven Engineering Languages and Systems (MODELS), 5795, Denver, CO, USA, Springer LNCS, pp. 438-452, 2009 (abstract) (download) (bibtex)

    [2546] N. Amalio, G. Spanoudakis, From Monitoring Templates to Security Monitoring and Threat Detection, Workshop 1st Luxembourg Day on Security and Reliability, Luxembourg, 2009 (download) (bibtex)

    [2548] C. Glodt, P. Kelsen, N. Amalio, Q. Ma, From Platform-Independent to Platform-Specific Models using Democles, OOPSLA 2009 Demonstrations Track, 2009 (bibtex)

    [2554] C. Glodt, P. Kelsen, N. Amalio, Q. Ma, From Platform-Independent to Platform-Specific Models using Democles, International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Orlando, Florida, ACM Sigplan, 2009 (download) (bibtex)

    [2551] B. Gallina, N. Guelfi, SPLACID: an SPL-oriented, ACTA-based, Language for Reusing (Varying) ACID Properties in Engineering Dependable Distributed Systems, 1st Luxembourg Day on Security and Reliability, Luxembourg, 2009 (download) (bibtex)

    [2547] N. Amalio, Suspicion-driven formal analysis of security requirements, SECURWARE 2009, Athens, Greece, pp. 217-223, 2009 (download) (bibtex)

    [2553] B. Gallina, N. Guelfi, P. Kelsen, Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development, 33rd Annual IEEE Software Engineering Workshop (SEW-33), Skövde, Sweden, IEEE, 2009 (bibtex)

    [2542] B. Morin, G. Perrouin, P. Lahire, O. Barais, G. Vanwormhoudt, J. Jézéqu, Weaving Variability into Domain Metamodels, ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09), 5795, Denver, CO, USA, Springer LNCS, 2009 (abstract) (download) (bibtex)

    2008

    [2487] B. Morin, J. Klein, O. Barais, J. Jezequel, A Generic Weaver for supporting Product Lines, Early Aspects Workshop at E, Leipzig, Germany, 2008 (bibtex)

    [2510] P. Kelsen, Q. Ma, A Lightweight Approach for Defining the Formal Semantics of a Modeling Language, ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MODELS 2008), 5301, Toulouse, France, Springer Berlin / Heidelberg, pp. 690-704, 2008 (abstract) (download) (bibtex)

    [2504] B. Gallina, N. Guelfi, A Product Line Perspective for Quality Reuse of Development Framework for Distributed Transactional Applications, QUality Oriented Reuse of Software (QUORS) Workshop, joint event of the IEEE 32 th Computer Software and Application Conference (COMPSAC), Turku, Finland, IEEE, pp. 206-349, 2008 (abstract) (bibtex)

    [2489] M. D. Silveira, N. Guelfi, J. Baldacchino, P. Plumer, M. Seil, A. Wienecke, A survey of interoperability in e-Health systems: The European approach, HealthInfo 2008, International Conference on Health Informatics, 2008 (download) (bibtex)

    [2522] S. Mustafiz, J. Kienzle, A. Berlizev, Addressing Degraded Service Outcomes and Exceptional Modes of Operation in Behavioural Models, RISE/EFTS Joint International Workshop on Software Engineering for REsilieNt systEms (SERENE), Newcastle Upon Tyne, ACM digital library, 2008 (bibtex)

    [2531] E. Kachafoutdinova, N. Casel, G. Pecoraro, D. Zampunieris, Animal Neurophysiology Virtual Lab: Pedagogical Requirements And Technological Issues, IADIS08 International Conference on e-Learning, 2, Amsterdam, The Netherlands, pp. 75-79, 2008 (abstract) (bibtex)

    [2486] O. Barais, J. Klein, B. Baudry, A. Jackson, S. Clarke, Composing Multi-View Aspect Models, 7th IEEE International Conference on Composition Based Software Systems, Madrid, Spain, IEEE, 2008 (abstract) (bibtex)

    [2521] A. Berlizev, N. Guelfi, CORRECT Analysis for Embedded System Modeling: An Outcome of East-West Scientific Cooperation, SEESE'08 workshop, IEEE digital library, pp. 23-30, 2008 (bibtex)

    [2488] M. D. Silveira, N. Guelfi, Exploiting Service Oriented Architectures for the Design of e-Health systems, HealthInfo 2008, International Conference on Health Informatics, Funchal, Portugal, 2008 (download) (bibtex)

    [2527] S. Koenig, J. Sachau, Indexing the Sustainability of Biomass, Proceedings of the 16th European Biomass Conference & Exhibition, Valencia, Spain, pp. 2388-2394, 2008 (abstract) (bibtex)

    [2530] S. Boulakfouf, D. Zampunieris, Integrating Web 2.0 Features into a Learning Management System, ECEL08 the 7th European Conference on e-Learning, 1, Agia Napa, Cyprus, Academic Publishing Limited Reading, UK, pp. 127-133, 2008 (abstract) (bibtex)

    [2524] G. Sandulescu, S. Nadjm-Tehrani, Opportunistic DTN Routing with Window-aware Adaptive Replication, Asian Internet Engineering Conference (AINTEC), Bangkok, Thailand, ACM digital library, 2008 (abstract) (download) (bibtex)

    [2513] G. Perrouin, J. Klein, N. Guelfi, J. M. Jezequel, Reconciling Automation and Flexibility in Product Derivation, 12th International Software Product Line Conference (SPLC2008), Limerick, Ireland, IEEE Computer Society, pp. 339-348, 2008 (abstract) (bibtex)

    [2490] M. D. Silveira, N. Guelfi, RESIST: A Platform to Support Medical Web-Services: A Case Study, Med-e-Tel 2008, The International Educational and Networking Forum for eHealth, Telemedicine and Health ICT, 2008 (download) (bibtex)

    [2505] N. Guelfi, B. Ries, Selection, Evaluation and Generation of Test Cases in an Industrial Setting: a Process and a Tool, Testing: Academic & Industrial Conference, Windsor, UK, IEEE, pp. 47-51, 2008 (abstract) (download) (bibtex)

    [2549] B. Gallina, N. Guelfi, SPLACID: an SPL-oriented, ACTA-based, Language for Reusing (Varying) ACID Properties, 32nd IEEE Software Engineering Workshop (SEW-32), Porto Sani, Greece, IEEE, pp. 115-124, 2008 (download) (bibtex)

    [2528] S. Koenig, J. Sachau, Sustainability Measurement of Decentralized Biomass Energy Systems Resources in Coastal City Areas, Proceedings of the 1st Coastal Cities Summit 2008, St. Petersburg, Florida, USA., Coastal Cities Conference, 2008 (abstract) (bibtex)

    [2532] S. Coronado, D. Zampunieris, Towards a Proactive Learning Management System Using Early Activity Detection, SITE08 - Society for Information Technology & Teacher Education International Conference, 1, Las Vegas, USA, AACE, pp. 306-311, 2008 (abstract) (bibtex)

    2007

    [2473] E. Pulvermüller, A. Ludwig, R. Belter, D. Zyskowski, U. Heindl, X. Nguyen, A Capability Oriented Management Approach for Business Integration, 1st International Conference on Business Process and Service Computing (BPSC'07) as Part of Software, Agents and Services for Business, Research, and E-Sciences (SABRE), Leipzig, Germany, 2007 (download) (bibtex)

    [2468] P. Kelsen, E. Pulvermüller, C. Glodt, A Declarative Executable Language based on OCL for Specifying the Behaviour of Platform-Independent Models, Ocl4All 2007 Workshop, Nashville, USA, 2007 (download) (bibtex)

    [2455] N. Guelfi, G. Perrouin, A Flexible Requirements Analysis Approach for Software Product Lines, 13th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2007), Trondheim, Norway, Springer-Verlag, LNCS 4542, pp. 78-92, 2007 (abstract) (bibtex)

    [2482] G. D. M. Serugendo, J. Fitzgerald, A. Romanovsky, N. Guelfi, A Metadata-Based Architectural Model for Dynamically Resilient Systems, 2007 ACM Symposium on Applied Computing (SAC), Seoul, Corea, ACM 2007, pp. 566-573, 2007 (download) (bibtex)

    [2478] N. Casel, M. E. Alami, D. Garot, D. Zampuniéris, A new software architecture for learning managements systems with SCORM support, IADIS - International Conference on e-Learning, Lisbon, Portugal, 2007 (bibtex)

    [2459] B. Gallina, N. Guelfi, A Template for Requirement Elicitation of Dependable Product Lines, 13th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2007), LNCS, Trondheim, Norway, Spinger-Verlag, pp. 63-77, 2007 (abstract) (bibtex)

    [2465] N. Boizot, E. Busvelle, J. Gauthier, J. Sachau, Adaptive Gain Extended Kalman Filter: Application to a Series-connected DC Motor, Systems and Controls CSC'07, Marrakech, 2007 (download) (bibtex)

    [2477] M. E. Alami, N. Casel, D. Zampuniéris, An Architecture for E-Learning System with Computational Intelligence, KES - International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, 4693, Vietri sul Mare, Italy, Springer, pp. 58-65, 2007 (abstract) (download) (bibtex)

    [2471] D. Fotsch, E. Pulvermüller, Applying the Operator Hierarchy Concept to XSLT, XML-Tage in Berlin 2007 (XMLT 07), Berlin, Germany, 2007 (download) (bibtex)

    [2472] D. Fotsch, E. Pulvermüller, Constructing higher-level Transformation Languages based on XML, 6th International Conference on New Software Methodologies, Tools, and Techniques (SoMeT 07), Rome, Italy, IOS Press, 2007 (download) (bibtex)

    [2460] B. Gallina, N. Guelfi, A. Romanovsky, Coordinated Atomic Actions for Dependable Distributed Systems: the Current State in Concepts, Semantics and Verification Means, The 18th IEEE International Symposium on Software Reliability Engineering (ISSRE 2007), Trollhaettan, Sweden, IEEE, 2007 (bibtex)

    [2470] C. Glodt, P. Kelsen, E. Pulvermüller, DEMOCLES: A Tool for Executable Modeling of Platform-Independent Systems, OOPSLA Companion, Montreal, Canada, 2007 (download) (bibtex)

    [2464] A. Berlizev, N. Guelfi, Engineering Fault-tolerance Requirements using Deviations and the FIDJI Methodology, Workshop on Methods, Models and Tools for Fault Tolerance, Oxford, UK, University of Newcastle upon Tyne, 2007 (download) (bibtex)

    [2467] N. Boizot, E. Busvelle, J. Sachau, High-gain Observers and Kalman Filtering in Hard Realtime, 9th Real-Time Linux Workshop, Institute for Measurement Technology Johannes Kepler University of Linz, 2007 (download) (bibtex)

    [2458] N. Guelfi, C. Pruski, C. Reynaud, Les ontologies pour la recherche ciblée d'information sur le Web: une utilisation et extension d'OWL pour l'expansion de requetes, Ingnierie des Connaissances (IC 07), Grenoble (France), 2007 (download) (bibtex)

    [2475] S. König, J. Sachau, Measuring the Sustainability of Biomass Resources - the Sustainable Biomass Index SBI, 5th WSEAS International Conference on Environment, Ecosystems and Development, Tenerife, Spain, 2007 (download) (bibtex)

    [2454] F. Balbastro, A. Capozucca, N. Guelfi, On the Integration of Mobility in a Fault-Tolerant e-HealthWeb Information System, 2007 International Workshop on Web and Mobile Information Services (WAMIS'07), Niagara Falls , Canada, IEEE CS Press as IEEE 21st AINA 2007 Workshops Proceedings, 2007 (abstract) (bibtex)

    [2476] D. Zampuniéris, Proactive e-Learning Management System, ICALT - IEEE International Conference on Advanced Learning Technologies, Niigata, Japan, IEEE Computer Society, pp. 645-646, 2007 (download) (bibtex)

    [2474] S. König, J. Sachau, Regional Planning Decisions supported by a Strategic Cost Analysis and an Analysis of Potential of Biomass Resources, 15th European Biomass Conference & Exhibition, Berlin, Germany, 2007 (download) (bibtex)

    [2463] J. Klein, J. Kienzle, Reusable Aspect Models, 11th Workshop on Aspect Oriented Modeling, AOM at Models'07, Nashville, USA, 2007 (download) (bibtex)

    [2462] N. Guelfi, C. Pruski, C. Reynaud, Understanding and Supporting Ontology Evolution by Observing the WWW Conference, International Workshop on Emergent Semantics and Ontology Evolution, Busan, South-Korea, 2007 (download) (bibtex)

    2006

    [2442] P. Kelsen, A Declarative Executable Model for Object-Based Systems Based on Functional Decomposition, ICSOFT06: Proceedings of the International Conference on Software and Data Technologies, Setubal; Portugal, pp. 63-68, 2006 (download) (bibtex)

    [2443] A. Mammar, A Formal Approach and its Tool Support for the Specification and the Verification of Structural Properties on UML activity Diagrams, SERP'06 - The 2006 International Conference on Software Engineering Research and Practice, Las Vegas, Nevada, USA, 2006 (bibtex)

    [1960] N. Guelfi, A. Mammar, A Formal Framework to Generate XPDL Specifications from UML Activity diagrams, The 21st Annual ACM Symposium on Applied Computing, Dijon, France, ACM, 2006 (bibtex)

    [2431] A. Capozucca, N. Guelfi, P. Pelliccione, A. Romanovsky, A. Zorzo, CAA-DRIP: a framework for implementing Coordinated Atomic Actions, The 17th International Symposium on Software Reliability, Raleigh, Noth Carolina, USA, IEEE, 2006 (bibtex)

    [2449] S. König, J. Sachau, CALCULATING THE POTENTIAL OF BIOMASS FOR A SUSTAINABLE ENERGETIC USE, IASTED International Conference on European Power and Energy Systems EuroPES2006, RHODES;GREECE, pp. 344-349, 2006 (abstract) (bibtex)

    [2438] N. Guelfi, G. Perrouin, Coherent Integration of Variability Mechanisms at the Requirements Elicitation and Analysis Levels, Workshop on Managing Variability for Software Product Lines: Working With Variability Mechanisms at 10th Software Product Line Conference, Baltimore, MD, USA, 2006 (abstract) (download) (bibtex)

    [2441] C. Glodt, P. Kelsen, DEMOS: A Tool for Declarative Executable Modeling of Object-Based Systems, OOPSLA '06: Companion of the 21st annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Portland; OR; USA, ACM Press, 2006 (download) (bibtex)

    [2447] D. Zampuniéris, Implementation of a Proactive Learning Management System, E-Learn - World Conference on E-Learning in Corporate, Government, Healthcare & Higher Education, Hawaii ;USA, 2006 (abstract) (bibtex)

    [2448] D. Zampunieris, Implementation of efficient proactive computing using lazy evaluation in a learning management system, m-ICTE - International Conference on Multimedia and Information & Communication Technologies in Education, Seville;Spain, 2006 (bibtex)

    [2450] S. König, J. Sachau, Planning Alternatives for biomass production by a Strategic Cost Analysis of biomass resources, WSEAS International Conference on Environment, Ecosystems and Development EED'06, Venice;Italy, 2006 (abstract) (bibtex)

    [1962] B. Gallina, N. Guelfi, A. Mammar, Structuring Business Nested Processes Using UML 2.0 Activity Diagrams and Translating into XPDL, Third GI-Workshop XML4BPN XML Integration and Transformation for Business Process Management in conjunction with Multikonferenz Wirtschaftinformatik, Passau (Germany), 20 - 22 February 2006, 2006 (download) (bibtex)

    [2452] A. M. , F. Gervais, R. Laleau, Systematic Identification of Preconditions from Set-Based Integrity Constraints, INFORSID'06: INFormatique des ORganisations et Systèmes d'Information et de Décision, Hammamet; Tunisia, 2006 (abstract) (bibtex)

    [1969] D. D. Ruscio, H. Muccini, P. Pelliccione, A. Pierantonio, Towards Weaving Software Architecture Models, MBD-MOMPES 2006 Workshop to be held at ECBS 2006, Potsdam, Germany, 2006 (abstract) (download) (bibtex)

    2005

    [1952] N. Guelfi, A. Mammar, A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation, APSEC'2005: Asia Pacific Software Engineering Conference, Taipei, Taiwan, IEEE Computer Society Press, 2005 (abstract) (bibtex)

    [1947] P. Inverardi, H. Muccini, P. Pelliccione, DUALLY: Putting in Synergy UML 2.0 and ADLs, 5th IEEE/IFIP Working Conference on Software Architecture (WICSA 2005)., Pittsburgh, PA. USA, 2005 (abstract) (download) (bibtex)

    [1956] A. Mammar, S. Ramel, B. Grégoire, M. Schmitt, N. Guelfi, Efficient: A Toolset for Building Trusted B2B Transactions, 17th Conference on Advanced Information Systems Engineering (CAISE'05), Porto, Springer Verlag (LNCS), 2005 (abstract) (bibtex)

    [1928] A. Capozucca, B. Gallina, N. Guelfi, P. Pelliccione, Modeling Exception Handling: a UML2.0 Platform Independent Profile for CAA, Proceedings of ECOOP 2005 Workshop on Exception Handling in Object Oriented Systems, Glasgow (Scotland), Department of Computer Science. LIRMM; Montpellier-II University, 2005 (abstract) (link) (download) (bibtex)

    [1789] P. Avgeriou, N. Guelfi, Resolving architectural mismatches of COTS through architectural reconciliation, The International Conference on COTS-Based Software Systems (ICCBSS), Bilbao, Spain, Springer-Verlag, 2005 (abstract) (download) (bibtex)

    [1935] N. Guelfi, B. Ries, SCTL: A StateChart Transformation Language for Test Sets Reduction, ERCIM Workshop on Dependable Software Intensive Embedded Systems, workshop of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications, Porto, Portugal, ERCIM, 2005 (abstract) (link) (download) (bibtex)

    [1927] A. Capozucca, N. Guelfi, P. Pelliccione, The Fault-Tolerant Insulin Pump Therapy, Workshop on Rigorous Engineering of Fault Tolerant Systems Event Information, in conjunction with Formal Methods 2005, University of Newcastle upon Tyne, UK, 2005 (abstract) (link) (download) (bibtex)

    2004

    [1731] N. Guelfi, A. Mammar, B. Ries, A Formal Approach for the Specification and the Verification of UML Structural Properties: Application to E-Business Domain, International Workshop on Software Verification and Validation (SVV 2004), workshop of ICFEM'04, Seattle, WA, USA, 2004 (abstract) (download) (bibtex)

    [975] N. Guelfi, C. Pruski, B. Ries, A Study of Mobile Internet Technologies for Secure e-commerce Applications Development, Techniques and Applications for Mobile Commerce (TAMOCO) part of Multi-Konferenz Wirtschaftsinformatik 2004, Essen, Germany, infix, pp. 194-203, 2004 (abstract) (download) (bibtex)

    [1816] N. Guelfi, R. Razavi, A. Romanovsky, S. Vandenbergh, DRIP Catalyst: An MDE/MDA Method for Fault-tolerant Distributed Software Families Development, OOPSLA & GPCE 2004 Workshop on Best Practices for Model Driven Software Development, Vancouver, Canada, 2004 (download) (bibtex)

    [1773] N. Guelfi, G. L. Cousin, B. Ries, Engineering of Dependable Complex Business Processes using UML and Coordinated Atomic Actions, International Workshop on Modeling Inter-Organizational Systems (MIOS'04), Larnaca, Cyprus, Springer, pp. 468-482, 2004 (abstract) (link) (download) (bibtex)

    [1765] P. Avgeriou, N. Guelfi, G. Perrouin, Evolution Through Architectural Reconciliation, workshop on "Software Evolution Through Transformations" (SETra) 2004, Rome, Italy, Electronic Notes in Theoritical Computer Science, vol. 127-3, 2004 (download) (bibtex)

    [1813] A. Mammar, R. Laleau, Generation de code executable a partir d'une specification B : application aux bases de donnees, Approches Formelles dans l'Assistance su Développement de Logiciels (AFADL'2004), Besançon, France, pp. 77-91, 2004 (download) (bibtex)

    [1746] P. Avgeriou, N. Guelfi, R. Razavi, , Patterns for documenting software architectures, Ninth European Conference on Pattern Languages of Programs (EuroPLOP), Irsee, Germany, 2004 (download) (bibtex)

    [1812] P. Avgeriou, N. Guelfi, N. Medvidovic, Software Architecture Description and UML, UML Modeling Languages and Applications, UML 2004 Satellite Activities, Lisbon, Portugal, Springer-Verlag, LNCS 3297, 2004 (abstract) (download) (bibtex)

    [1814] A. Mammar, R. Laleau, UML2SQL : Un Environnement Intégré pour le Développement d'Implémentations Relationnelles à partir de Diagrammes UMLl, Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'04), Besançon, France, pp. 333-336, 2004 (download) (bibtex)

    [1521] N. Guelfi, G. Perrouin, Using Model Transformation and Architectural Frameworks to Support the Software Development Process: the FIDJI Approach, 2004 Midwest Software Engineering Conference, Chicago, IL, USA, DePaul University, 2004 (abstract) (download) (bibtex)

    2003

    [886] A. Mammar, R. Laleau, Design of an Automatic Prover Dedicated to the Refinement of Database Applications, FM'03, 2805, Pise, Italy, LNCS, pp. 835-854, 2003 (download) (bibtex)

    [238] S. Sendall, G. Perrouin, N. Guelfi, O. Biberstein, Supporting Model-to-Model Transformations: the VMT approach, MDAFA'03, Entschede, Netherlands, 2003 (abstract) (download) (bibtex)

    2002

    [198] N. Guelfi, P. Sterges, JAFAR: Detailed Design of a Pattern-based J2EE Framework, The 6th Annual IASTED International Conference on Software Engineering and Applications, Cambridge, MA, USA, ACTA Press, pp. 331-337, 2002 (abstract) (link) (download) (bibtex)

    [214] N. Guelfi, G. Perrouin, Rigourous Engineering of Software Architectures: Integrating ADLs, UML and Development Methodologies, The 6th Annual IASTED International Conference on Software Engineering and Applications, Cambridge, MA, USA, ACTA Press, pp. 523-529, 2002 (abstract) (link) (download) (bibtex)

    [197] N. Guelfi, B. Ries, Using and Specializing a Pattern-Based E-business Framework: An Auction Case Study, The 6th Annual IASTED International Conference on Software Engineering and Applications, Cambridge, MA, USA, ACTA Press, pp. 512-522, 2002 (abstract) (link) (download) (bibtex)

    2000

    [921] R. Laleau, A. Mammar, An Overview of a Method and its support Tool for Generating B Specifications from UML Notations, Proceedings 15th IEEE Int. Conf. on Automated Software Engineering (ASE2000), Grenoble, France, 2000 (bibtex)

    Thesis

    2011

    [3160] G. Sandulescu, Resource-Aware Routing In Delay And Disruption-Tolerant Networks, phd thesis, University of Luxembourg, 2011 (bibtex)

    2010

    [2585] N. Boizot, Adaptive High-gain Extended Kalman Filter and Applications, phd thesis, Université du Luxembourg et Université de Bourgogne, 2010 (abstract) (download) (bibtex)

    [3090] A. Capozucca, DT4BP: a Business Process Modelling Language for Dependable Time-Constrained Business Processes, phd thesis, University of Luxembourg, 2010 (bibtex)

    [3116] K. Sebesta, Optimal Observers and Optimal Control: Improving Car Efficiency with Kalman and Pontryagin, phd thesis, University of Luxembourg, 2010 (bibtex)

    [2584] B. Gallina, PRISMA: a Software Product Line-oriented Process for the Requirements Engineering of Flexible Transaction Models, phd thesis, Université du Luxembourg, 2010 (download) (bibtex)

    2009

    [2540] B. Ries, SESAME - A Model-driven Process for the Test Selection of Small-size Safety-related Embedded Software, PhD thesis, Laboratory for Advanced Software Systems, University of Luxembourg, 2009 (abstract) (download) (bibtex)

    [2539] C. Pruski, Une Approche Adaptative pour la Recherche d'information sur le Web, PhD thesis, Université du Luxembourg et Université Paris-Sud 11, 2009 (abstract) (download) (bibtex)

    2007

    [3119] G. Perrouin, Architecting Software Systems using Model Transformations and Architectural Frameworks, phd thesis, University of Luxembourg, 2007 (bibtex)

    Technical Report

    2012

    [3170] Y. Khan, A Formal Approach For Engineering Resilient Car Crash Management System, nr. TR-LASSY-12-05, University of Luxembourg, Luxembourg, 2012 (bibtex)

    [3169] M. Risoldi, A metamodel for a DREF DSL, nr. TR-LASSY-12-03, University of Luxembourg, Luxembourg, 2012 (download) (bibtex)

    [3186] J. Leemans, N. Amalio, A VCL model of a cardiac pacemaker, nr. TR-LASSY-12-04, University of Luxembourg, Luxembourg, 2012 (bibtex)

    [3179] L. Lucio, E. Syriani, M. Amrani, Q. Zhang, H. Vangheluwe, Invariant Preservation In Iterative Modeling, nr. TR-LASSY-12-13, University of Luxembourg, Luxembourg, 2012 (bibtex)

    [3177] V. Sousa, SPLIT: Aspect Model Weaver - Design and Implementation, nr. TR-LASSY-12-07, University of Luxembourg, Luxembourg, 2012 (download) (bibtex)

    [3187] N. Amalio, The Type System of VCL, nr. TR-LASSY-12-11, University of Luxembourg, Luxembourg, 2012 (bibtex)

    [3184] N. Amalio, The VCL Model of the Barbados Crisis Management System, nr. TR-LASSY-12-09, University of Luxembourg, Luxembourg, 2012 (bibtex)

    [3165] A. SAIDANE, N. Guelfi, Towards test-driven security and resilience engineering: the SETER architecture model based approach, nr. TR-LASSY-12-02, University of Luxembourg, Luxembourg, 2012 (bibtex)

    [3164] A. SAIDANE, Towards a test-driven and architecture model based security engineering approach, nr. TR-LASSY-12-01, University of Luxembourg, Luxembourg, 2012 (download) (bibtex)

    [3185] E. Tobias, E. Ras, N. Amalio, VML Usability for Modelling TUI Scenarios - A Comparative Study, nr. TR-LASSY-12-06, University of Luxembourg, Luxembourg, 2012 (bibtex)

    2011

    [3145] L. Lucio, N. Guelfi, A Precise Definition of Operational Resilience, nr. TR-LASSY-11-02, University of Luxembourg, Luxembourg, 2011 (bibtex)

    [3141] M. Amrani, N. Amalio, A Set-Theoretic Formal Specification of the Semantics of Kermeta, nr. TR-LASSY-11-03, University of Luxembourg, Luxembourg, 2011 (bibtex)

    [3147] Q. Zhang, Analysis of Integrity of Access Control Policies and Security Coverage of Transformed Properties in APN, nr. TR-LASSY-11-09, University of Luxembourg, Luxembourg, 2011 (bibtex)

    [3154] A. Bartel, J. Klein, M. Monperrus, Y. L. Traon, Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android, nr. 978-2-87971-107-2, University of Luxembourg, Luxembourg, 2011 (download) (bibtex)

    [3143] M. E. Kharbili, Enterprise Extended Event-Driven Process Chains - A Model-Driven Method for Designing Formal Enterprise Modeling Languages, nr. TR-LASSY-11-07, University of Luxembourg, Luxembourg, 2011 (bibtex)

    [3125] M. Leclercq, Model-Driven development of Crisis Management Applications in a Software Product Line, nr. TR-LASSY-11-01, University of Luxembourg, Luxembourg, 2011 (download) (bibtex)

    [3148] A. Capozucca, B. Cheng, N. Guelfi, P. Istoan, OO-SPL modelling of the bCMS case study, nr. TR-LASSY-11-14, University of Luxembourg, Luxembourg, 2011 (bibtex)

    [3146] Q. Zhang, V. Sousa, Practical Model Transformation from Secured UML Statechart into Algebraic Petri Net, nr. TR-LASSY-11-08, University of Luxembourg, Luxembourg, 2011 (bibtex)

    [3168] A. Capozucca, B. H. C. Cheng, G. Georg, N. Guelfi, P. Istoan, Requirements Definition Document for a Software Product Line of Car Crash Management Systems, nr. CS-11-105, Colorado State University, USA, 2011 (bibtex)

    [3144] V. Sousa, SPLIT: Notes on the Aspect Model Weaver design and implementation, nr. TR-LASSY-11-11, University of Luxembourg, Luxembourg, 2011 (bibtex)

    [3140] N. Amalio, The Type System of VCL Structural and Assertion Diagrams, nr. TR-LASSY-11-04, University of Luxembourg, Luxembourg, 2011 (bibtex)

    [3138] N. Amalio, The VCL model of Secure Simple Bank, nr. TR-LASSY-11-10, University of Luxembourg, Luxembourg, 2011 (bibtex)

    [3142] A. SAIDANE, N. Guelfi, Towards Architecture Model based Security Testing, nr. TR-LASSY-11-05, University of Luxembourg, Luxembourg, 2011 (bibtex)

    [3150] P. Istoan, Variability modelling in Software Product Lines, nr. TR-LASSY-11-13, University of Luxembourg, Luxembourg, 2011 (bibtex)

    2010

    [3117] N. Guelfi, A Formal Framework for Dependability and Resilience from a Software Engineering Perspective, nr. TR-LASSY-10-01, University of Luxembourg, Luxembourg, 2010 (download) (bibtex)

    [3083] P. Kelsen, Q. Ma, C. Glodt, A Generic Model Decomposition Technique, nr. TR-LASSY-10-06, University of Luxembourg, Luxembourg, 2010 (bibtex)

    [3118] F. Wiecko, An Evaluation of MDE tools in the context of M2M transformations, nr. TR-LASSY-10-04, University of Luxembourg, Luxembourg, 2010 (bibtex)

    [3111] A. SAIDANE, DREF Resiliency and Security aspects in the SAE Architecture Analysis and Description Language (AADL), nr. TR-LASSY-10-07, University of Luxembourg, Luxembourg, 2010 (bibtex)

    [2575] Y. Li, Model-driven development of crisis management application in Software Product Line approach, Technical Report nr. LASSY_TR_10_05, Laboratory for Advanced Software Systems, University of Luxembourg, Université du Luxembourg, 2010 (download) (bibtex)

    [3105] G. Perrouin, A. SAIDANE, State of the Art in Architecture Description Languages for resiliency and security specification, nr. TR-LASSY-10-02, University of Luxembourg, Luxembourg, 2010 (download) (bibtex)

    [3082] N. Amalio, P. Kelsen, the visual contract language: abstract modelling of software systems visually, formally and modularly, nr. TR-LASSY-10-03, University of Luxembourg, Luxembourg, 2010 (bibtex)

    2009

    [2558] P. Kelsen, Q. Ma, A Modular Model Composition Technique, Technical Report nr. TR-LASSY-09-01, Laboratory for Advanced Software Systems, University of Luxembourg, 2009 (abstract) (download) (bibtex)

    [2561] A. Capozucca, N. Guelfi, Modelling dependable collaborative time-constrained business processes, Technical Report nr. TR-LASSY-09-04, Laboratory for Advanced Software Systems, University of Luxembourg, Luxembourg, 2009 (download) (bibtex)

    [2559] N. Amalio, P. Kelsen, The Abstract Syntax of Structural VCL, Technical Report nr. TR-LASSY-09-02, Laboratory for Advanced Software Systems, University of Luxembourg, 2009 (download) (bibtex)

    [2560] N. Amalio, C. Glodt, Q. Ma, P. Kelsen, VCL Specification of the Car-crash Crisis Management System, Technical Report nr. TR-LASSY-09-03, Laboratory for Advanced Software Systems, University of Luxembourg, 2009 (download) (bibtex)

    2008

    [2508] P. Kelsen, Q. Ma, A Formal Definition of the EP Language, Technical Report nr. TR-LASSY-08-03, 2008 (abstract) (download) (bibtex)

    [2509] P. Kelsen, Q. Ma, A Language for Domain Hierarchies with Applications to the Domain Integration Problem, Technical Report nr. TR-LASSY-08-05, 2008 (abstract) (download) (bibtex)

    [2512] B. Gallina, N. Guelfi, A Product Line Perspective for Quality Reuse of Development Frameworks for Distributed Transactional Applications, Technical Report nr. TR-LASSY-08-02, 2008 (download) (bibtex)

    [2537] A. Capozucca, N. Guelfi, Designing Reliable Real-Time Concurrent Object-Oriented Software Systems using Coordinated Atomic Actions: first round, Technical Report nr. TR-LASSY-08-06, Laboratory for Advanced Software Systems, University of Luxembourg, Luxembourg, 2008 (abstract) (download) (bibtex)

    2007

    [2484] N. Guelfi, G. D. M. Serugendo, J. Fitzgerald, A. Romanovsky, A Generic Framework for the Engineer, Technical Report nr. CS-TR-1018, 2007 (download) (bibtex)

    [2483] F. Balbastro, A. Capozucca, N. Guelfi, Analysis and Framework-based Design of a Fault-Tolerant Web Information System for m-Health, Laboratory for Advanced Software Systems Technical Report nr. TR_LASSY_07_05, University of Luxembourg, Luxembourg, 2007 (download) (bibtex)

    [2461] B. Ries, Test Selection using Domain-specific and Domain-independent Reduction Rules: a 4+2 View Model, Laboratory for Advanced Software Systems Technical Report nr. TR-LASSY-07-04, University of Luxembourg, Luxembourg, 2007 (bibtex)

    2006

    [2436] B. Gallina, N. Guelfi, A. Monnat, G. Perrouin, A Template for Product Line Requirement Elicitation (To be published), Laboratory for Advanced Software Systems Technical Report nr. TR-LASSY-06-08, University of Luxembourg, 2006 (download) (bibtex)

    [1978] G. Perrouin, Architecting Software Systems using Model Transformation and Architectural Frameworks (BFR 2nd year Synthesis Report), Laboratory for Advanced Software Systems Technical Report nr. TR-LASSY-06-02, University of Luxembourg, Faculty of Science, Technology and Communication, Luxembourg-Kirchberg, Luxembourg, 2006 (download) (bibtex)

    [2444] G. Perrouin, Architecting Software Systems using Model Transformation and Architectural Frameworks (BFR 3rd year Intermediary Report), Laboratory for Advanced Software Systems Technical Report nr. TR-LASSY-06-13, University of Luxembourg, Faculty of Science, Technology and Communication, Luxembourg-Kirchberg, Luxembourg, 2006 (download) (bibtex)

    [1981] A. Capozucca, N. Guelfi, P. Pelliccione, A. Romanovsky, A. Zorzo, CAA-DRIP: a framework for implementing Coordinated Atomic Actions, Laboratory for Advanced Software Systems Technical Report nr. TR-LASSY-06-05, LASSY, Luxembourg, 2006 (download) (bibtex)

    [1974] A. Berlizev, A. Capozucca, B. Gallina, N. Guelfi, P. Pelliccione, Alexander, CORRECT Project Annual Activity Report 2005, Laboratory for Advanced Software Systems Technical Report nr. TR-LASSY-06-01, Faculty of Science, Technology and Communication, Luxembourg-Kirchberg, Luxembourg-Kirchberg, Luxembourg, 2006 (download) (bibtex)

    [2425] P. Pelliccione, H. Muccini, N. Guelfi, A. Romanovsky, EFTS 2006, First International Workshop on Engineering of Fault Tolerant Systems, Laboratory for Advanced Software Systems Technical Report, Luxembourg-Kirchberg, Luxembourg, 2006 (abstract) (link) (download) (bibtex)

    [2456] F. Balbastro, Fault Tolerant Systems for Mobile Devices, Laboratory for Advanced Software Systems Technical Report nr. TR_LASSY_06_16, University of Luxembourg, Luxembourg, TR_LASSY_06_16, 2006 (download) (bibtex)

    [1977] A. Mammar, F. Gervais, R. Laleau, Generating B preconditions from typical IS invariants, Laboratory for Advanced Software Systems Technical Report nr. TR_LASSY_06_03, University of Luxembourg, 2006 (bibtex)

    [2453] B. Ries, SESAME: Specification-based Testing of Safety-critical Small-sized Embedded Systems - BFR First Semester Activity Report, Laboratory for Advanced Software Systems Technical Report nr. TR-LASSY-06-12, University of Luxembourg, Luxembourg, 2006 (bibtex)

    [2437] C. Pruski, Study of Knowledge Representation Languages and Knowledge Evolution, Laboratory for Advanced Software Systems Technical Report nr. TR-LASSY-06-07, Luxembourg University, Faculty of Sciences, Technology and Communication and Paris-Sud University, 2006 (download) (bibtex)

    [1979] A. Capozucca, N. Guelfi, P. Pelliccione, The Fault-Tolerant Insulin Pump Therapy, Laboratory for Advanced Software Systems Technical Report nr. TR-LASSY-06-04, LASSY, Luxembourg, 2006 (download) (bibtex)

    2005

    [1980] A. Capozucca, N. Guelfi, P. Pelliccione, H. Muccini, An Architecture-driven Methodology for Developing Fault-Tolerant Systems, Software Engineering Competence Center Technical Report nr. TR-SE2C-05-10, SE2C, Luxembourg, 2005 (download) (bibtex)

    [1954] C. Pruski, An Optimal Algorithm for the Interpretation of First-Order Logic Formulae on the Web based on Graph Semantics, Software Engineering Competence Center Technical Report nr. TR_SE2C_05_06, Software Engineering Competence Center - University of Luxembourg, Luxembourg-Kirchberg, Luxembourg, 2005 (download) (bibtex)

    [1902] G. Perrouin, Architecting Software Systems using Model Transformation and Architectural Frameworks (BFR 1st year final Report), Software Engineering Competence Center Technical Report nr. TR-SE2C-05-02, University of Luxembourg, Faculty of Science, Technology and Communication, Luxembourg-Kirchberg, Luxembourg, 2005 (download) (bibtex)

    [1958] G. Perrouin, Architecting Software Systems using Model Transformation and Architectural Frameworks (BFR 2nd year intermediary Report), Software Engineering Competence Center Technical Report nr. TR-SE2C-05-08, University of Luxembourg, Faculty of Science, Technology and Communication, Luxembourg-Kirchberg, Luxembourg, 2005 (download) (bibtex)

    [1911] N. Guelfi, R. Razavi, CORRECT Project 2004 Annual Activity Report, Software Engineering Competence Center Technical Report nr. TR-SE2C-05-01, SE2C-University of Luxembourg, Luxembourg, 2005 (download) (bibtex)

    [1900] N. Guelfi, G. Perrouin, C. Pruski, P. Sterges, FIDJI Project Annual Activity Report 2004, Software Engineering Competence Center Technical Report nr. TR-SE2C-05-03, University of Luxembourg, Faculty of Science, Technology and Communication, Luxembourg-Kirchberg, Luxembourg, 2005 (abstract) (download) (bibtex)

    [1903] A. Mammar, R. Laleau, Génération de code à partir d'une spécification B : Application aux bases de données, Software Engineering Competence Center Technical Report nr. TR-SE2C-05-09, University of Luxembourg, 2005 (download) (bibtex)

    [1934] B. Ries, On the Characterization of Abstraction Rules for the Automatic Transformation of Small-sized Embedded Systems Specifications, Software Engineering Competence Center Technical Report nr. TR-SE2C-05-05, University of Luxembourg, Luxembourg-Kirchberg, Luxembourg, 2005 (download) (bibtex)

    [1959] B. Gallina, Structuring Business Nested Processes Using UML 2.0 Activity Diagrams and Translating into XPDL, Software Engineering Competence Center Technical Report nr. TR-SE2C_05_07, University of Luxembourg, Luxembourg, 2005 (download) (bibtex)

    2004

    [1800] A. Mammar, N. Guelfi, A Formal Approach for the Verification of E-business Processes Using The Promela Language, Software Engineering Competence Center Technical Report nr. TR-SE2C-04-10, SE2C, University of Luxembourg, Luxembourg, 2004 (download) (bibtex)

    [1901] G. Perrouin, Architecting Software Systems using Model Transformation and Architectural Frameworks (BFR intermediary Report), Software Engineering Competence Center Technical Report nr. TR-SE2C-04-08, University of Luxembourg, Faculty of Science, Technology and Communication, Luxembourg-Kirchberg, Luxembourg, 2004 (download) (bibtex)

    [1569] C. Pruski, CORBA 3 Description, Software Engineering Competence Center Technical Report nr. TR-SE2C-04-01, University of Luxembourg, Faculty of Science, Technology and Communication, Luxembourg-Kirchberg, Luxembourg, 2004 (download) (bibtex)

    [1909] N. Guelfi, R. Razavi, S. Vandenbergh, CORRECT MDA Tool - Release 1, Software Engineering Competence Center Technical Report nr. TR-SE2C-04-06, SE2C-University of Luxembourg, Luxembourg, 2004 (download) (bibtex)

    [1905] R. Razavi, CORRECT Project Proposal Summary Adapted from the Full Proposal written by N. Guelfi and A. Romanovsky, Software Engineering Competence Center Technical Report nr. TR-SE2C-04-02, SE2C-University of Luxembourg, Luxembourg, 2004 (download) (bibtex)

    [1910] A. Capozucca, N. Guelfi, R. Razavi, A. Romanovsky, DRIP Users' Guide and Theoretical Case Studies, Software Engineering Competence Center Technical Report nr. TR-SE2C-04-07, SE2C-University of Luxembourg, Luxembourg, 2004 (download) (bibtex)

    [1222] N. Guelfi, G. Perrouin, B. Ries, P. Sterges, FIDJI Project Annual Activity Report 2003, Software Engineering Competence Center Technical Report nr. TR-CST-04-01, University of Luxembourg, Faculty of Science, Technology and Communication, Luxembourg-Kirchberg, Luxembourg, 2004 (download) (bibtex)

    [1907] A. Capozucca, N. Guelfi, R. Razavi, A. Romanovsky, S. Vandenbergh, Overview of the DRIP Catalyst Method, Software Engineering Competence Center Technical Report nr. TR-SE2C-04-04, SE2C-University of Luxembourg, Luxembourg, 2004 (download) (bibtex)

    [1716] G. L. Cousin, State of the Art on Modeling Distributed Fault-tolerant Systems, Report, Software Engineering Competence Center of the University of Luxembourg, Luxembourg, 2004 (download) (bibtex)

    [1792] A. Mammar, Structural Properties on UML Diagram for the Description of e-business Transaction, Software Engineering Competence Center Technical Report nr. TR-SE2C-04-09, University of Luxenbourg, 2004 (download) (bibtex)

    [1906] A. Capozucca, N. Guelfi, R. Razavi, A. Romanovsky, S. Vandenbergh, Three Distributed Fault-Tolerant Healthcare Case Studies, Software Engineering Competence Center Technical Report nr. TR-SE2C-04-03, SE2C-University of Luxembourg, Luxembourg, 2004 (download) (bibtex)

    [1908] A. Capozucca, N. Guelfi, R. Razavi, Towards a UML-based Notation for CAAs, Software Engineering Competence Center Technical Report nr. TR-SE2C-04-05, SE2C-University of Luxembourg, Luxembourg, 2004 (download) (bibtex)

    2003

    [341] S. Chabert, Design and Implementation of an Architectural Framework (JAFAR), Software Engineering Competence Center Technical Report nr. TR-SE2C-03-02, Luxembourg University of Applied Sciences, Luxembourg-Kirchberg, Luxembourg, 2003 (download) (bibtex)

    [212] N. Guelfi, G. Perrouin, B. Ries, P. Sterges, FIDJI Project Annual Activity Report 2002, Technical Report nr. TR-DIA-03-01, Luxembourg University of Applied Sciences, Luxembourg-Kirchberg, Luxembourg, 2003 (download) (bibtex)

    [1397] N. Guelfi, G. Perrouin, B. Ries, Improving Architectural Framework-based Development Using Model Transformation: The FIDJI Approach, Technical Report nr. TR-CST-03-06, Faculty of Science, Technology and Communication, Luxembourg-Kirchberg, Luxembourg, 2003 (abstract) (download) (bibtex)

    [259] S. Chabert, B. Ries, JAFAR2 Software Requirements Specifications, Technical Report nr. TR-SE2C-03-04, Luxembourg University of Applied Sciences, Luxembourg-Kirchberg, Luxembourg, 2003 (bibtex)

    [632] N. Guelfi, B. Ries, P. Sterges, JAFAR2: an Extensible J2EE Architectural Framework for Web Applications, Technical Report nr. TR-DIA-03-05, Luxembourg University of Applied Sciences, Luxembourg-Kirchberg, Luxembourg, 2003 (download) (bibtex)

    [976] C. Pruski, LUXDEAL GSM Interface Study, Software Engineering Competence Center Technical Report, Luxembourg University of Applied Sciences, Luxembourg-Kirchberg, Luxembourg, 2003 (download) (bibtex)

    [802] C. Amza, C. Pruski, B. Ries, LuxDeal Software Requirements Specifications, Technical Report nr. TR-SE2C-03-05, Luxembourg University of Applied Sciences, Luxembourg-Kirchberg, Luxembourg, 2003 (bibtex)

    [210] N. Guelfi, G. Perrouin, P. Sterges, B. Ries, S. Sendall, MEDAL 1.0 Reference, Technical Report nr. TR-CST-03-01, Luxembourg University of Applied Sciences, Luxembourg-Kirchberg, Luxembourg, 2003 (download) (bibtex)

    [223] C. Pruski, Mobile Internet Market Study for Embedded Java Applications, Software Engineering Competence Center Technical Report nr. TR-SE2C-03-03, Luxembourg University of Applied Sciences, Luxembourg-Kirchberg, Luxembourg, 2003 (bibtex)

    [207] S. Chabert, State of Art on Architectural Frameworks, Software Engineering Competence Center Technical Report nr. TR-SE2C-03-01, Luxembourg University of Applied Sciences, Luxembourg-Kirchberg, Luxembourg, 2003 (download) (bibtex)

    [1520] N. Guelfi, C. Pruski, R. Razavi, Synthèse des architectures e-business pour le projet ACCES-PME, Software Engineering Competence Center Technical Report nr. TR-SE2C-04-01, Luxembourg University, Faculty of Sciences, Technology and Communication, Luxembourg-Kirchberg, Luxembourg, 2003 (download) (bibtex)

    2002

    [216] B. Ries, Architectural Framework for the FIDJI Project, Technical Report nr. TR-DIA-02-09, Luxembourg University of Applied Sciences, Luxembourg-Kirchberg, Luxembourg, 2002 (download) (bibtex)

    [204] P. Sterges, Detailed Design of a Pattern Based J2EE Framework, Applied Computer Science Department Technical Report nr. TR-DIA-02-04, Luxembourg University of Applied Sciences, Luxembourg-Kirchberg, Luxembourg, 2002 (download) (bibtex)

    [199] N. Guelfi, D. Hammouche, P. Sterges, O. Biberstein, FIDJI Project Annual Activity Report 2001, Applied Computer Science Department Technical Report nr. TR-DIA-02-01, Luxembourg University of Applied Sciences, Luxembourg-Kirchberg, Luxembourg, 2002 (download) (bibtex)

    [215] G. Perrouin, N. Guelfi, D. Hammouche, B. Ries, P. Sterges, FIDJI Project Overview, Technical Report nr. TR-DIA-02-07, Luxembourg University of Applied Sciences, Luxembourg-Kirchberg, Luxembourg, 2002 (download) (bibtex)

    [385] N. Guelfi, P. Sterges, JAFAR: Detailed Design of a Pattern-based J2EE Framework, Applied Computer Science Department Technical Report nr. TR-DIA-02-05, Luxembourg University of Applied Sciences, Luxembourg-Kirchberg, Luxembourg, 2002 (download) (bibtex)

    [217] G. Perrouin, Rigorous Engineering of Software Architectures: Integrating ADLs, UML and Development Methodologies, Applied Computer Science Department Technical Report nr. TR-DIA-02-10, Luxembourg University of Applied Sciences, Luxembourg-Kirchberg, Luxembourg, 2002 (download) (bibtex)

    [387] N. Guelfi, G. Perrouin, Rigourous Engineering of Software Architectures: Integrating ADLs, UML and Development Methodologies, Applied Computer Science Department Technical Report nr. TR-DIA-02-08, Luxembourg University of Applied Sciences, Luxembourg-Kirchberg, Luxembourg, 2002 (download) (bibtex)

    [205] P. Sterges, B. Ries, User Guide of a Pattern Based E-Business Framework, Technical Report nr. TR-DIA-02-02, Luxembourg University of Applied Sciences, Luxembourg-Kirchberg, Luxembourg, 2002 (download) (bibtex)

    [206] B. Ries, P. Sterges, Using and Specializing a Pattern Based E-Business Framework: The PCOA case study, Technical Report nr. TR-DIA-02-03, Luxembourg University of Applied Sciences, Luxembourg-Kirchberg, Luxembourg, 2002 (download) (bibtex)

    [386] N. Guelfi, B. Ries, Using and Specializing JAFAR a Pattern-based J2EE Framework, Technical Report nr. TR-DIA-02-06, Luxembourg University of Applied Sciences, Luxembourg-Kirchberg, Luxembourg, 2002 (download) (bibtex)

    Presentation

    2000

    [659] P. Kelsen, Case Study: Development of an XML/XSL-based Web Site at the Luxembourg University of Applied Sciences (IST), Presentation, Journée Spiral 2000, Luxembourg-Kirchberg, Luxembourg, 2000 (download) (bibtex)

    Website

    2004

    [1538] N. Guelfi, CORRECT: rigorous stepwise development of Complex Fault tOlerant DistRibuted Systems: from ARchitEctural DesCription to Java ImplemenTation, 2004 (link)

    [1539] N. Guelfi, S. Landau, R. Razavi, EARNING: Architectural Framework for Evolutionary Computing & Reinforcement LearNING, 2004 (link)

    [1540] N. Guelfi, M. Ziane, R. Razavi, LOGRUS: Towards an Architectural Framework for Producing Distributed Systems that Remote Command Small Devices - Application to Home Telemedicine, 2004 (link)


    Send feedback to lassy.admin@uni.lu

     
    Powered by MindTouch