OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

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

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items at this level: 9.

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).

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 .

This list was generated on Sat Apr 21 07:38:55 2018 CEST.