Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

757 results
Deposit type : Fulltext
Page :
sorted by
Image document

Generic properties in some classes of automaton groups

 Thibault Godin
25th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2019, Guadalajara, Mexico. pp.91-103, ⟨10.1007/978-3-030-20981-0_7⟩
Conference papers hal-02078031v1
Image document

Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed Programs

 The Anh Pham , Thierry Jéron , Martin Quinson
FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2019, Copenhagen, Denmark. pp.224-241, ⟨10.1007/978-3-030-21759-4_13⟩
Conference papers hal-02109769v1
Image document

FOUGERE: User-Centric Location Privacy in Mobile Crowdsourcing Apps

 Lakhdar Meftah , Romain Rouvoy , Isabelle Chrisment
DAIS 2019 - 19th IFIP International Conference on Distributed Applications and Interoperable Systems, Jun 2019, Kongens Lyngby, Denmark. pp.116-132, ⟨10.1007/978-3-030-22496-7_8⟩
Conference papers hal-02121311v1
Image document

Computability on quasi-Polish spaces

 Mathieu Hoyrup , Cristóbal Rojas , Victor Selivanov , Donald M Stull
DCFS 2019 - 21st International Conference on Descriptional Complexity of Formal Systems, Jul 2019, Kosice, Slovakia. pp.171-183
Conference papers hal-02118947v2
Image document

Verification of concurrent design patterns with data

 Simon Bliudze , Ludovic Henrio , Eric Madelaine
COORDINATION 2019 - 21st International Conference on Coordination Models and Languages, Jun 2019, Kongens Lyngby, Denmark. pp.161-181, ⟨10.1007/978-3-030-22397-7_10⟩
Conference papers hal-02143782v1
Image document

GazeLens: Guiding Attention to Improve Gaze Interpretation in Hub-Satellite Collaboration

 Khanh-Duy Le , Ignacio Avellino , Cédric Fleury , Morten Fjeld , Andreas Kunz
INTERACT 2019 - 17th IFIP Conference on Human-Computer Interaction, Sep 2019, Paphos, Cyprus. pp.282-303, ⟨10.1007/978-3-030-29384-0_18⟩
Conference papers hal-02183386v1
Image document

A Comparative Study of Pointing Techniques for Eyewear Using a Simulated Pedestrian Environment

 Quentin Roy , Camelia Zakaria , Simon Perrault , Mathieu Nancel , Wonjung Kim , et al.
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.625-646, ⟨10.31219/osf.io/ktuy4⟩
Conference papers hal-02272539v1
Image document

Influence of Color and Size of Particles on Their Perceived Speed in Node-Link Diagrams

 Hugo Romat , Dylan Lebout , Emmanuel Pietriga , Caroline Appert
INTERACT 2019 - 17th IFIP Conference on Human-Computer Interaction, Sep 2019, Paphos, Cyprus. pp.619-637, ⟨10.1007/978-3-030-29384-0_37⟩
Conference papers hal-02274134v1
Image document

Esquisse: Using 3D Models Staging to Facilitate the Creation of Vector-based Trace Figures

 Axel Antoine , Sylvain Malacria , Nicolai Marquardt , Géry Casiez
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.496-516, ⟨10.1007/978-3-030-29384-0_30⟩
Conference papers hal-02293837v1
Image document

Output-sensitive Information flow analysis

 Cristian Ene , Laurent Mounier , Marie-Laure Potet
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.93-110, ⟨10.1007/978-3-030-21759-4_6⟩
Conference papers hal-02303984v1
Image document

On the Effects of Firing Memory in the Dynamics of Conjunctive Networks

 Eric Goles , Pedro Montealegre , Martín Ríos-Wilson
25th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2019, Guadalajara, Mexico. pp.1-19, ⟨10.1007/978-3-030-20981-0_1⟩
Conference papers hal-02312604v1
Image document

Iterative Arrays with Finite Inter-cell Communication

 Martin Kutrib , Andreas Malcher
25th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2019, Guadalajara, Mexico. pp.35-47, ⟨10.1007/978-3-030-20981-0_3⟩
Conference papers hal-02312607v1
Image document

Enhancement of Automata with Jumping Modes

 Szilárd Zsolt Fazekas , Kaito Hoshi , Akihiro Yamamura
