Search - IFIP Open Digital Library Access content directly

Filter your results

4 results
Sub-domain level 1 : info.info-es
publicationDateY_i : 2013
Page :
sorted by
Image document

Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems

 Abdeldjalil Boudjadar , Frits Vaandrager , Jean-Paul Bodeveix , M Filali
5th International Conference on Fundamentals of Software Engineering (FSEN 2013), Apr 2013, Tehran, Iran. pp.111-132, ⟨10.1007/978-3-642-40213-5_8⟩
Conference papers hal-01231765v1
Image document

Evaluating User Experience for Interactive Television: Towards the Development of a Domain-Specific User Experience Questionnaire

 Regina Bernhaupt , Michael Pirker
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.642-659, ⟨10.1007/978-3-642-40480-1_45⟩
Conference papers hal-01223180v2
Image document

An Abstract Framework for Deadlock Prevention in BIP

 Paul C. Attie , Saddek Bensalem , Marius Bozga , Mohamad Jaber , Joseph Sifakis , et al.
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.161-177, ⟨10.1007/978-3-642-38592-6_12⟩
Conference papers hal-00878752v1
Image document

EZ: Towards Efficient Asynchronous Protocol Gateway Construction

 Yérom-David Bromberg , Floréal Morandat , Laurent Réveillère , Gaël Thomas
13th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.169-174, ⟨10.1007/978-3-642-38541-4_13⟩
Conference papers hal-00991335v1
Page :