Search - IFIP Open Digital Library Access content directly

Filter your results

33 results
Structure: Internal structure identifier : 300751
Page :
sorted by
Image document

Reversible Choreographies via Monitoring in Erlang

 Adrian Francalanza , Claudio Antares Mezzina , Emilio Tuosto
18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.75-92, ⟨10.1007/978-3-319-93767-0_6⟩
Conference papers hal-01824635v1
Image document

Playing with Our CAT and Communication-Centric Applications

 Davide Basile , Pierpaolo Degano , Gian-Luigi Ferrari , Emilio Tuosto
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.62-73, ⟨10.1007/978-3-319-39570-8_5⟩
Conference papers hal-01432928v1
Image document

Design and Evaluation of an Augmented Reality App for Learning Geometric Shapes in 3D

 Pornpon Thamrongrat , Effie Lai-Chong Law
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.364-385, ⟨10.1007/978-3-030-29390-1_20⟩
Conference papers hal-02877679v1
Image document

Conformance-Based Doping Detection for Cyber-Physical Systems

 Rayna Dimitrova , Maciej Gazda , Mohammad Reza Mousavi , Sebastian Biewer , Holger Hermanns
40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.59-77, ⟨10.1007/978-3-030-50086-3_4⟩
Conference papers hal-03283236v1
Image document

Increasing Functional Coverage by Inductive Testing: A Case Study

 Neil Walkinshaw , Kirill Bogdanov , John Derrick , Javier Paris
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.126-141, ⟨10.1007/978-3-642-16573-3_10⟩
Conference papers hal-01055254v1
Image document

On the Logic of Generalised Metric Spaces

 Octavian Babus , Alexander Kurz
13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.136-155, ⟨10.1007/978-3-319-40370-0_9⟩
Conference papers hal-01446037v1
Image document

On the Realizability of Contracts in Dishonest Systems

 Massimo Bartoletti , Emilio Tuosto , Roberto Zunino
14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.245-260, ⟨10.1007/978-3-642-30829-1_17⟩
Conference papers hal-01529594v1
Image document

Choreography Automata

 Franco Barbanera , Ivan Lanese , Emilio Tuosto
COORDINATION 2020 - 22nd International Conference on Coordination Models and Languages, Jun 2020, Valletta, Malta. pp.86 - 106, ⟨10.1007/978-3-030-50029-0_6⟩
Conference papers hal-03005377v1

Coordination Models and Languages

 Hanne Nielson , Emilio Tuosto
Springer International Publishing, LNCS-11533, 2019, Lecture Notes in Computer Science, 978-3-030-22396-0. ⟨10.1007/978-3-030-22397-7⟩
Books hal-02365511v1
Image document

User Experience Evaluation – Which Method to Choose?

 Virpi Roto , Arnold Vermeeren , Kaisa Väänänen-Vainio-Mattila , Effie Law
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.714-715, ⟨10.1007/978-3-642-23768-3_129⟩
Conference papers hal-01596898v1
Image document

Monitoring Networks through Multiparty Session Types

 Laura Bocchi , Tzu-Chun Chen , Romain Demangeon , Nobuko Yoshida , Kohei Honda
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.50-65, ⟨10.1007/978-3-642-38592-6_5⟩
Conference papers hal-01213683v1
Image document

A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions

 Alexander Kurz , Tomoyuki Suzuki , Emilio Tuosto
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.193-208, ⟨10.1007/978-3-642-33475-7_14⟩
Conference papers hal-01556226v1
Image document

The Landscape of UX Requirements Practices

 Gregorio Convertino , Nancy Frishberg , Jettie Hoonhout , Rosa Lanzilotti , Marta Kristín Larusdottir , et al.
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.673-674, ⟨10.1007/978-3-319-22723-8_96⟩
Conference papers hal-01610780v1
Image document

Testing Attribute-Based Transactions in SOC

 Laura Bocchi , Emilio Tuosto
Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.87-94, ⟨10.1007/978-3-642-13464-7_8⟩
Conference papers hal-01055143v1
Image document

Improving Student Experience and Learning Performance with Traditional Instructional Methods and New Digital Media

 Pamela Andrade , Effie L.-C. Law
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.97-106, ⟨10.1007/978-3-030-85613-7_7⟩
Conference papers hal-04292381v1
Image document

Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude

 Peter Csaba Ölveczky , Artur Boronat , José Meseguer
Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.47-62, ⟨10.1007/978-3-642-13464-7_5⟩
Conference papers hal-01055147v1
Image document