25th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2019, Guadalajara, Mexico. pp.62-76, ⟨10.1007/978-3-030-20981-0_5⟩
Conference papers hal-02312614v1
Image document

Bounding the Minimal Number of Generators of Groups and Monoids of Cellular Automata

 Alonso Castillo-Ramirez , Miguel Sanchez-Alvarez
25th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2019, Guadalajara, Mexico. pp.48-61, ⟨10.1007/978-3-030-20981-0_4⟩
Conference papers hal-02312616v1
Image document

Iterative Arrays with Self-verifying Communication Cell

 Martin Kutrib , Thomas Worsch
25th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2019, Guadalajara, Mexico. pp.77-90, ⟨10.1007/978-3-030-20981-0_6⟩
Conference papers hal-02312617v1
Image document

Complexity-Theoretic Aspects of Expanding Cellular Automata

 Augusto Modanese
25th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2019, Guadalajara, Mexico. pp.20-34, ⟨10.1007/978-3-030-20981-0_2⟩
Conference papers hal-02312620v1
Image document

Correct and Efficient Antichain Algorithms for Refinement Checking

 Maurice Laveaux , Jan Friso Groote , Tim Willemse
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.185-203, ⟨10.1007/978-3-030-21759-4_11⟩
Conference papers hal-02313731v1
Image document

Component-aware Input-Output Conformance

 Alexander Graf-Brill , Holger Hermanns
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.111-128, ⟨10.1007/978-3-030-21759-4_7⟩
Conference papers hal-02313733v1
Image document

On a Higher-Order Calculus of Computational Fields

 Jacob Beal , Giorgio Audrito , Mirko Viroli , Ferruccio Damiani , Danilo Pianini
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.289-292, ⟨10.1007/978-3-030-21759-4_17⟩
Conference papers hal-02313736v1
Image document

Parametric Statistical Model Checking of UAV Flight Plan

 Ran Bao , Christian Attiogbe , Benoit Delahaye , Paulin Fournier , Didier Lime
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.57-74, ⟨10.1007/978-3-030-21759-4_4⟩
Conference papers hal-02313737v1
Image document

Declarative Choreographies and Liveness

 Thomas T. Hildebrandt , Tijs Slaats , Hugo A. López , Søren Debois , Marco Carbone
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.129-147, ⟨10.1007/978-3-030-21759-4_8⟩
Conference papers hal-02313738v1
Image document

Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes

 Jannik Hüls , Anne Remke
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.148-166, ⟨10.1007/978-3-030-21759-4_9⟩
Conference papers hal-02313740v1
Image document

Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification

 Diego Marmsoler
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.204-223, ⟨10.1007/978-3-030-21759-4_12⟩
Conference papers hal-02313742v1
Image document

Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems

 Hoang-Dung Tran , Luan Viet Nguyen , Patrick Musau , Weiming Xiang , Taylor T. Johnson
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.261-277, ⟨10.1007/978-3-030-21759-4_15⟩
Conference papers hal-02313744v1
Image document

Causal-Consistent Replay Debugging for Message Passing Programs

 Ivan Lanese , Adrián Palacios , Germán Vidal
FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2019, Copenhagen, Denmark. pp.167-184, ⟨10.1007/978-3-030-21759-4_10⟩
Conference papers hal-02313745v1
Image document

Squeezing Streams and Composition of Self-stabilizing Algorithms

 Karine Altisen , Pierre Corbineau , Stéphane Devismes
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.21-38, ⟨10.1007/978-3-030-21759-4_2⟩
Conference papers hal-02313746v1
Image document

On Certifying Distributed Algorithms: Problem of Local Correctness

 Kim Völlinger
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.281-288, ⟨10.1007/978-3-030-21759-4_16⟩
Conference papers hal-02313747v1
Image document

Psi-Calculi Revisited: Connectivity and Compositionality

 Johannes Åman Pohjola
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.3-20, ⟨10.1007/978-3-030-21759-4_1⟩
Conference papers hal-02313748v1
Image document

Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework

 Jean-Bernard Stefani , Martin Vassor
FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.242-260, ⟨10.1007/978-3-030-21759-4_14⟩
Conference papers hal-02313751v1
Image document

Semantically Sound Analysis of Content Security Policies

 Stefano Calzavara , Alvise Rabitti , Michele Bugliesi
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.293-297, ⟨10.1007/978-3-030-21759-4_18⟩
Conference papers hal-02313752v1
Page :