Search - IFIP Open Digital Library Access content directly

Filter your results

9 results
authFullName_s : Flemming Nielson
Page :
sorted by
Image document

Klaim-DB: A Modeling Language for Distributed Database Applications

 Xi Wu , Ximeng Li , Alberto Lluch Lafuente , Flemming Nielson , Hanne Riis Nielson
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.197-212, ⟨10.1007/978-3-319-19282-6_13⟩
Conference papers hal-01774934v1
Image document

Recursive Advice for Coordination

 Michał Terepeta , Hanne Riis Nielson , Flemming Nielson
14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.137-151, ⟨10.1007/978-3-642-30829-1_10⟩
Conference papers hal-01529587v1
Image document

The Stochastic Quality Calculus

 Kebin Zeng , Flemming Nielson , Hanne Riis Nielson
16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.179-193, ⟨10.1007/978-3-662-43376-8_12⟩
Conference papers hal-01290076v1
Image document

Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces

 Fan Yang , Tomoyuki Aotani , Hidehiko Masuhara , Flemming Nielson , Hanne Riis Nielson
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.202-218, ⟨10.1007/978-3-642-21464-6_14⟩
Conference papers hal-01582991v1
Image document

Denial-of-Service Security Attack in the Continuous-Time World

 Shuling Wang , Flemming Nielson , Hanne Riis Nielson
34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.149-165, ⟨10.1007/978-3-662-43613-4_10⟩
Conference papers hal-01398014v1
Image document

Uniform Protection for Multi-exposed Targets

 Roberto Vigo , Flemming Nielson , Hanne Riis Nielson
34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.182-198, ⟨10.1007/978-3-662-43613-4_12⟩
Conference papers hal-01398016v1
Image document

Probabilistic Analysis of the Quality Calculus

 Hanne Riis Nielson , Flemming Nielson
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.258-272, ⟨10.1007/978-3-642-38592-6_18⟩
Conference papers hal-01515243v1
Image document

Enforcing Availability in Failure-Aware Communicating Systems

 Hugo A. López , Flemming Nielson , Hanne Riis Nielson
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.195-211, ⟨10.1007/978-3-319-39570-8_13⟩
Conference papers hal-01432918v1
Image document

Galois Connections for Flow Algebras

 Piotr Filipiuk , Michał Terepeta , Hanne Riis Nielson , Flemming Nielson
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.138-152, ⟨10.1007/978-3-642-21461-5_9⟩
Conference papers hal-01583315v1
Page :