On Sessions and Infinite Data

 Paula Severi , Luca Padovani , Emilio Tuosto , Mariangiola  Dezani-Ciancaglini
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.245-261, ⟨10.1007/978-3-319-39519-7_15⟩
Conference papers hal-01631727v1

Topics in Theoretical Computer Science

 Mohammad Reza Mousavi , Jiří Sgall
Springer International Publishing, LNCS-10608, 2017, Lecture Notes in Computer Science, 978-3-319-68952-4. ⟨10.1007/978-3-319-68953-1⟩
Books hal-01760635v1
Image document

Reversing P/T Nets

 Hernán Melgratti , Claudio Antares Mezzina , Irek Ulidowski
21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.19-36, ⟨10.1007/978-3-030-22397-7_2⟩
Conference papers hal-02365503v1
Image document

Assessing Test Adequacy for Black-Box Systems without Specifications

 Neil Walkinshaw
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.209-224, ⟨10.1007/978-3-642-24580-0_15⟩
Conference papers hal-01583922v1
Image document

Robust Position Control of a DC Motor by Sliding Mode

 Gabriela Mamani , Jonathan Becedas , Vicente Feliu Batlle
First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2010, Costa de Caparica, Portugal. pp.493-502, ⟨10.1007/978-3-642-11628-5_55⟩
Conference papers hal-01060775v1
Image document

An Alpha-Corecursion Principle for the Infinitary Lambda Calculus

 Alexander Kurz , Daniela Petrişan , Paula Severi , Fer-Jan De Vries
11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.130-149, ⟨10.1007/978-3-642-32784-1_8⟩
Conference papers hal-01539877v1
Image document

Online Scheduling of Unit Length Jobs with Commitment and Penalties

 Stanley Y. Fung
8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.54-65, ⟨10.1007/978-3-662-44602-7_5⟩
Conference papers hal-01402028v1
Image document

Modelling Virtual Organisations: Structure and Reconfigurations

 Stephan Reiff-Marganiec , Noor J. Rajper
12th Working Conference on Virtual Enterprises (PROVE), Oct 2011, São Paulo, Brazil. pp.297-305, ⟨10.1007/978-3-642-23330-2_33⟩
Conference papers hal-01569965v1
Image document

Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning

 Artur Boronat , Roberto Bruni , Alberto Lluch Lafuente , Ugo Montanari , Generoso Paolillo
Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.2-16, ⟨10.1007/978-3-642-13464-7_2⟩
Conference papers hal-01055150v1
Image document

A Choreography-Driven Approach to APIs: The OpenDXL Case Study

 Leonardo Frittelli , Facundo Maldonado , Hernán Melgratti , Emilio Tuosto
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.107-124, ⟨10.1007/978-3-030-50029-0_7⟩
Conference papers hal-03274000v1
Image document

Paper or Pixel? Comparing Paper- and Tool-Based Participatory Design Approaches

 Matthias Heintz , Effie Lai-Chong Law , Samaneh Soleimani
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.501-517, ⟨10.1007/978-3-319-22698-9_34⟩
Conference papers hal-01609406v1
Image document

Towards a Gamified Approach for Enhancing VBE Preparedness for Establishing Virtual Collaborations

 Noor Jehan Rajper , Stephan Reiff-Marganiec , Qurat-Ul-Ain Nizamani
17th Working Conference on Virtual Enterprises (PRO-VE), Oct 2016, Porto, Portugal. pp.165-177, ⟨10.1007/978-3-319-45390-3_15⟩
Conference papers hal-01614626v1
Image document

Honesty by Typing

 Massimo Bartoletti , Alceste Scalas , Emilio Tuosto , Roberto Zunino
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.305-320, ⟨10.1007/978-3-642-38592-6_21⟩
Conference papers hal-01515248v1
Image document

Transformation Systems with Incremental Negative Application Conditions

 Andrea Corradini , Reiko Heckel , Frank Hermann , Susann Gottmann , Nico Nachtigall
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.127-142, ⟨10.1007/978-3-642-37635-1_8⟩
Conference papers hal-01485982v1
Page :