Filter your results
- 58
- 1
- 57
- 1
- 1
- 59
- 3
- 1
- 6
- 9
- 6
- 2
- 3
- 2
- 6
- 1
- 5
- 3
- 10
- 4
- 1
- 59
- 14
- 9
- 8
- 7
- 7
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 11
- 8
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Global State Estimates for Distributed Systems13th 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.198-212, ⟨10.1007/978-3-642-21461-5_13⟩
Conference papers
inria-00581259v1
|
||
|
Praspel: A Specification Language for Contract-Based Testing in PHP23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.64-79, ⟨10.1007/978-3-642-24580-0_6⟩
Conference papers
hal-00640279v1
|
||
|
Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.32-47, ⟨10.1007/978-3-642-24580-0_4⟩
Conference papers
hal-00640312v1
|
||
|
Dissemination of reconfiguration policies on mesh networks12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.16-30, ⟨10.1007/978-3-642-30823-9_2⟩
Conference papers
hal-00688707v1
|
||
|
Session-Based Role Programming for the Design of Advanced Telephony Applications11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.77-91, ⟨10.1007/978-3-642-21387-8_7⟩
Conference papers
hal-00609512v1
|
||
|
Formal Verification of Distributed Branching Multiway Synchronization Protocols15th 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.146-160
Conference papers
hal-00818788v1
|
||
|
Efficient and Generalized Decentralized Monitoring of Regular Languages34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.66-83, ⟨10.1007/978-3-662-43613-4_5⟩
Conference papers
hal-00972559v1
|
||
|
Architecturing Conflict Handling of Pervasive Computing Resources11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.92-105, ⟨10.1007/978-3-642-21387-8_8⟩
Conference papers
inria-00581604v1
|
||
|
OverStar: An Open Approach to End-to-End Middleware Services in Systems of Systems13th International Middleware Conference (MIDDLEWARE), Dec 2012, Montreal, QC, Canada. pp.229-248, ⟨10.1007/978-3-642-35170-9_12⟩
Conference papers
hal-00991376v1
|
||
|
More Testable Properties22nd International Conference on Testing Software and Systems, Nov 2010, Natal, Brazil. pp.30-46, ⟨10.1007/978-3-642-16573-3_4⟩
Conference papers
inria-00510018v2
|
||
|
Model-Driven Integration and Analysis of Access-control Policies in Multi-layer Information Systems30th IFIP International Information Security Conference (SEC), May 2015, Hamburg, Germany. pp.218-233, ⟨10.1007/978-3-319-18467-8_15⟩
Conference papers
hal-01152528v1
|
||
|
Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems5th 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
|
||
|
A CRDT Supporting Selective Undo for Collaborative Text Editing15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2015, Grenoble, France. pp.193-206, ⟨10.1007/978-3-319-19129-4_16⟩
Conference papers
hal-01246212v1
|
||
|
Generating VHDL source code from UML models of embedded systems 7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.125-136, ⟨10.1007/978-3-642-15234-4_13⟩
Conference papers
hal-00533288v1
|
||
|
OntoCompo: A Tool to Enhance Application Composition13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbone, Portugal. pp.588-591, ⟨10.1007/978-3-642-23768-3_89⟩
Conference papers
hal-01302169v1
|
||
|
Application Composition Driven by UI CompositionThird IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE), Oct 2010, Reykjavik, Iceland. pp.198-205, ⟨10.1007/978-3-642-16488-0_17⟩
Conference papers
hal-01302948v1
|
||
|
Using testing techniques for vulnerability detection in C programs23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.80-96, ⟨10.1007/978-3-642-24580-0_7⟩
Conference papers
hal-01303013v1
|
||
|
Experiments in Model Driven Composition of User Interfaces10th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) / Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.98-111, ⟨10.1007/978-3-642-13645-0_8⟩
Conference papers
hal-01307121v1
|
||
|
Self-Balancing Job Parallelism and Throughput in Hadoop16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Crete, Greece. pp.129-143, ⟨10.1007/978-3-319-39577-7_11⟩
Conference papers
hal-01294834v1
|
||
|
Usability aspects of the inside-in approach for ancillary search tasks on the web15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.211-230, ⟨10.1007/978-3-319-22668-2_18⟩
Conference papers
hal-01343048v1
|
||
|
Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errors15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.192-212, ⟨10.1007/978-3-319-22723-8_16⟩
Conference papers
hal-01387758v1
|
||
|
Trust Driven Strategies for Privacy by Design9th IFIP International Conference on Trust Management (TM), May 2015, Hamburg, Germany. pp.60-75, ⟨10.1007/978-3-319-18491-3_5⟩
Conference papers
hal-01262365v1
|
||
|
Tooled Process for Early Validation of SysML Models using Modelica Simulation6th Fundamentals of Software Engineering (FSEN), 2015, Tehran, Iran. pp.230-237, ⟨10.1007/978-3-319-24644-4_16⟩
Conference papers
hal-01246025v1
|
||
|
Multi-level Service Approach for Flexible Support of Design Processes20th Advances in Production Management Systems (APMS), Sep 2013, State College, PA, United States. pp.160-169, ⟨10.1007/978-3-642-41263-9_20⟩
Conference papers
hal-00921846v1
|
||
|
Compressing Microcontroller Execution Traces to Assist System Analysis4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.139-150, ⟨10.1007/978-3-642-38853-8_13⟩
Conference papers
hal-00853716v1
|
||
|
Evaluating User Experience for Interactive Television: Towards the Development of a Domain-Specific User Experience Questionnaire14th 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
|
||
|
On the Evolution of Component-based Software4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. ⟨10.1007/978-3-642-28038-2_5⟩
Conference papers
inria-00431436v1
|
||
|
Verifying Timed BPMN Processes Using Maude19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.219-236, ⟨10.1007/978-3-319-59746-1_12⟩
Conference papers
hal-01538104v1
|
||
|
A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments4th International Conference on Human-Centered Software Engineering (HCSE 2012), Oct 2012, Toulouse, France. pp.72-93, ⟨10.1007/978-3-642-34347-6_5⟩
Conference papers
hal-01556835v1
|
||
|
Bridging the Gap between Business Processes and Service Composition through Service ChoreographiesIFIP WG8.1 Working conference on Method Engineering (ME'2011), Apr 2011, Paris, France. pp.190-203, ⟨10.1007/978-3-642-19997-4_18⟩
Conference papers
hal-00953442v1
|
- 1
- 2