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

Filter your results

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

Human-Computer Interaction –INTERACT 2013 Proceedings, Part IV

 Paula Kotzé , Gary Marsden , Gitte Lindgaard , Janet Wesson , Marco Winckler
Lecture Notes in Computer Science, LNCS-8120 (Part IV), Springer, 2013, Human-Computer Interaction – INTERACT 2013
Proceedings hal-04149510v1
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

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

Lintent: Towards Security Type-Checking of Android Applications

 Michele Bugliesi , Stefano Calzavara , Alvise Spanò
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.289-304, ⟨10.1007/978-3-642-38592-6_20⟩
Conference papers hal-01515252v1
Image document

Polymorphic Types for Leak Detection in a Session-Oriented Functional Language

 Viviana Bono , Luca Padovani , Andrea Tosatto
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.83-98, ⟨10.1007/978-3-642-38592-6_7⟩
Conference papers hal-01515251v1
Image document

A Timed Component Algebra for Services

 Benoît Delahaye , José Luiz Fiadeiro , Axel Legay , Antónia Lopes
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.242-257, ⟨10.1007/978-3-642-38592-6_17⟩
Conference papers hal-01515250v1
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

May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects

 Antonio E. Flores-Montoya , Elvira Albert , Samir Genaim
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.273-288, ⟨10.1007/978-3-642-38592-6_19⟩
Conference papers hal-01515247v1
Image document

Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels

 Rajeev Alur , Jay Thakkar , Aditya Kanade
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.209-224, ⟨10.1007/978-3-642-38592-6_15⟩
Conference papers hal-01515246v1
Image document

Parameterized Verification of Track Topology Aggregation Protocols

 Sergio Feo-Arenis , Bernd Westphal
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.35-49, ⟨10.1007/978-3-642-38592-6_4⟩
Conference papers hal-01515244v1
Image document

Analyzing Interactions of Asynchronously Communicating Software Components

 Tevfik Bultan
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.1-4, ⟨10.1007/978-3-642-38592-6_1⟩
Conference papers hal-01515245v1
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

Asynchronously Communicating Visibly Pushdown Systems

 Domagoj Babić , Zvonimir Rakamarić
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.225-241, ⟨10.1007/978-3-642-38592-6_16⟩
Conference papers hal-01515242v1
Image document

Model Checking Distributed Systems against Temporal-Epistemic Specifications

 Andreas Griesmayer , Alessio Lomuscio
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.130-145, ⟨10.1007/978-3-642-38592-6_10⟩
Conference papers hal-01515241v1
Image document

Passive Testing with Asynchronous Communications

 Robert M. Hierons , Mercedes G. Merayo , Manuel Núñez
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.99-113, ⟨10.1007/978-3-642-38592-6_8⟩
Conference papers hal-01515240v1
Image document

Formal Analysis of a Distributed Algorithm for Tracking Progress

 Martín Abadi , Frank Mcsherry , Derek G. Murray , Thomas L. Rodeheffer
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.5-19, ⟨10.1007/978-3-642-38592-6_2⟩
Conference papers hal-01515239v1
Image document

Input-Output Conformance Simulation (iocos) for Model Based Testing

 Carlos Gregorio-Rodríguez , Luis Llana , Rafael Martínez-Torres
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.114-129, ⟨10.1007/978-3-642-38592-6_9⟩
Conference papers hal-01515238v1
Image document

Bounded Model Checking of Graph Transformation Systems via SMT Solving

 Tobias Isenberg , Dominik Steenken , Heike Wehrheim
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.178-192, ⟨10.1007/978-3-642-38592-6_13⟩
Conference papers hal-01515236v1
Image document

A Case Study in Formal Verification Using Multiple Explicit Heaps

 Wojciech Mostowski
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.20-34, ⟨10.1007/978-3-642-38592-6_3⟩
Conference papers hal-01515237v1
Image document

Verification of Directed Acyclic Ad Hoc Networks

 Parosh Aziz Abdulla , Mohamed Faouzi Atig , Othmane Rezine
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.193-208, ⟨10.1007/978-3-642-38592-6_14⟩
Conference papers hal-01515235v1
Image document

Validating SCTP Simultaneous Open Procedure

 Somsak Vanit-Anunchai
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.233-249, ⟨10.1007/978-3-642-40213-5_15⟩
Conference papers hal-01514670v1
Image document

Improving Time Bounded Reachability Computations in Interactive Markov Chains

 Hassan Hatefi , Holger Hermanns
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.250-266, ⟨10.1007/978-3-642-40213-5_16⟩
Conference papers hal-01514669v1
Image document

Checking Compatibility of Web Services Behaviorally

 Kais Klai , Hanen Ochi
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.267-282, ⟨10.1007/978-3-642-40213-5_17⟩
Conference papers hal-01514668v1
Image document

Push-Down Automata with Gap-Order Constraints

 Parosh Aziz Abdulla , Mohamed Faouzi Atig , Giorgio Delzanno , Andreas Podelski
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.199-216, ⟨10.1007/978-3-642-40213-5_13⟩
Conference papers hal-01514667v1
Image document

Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair

 Elham Ramezani , Natalia Sidorova , Christian Stahl
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.150-167, ⟨10.1007/978-3-642-40213-5_10⟩
Conference papers hal-01514666v1
Image document

Lending Petri Nets and Contracts

 Massimo Bartoletti , Tiziana Cimoli , G. Michele Pinna
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.66-82, ⟨10.1007/978-3-642-40213-5_5⟩
Conference papers hal-01514665v1
Image document

Unbounded Allocation in Bounded Heaps

 Jurriaan Rot , Frank De Boer , Marcello Bonsangue
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.1-16, ⟨10.1007/978-3-642-40213-5_1⟩
Conference papers hal-01514664v1
Image document

Deadlock Checking by Data Race Detection

 Ka I Pun , Martin Steffen , Volker Stolz
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.34-50, ⟨10.1007/978-3-642-40213-5_3⟩
Conference papers hal-01514663v1
Image document

On the Complexity of Adding Convergence

 Alex Klinkhamer , Ali Ebnenasir
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.17-33, ⟨10.1007/978-3-642-40213-5_2⟩
Conference papers hal-01514662v1
Image document

Compiling Cooperative Task Management to Continuations

 Keiko Nakata , Andri Saar
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.95-110, ⟨10.1007/978-3-642-40213-5_7⟩
Conference papers hal-01514661v1
Page :