Items where Institution is :Other partners > University of Luxembourg (LUXEMBOURG)

Brau, Guillaume and Hugues, Jérôme and Navet, Nicolas Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems. (2018) Science of Computer Programming, 156. 1-20. ISSN 01676423

Dendoncker, Nicolas and Boeraeve, Fanny and Crouzat, Emilie and Dufrêne, Marc and Konig, Ariane and Barnaud, Cécile How can integrated valuation of ecosystem services help understanding and steering agroecological transitions ? (2018) Ecology and Society, 23 (1). 1-13. ISSN 1708-3087

Dubois, Didier and Prade, Henri and Rico, Agnès and Teheux, Bruno Generalized qualitative Sugeno integrals. (2017) Information Sciences, 415 - 416. 429-445. ISSN 0020-0255

Avanesov, Tigran and Chevalier, Yannick and Rusinowitch, Michaël and Turuani, Mathieu Intruder deducibility constraints with negation. Decidability and application to secured service compositions. (2017) Journal of Symbolic Computation, 80 (1). 4-26. ISSN 0747-7171

Avanesov, Tigran and Chevalier, Yannick and Rusinowitch, Michaël and Turuani, Mathieu Satisfiability of general intruder constraints with and without a set constructor. (2017) Journal of Symbolic Computation, 80 (1). 27-61. ISSN 0747-7171

Brau, Guillaume and Navet, Nicolas and Hugues, Jérôme Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study. (2017) In: 25th International Conference on Real-Time Networks and Systems (RTNS ’17), 4 October 2017 - 6 October 2017 (Grenoble, France).

Dubois, Didier and Prade, Henri and Rico, Agnès and Teheux, Bruno Generalized Sugeno Integrals. (2016) In: 16th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2016), 20 June 2016 - 24 June 2016 (Eindhoven, Netherlands).

Boyer, Marc and Daigmorte, Hugo and Navet, Nicolas and Migge, Jörn Performance impact of the interactions between time-triggered and rate-constrained transmissions in TTEthernet. (2016) In: 8th European Congress on Embedded Real Time Software and Systems, 31 January 2016 - 2 February 2016 (Toulouse, France).

Amgoud, Leila and Ben-Naim, Jonathan and Doder, Dragan and Vesic, Srdjan Ranking arguments with compensation-based semantics. (2016) In: International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), 25 April 2016 - 29 April 2016 (Cap Town, South Africa).

Dubois, Didier and Rico, Agnès and Teheux, Bruno and Prade, Henri Characterizing variants of qualitative Sugeno integrals in a totally ordered Heyting algebra. (2015) In: 16th International Fuzzy Systems Association World Congress and th Conference of the European Society for Fuzzy Logic and Technology (IFSA - EUSFLAT 2015), 30 June 2015 - 3 July 2015 (Gijon, Spain).

Brau, Guillaume and Hugues, Jérôme and Navet, Nicolas A contract-based approach to support goal-driven analysis. (2015) In: 2015 IEEE 18th International Symposium on Real-Time Distributed Computing, 13 April 2015 - 17 April 2015 (Auckland, New Zealand).

Hugues, Jérôme and Brau, Guillaume Analysis as first-class citizens – an application to Architecture Description Languages. (2014) In: 17th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing (ISORC 2014), 8 June 2014 - 12 June 2014 (Reno, United States).

Brau, Guillaume and Navet, Nicolas and Hugues, Jérôme Refinement of AADL models using early-stage analysis methods. (2013) In: The 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop , 3 December 2013 - 3 December 2013 (Vancouver, Canada).

Garion, Christophe and Van der Torre, Leon Design by contract - Deontic design language for multiagent systems. (2006) In: Coordination, organization, institutions and norms in agent systems I, 25-29 Jul 2005, Utrecht, Netherlands .

Garion, Christophe and Van der Torre, Leon Design by contract - Deontic design language for component-based systems. (2003) In: BNAIC'03 : 15th Belgium-Netherlands Conference on Artificial Intelligence, 23-24 Oct 2003, Nijmegen, The Netherlands .