Items where Laboratory is "Laboratoire Lorrain de Recherche en Informatique et ses Applications - LORIA (Nancy, France)"

Article

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

Couceiro, Miguel and Dubois, Didier and Prade, Henri and Waldhauser, Tamas. Decision-Making with sugeno integrals - bridging the gap between multicriteria evaluation and decision under uncertainty. (2016) Order, 33 (3). 517-535. ISSN 0167-8094

Aït-Ameur, Yamine and Méry, Dominique. Making explicit domain knowledge in formal system development. (2016) Science of Computer Programming, 121. 100-127. ISSN 0167-6423

Bolander, Thomas and Van Ditmarsch, Hans and Herzig, Andreas and Lorini, Emiliano and Pardo, Pere and Schwarzentruber, François. Announcements to Attentive Agents. (2015) Journal of Logic, Language and Information, 25 (1). 1-35. ISSN 0925-8531

Belkhir, Walid and Chevalier, Yannick and Rusinowitch, Michaël. Parametrized automata simulation and application to service composition. (2015) Journal of Symbolic Computation, 69. 40-60. ISSN 0747-7171

Balbiani, Philippe and Van Ditmarsch, Hans. A simple proof of the completeness of APAL. (2015) Studies in Logic, 8. 65-78. ISSN 1674-3202

Saqui-Sannes, Pierre de and Villemur, Thierry and Mota, Sara and Fontan, Benjamin and Bouassida, Mohamed Salah and Chridi, Najah and Chrisment, Isabelle and Vigneron, Laurent. Formal verification of secure group communication protocols modelled in UML. (2010) Innovations in Systems and Software Engineering, 6 (1-2). 125-133. ISSN 1614-5046

Conference or Workshop Item

Singh, Neeraj Kumar and Aït-Ameur, Yamine and Méry, Dominique and Navarre, David and Palanque, Philippe and Pantel, Marc. Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661. (2020) In: 7th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2019), 9 November 2019 - 9 November 2019 (Shenzhen, China).

Singh, Neeraj Kumar and Aït-Ameur, Yamine and Mèry, Dominique. Formal Ontology Driven Model Refactoring. (2018) In: 23rd IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2018), 12 December 2018 - 14 December 2018 (Melbourne, Australia).

Fernández Pérez, Iñaki and Boumaza, Amine and Charpillet, François. Maintaining Diversity in Robot Swarms with Distributed Embodied Evolution. (2018) In: 11th International Conference on Swarm Intelligence (ANTS 2018), 29 October 2018 - 31 October 2018 (Rome, Italy).

Lieber, Jean and Nauer, Emmanuel and Prade, Henri and Richard, Gilles. Making the best of cases by approximation, interpolation and extrapolation. (2018) In: International Conference on Case Based Reasoning (ICCBR 2018), 9 July 2018 - 12 July 2018 (Stockholm, Sweden).

Couceiro, Miguel and Hug, Nicolas and Prade, Henri and Richard, Gilles. Behavior of analogical inference w.r.t. Boolean functions. (2018) In: 27th International Joint Conference on Artificial Intelligence (IJCAI 2018), 13 July 2018 - 19 July 2018 (Stockholm, Sweden).

Brabant, Quentin and Couceiro, Miguel and Dubois, Didier and Prade, Henri and Rico, Agnés. Extracting Decision Rules from Qualitative Data via Sugeno Utility Functionals. (2018) In: 17th International Conference, Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU 2018), 11 June 2018 - 15 June 2018 (Càdiz, Spain).

Jha, Tushant and Belkhir, Walid and Chevalier, Yannick and Rusinowitch, Michaël. Expressive Equivalence and Succinctness of Parametrized Automata with Respect to Finite Memory Automata. (2016) In: International Conference on Service Oriented Computing (ICSOC 2015), 16 November 2015 - 19 November 2015 (Goa, India).

Balbiani, Philippe and Galmiche, Didier. About intuitionistic public announcement logic. (2016) In: 11th conference on Advances in Modal logic (AiML 2016), 30 August 2016 - 2 September 2016 (Budapest, Hungary).

Balbiani, Philippe and Van Ditmarsch, Hans and Herzig, Andreas. Before announcement. (2016) In: 11th conference on Advances in Modal logic (AiML 2016), 30 August 2016 - 2 September 2016 (Budapest, Hungary).

Mery, Dominique and Singh, Neeraj Kumar. Analyzing Requirements Using Environment Modelling. (2015) In: Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health - 6th International Conference (DHM 2015), 2 August 2015 - 7 August 2015 (Los Angeles, United States).

Aït-Ameur, Yamine and Gibson, J. Paul and Mery, Dominique. On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems. (2014) In: 6th International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), 8 October 2014 - 11 October 2014 (Corfu, Greece).

Van Ditmarsch, Hans and Herzig, Andreas and Lorini, Emiliano and Schwarzentruber, François. Listen to me! Public announcements to agents that pay attention - or not. (2013) In: 4th International Workshop on Logic, Rationality and Interaction (LORI IV), 9 October 2013 - 12 October 2013 (Hangzhou, China).

Balbiani, Philippe and Van Ditmarsch, Hans and Kudinov, Andrey. Subset space logic with arbitrary announcements. (2013) In: 5th Indian Conference on Logics and its Applications (ICLA), 10 January 2013 - 12 January 2013 (Chennai, India).

Saqui-Sannes, Pierre de and Villemur, Thierry and Fontan, Benjamin and Mota, Sara and Bouassida, Mohamed Salah and Chridi, Najah and Chrisment, Isabelle and Vigneron, Laurent. Formal verification of secure group communication protocols modelled in UML. (2010) In: 2nd IEEE International workshop UML and Formal Methods - UML&FM'2009, 08 Dec 2009, Rio de Janeiro, Brazil .

Gaucherel, Cedric and Martinet, Vincent and Inchausti, Pablo and Schaller, Noémie and Bamière, Laure and Sheeren, David and Gibon, Annick and Joannon, Alexandre and Castellazzi, Marie and Boussard, Hugues and Barraquand, Frédéric and Lazrak, El-Ghali and Mari, Jean-Francois and Houet, Thomas and Bretagnolle, Vincent. A multidisciplinary modelling approach to understand the effects of landscape dynamics on biodiversity. (2010) In: 2010 International Conference on Integrative Landscape Modelling, 3 February 2010 - 5 February 2010 (Montpellier, France). (Unpublished)