Filter your results
- 28
- 5
- 28
- 5
- 33
- 1
- 3
- 3
- 1
- 4
- 8
- 3
- 4
- 6
- 33
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 3
- 3
- 3
- 3
- 3
- 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
|
|
sorted by
|
|
Supporting the Collaboration between Programmers and Designers Building Game AI14th International Conference on Entertainment Computing (ICEC), Sep 2015, Trondheim, Norway. pp.496-501, ⟨10.1007/978-3-319-24589-8_46⟩
Conference papers
hal-01758411v1
|
||
|
Parameterized Strategies Specification in Maude24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.27-44, ⟨10.1007/978-3-030-23220-7_2⟩
Conference papers
hal-02364577v1
|
||
|
Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.249-265, ⟨10.1007/978-3-662-43613-4_16⟩
Conference papers
hal-01398019v1
|
||
|
Distances between Processes: A Pure Algebraic Approach21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.265-282, ⟨10.1007/978-3-642-37635-1_16⟩
Conference papers
hal-01485974v1
|
||
|
Defining Distances for All Process Semantics14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.169-185, ⟨10.1007/978-3-642-30793-5_11⟩
Conference papers
hal-01528728v1
|
||
|
A Generic Program Slicing Technique Based on Language Definitions21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.248-264, ⟨10.1007/978-3-642-37635-1_15⟩
Conference papers
hal-01485973v1
|
||
|
One Half or 50%? An Eye-Tracking Study of Number Representation Readability14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.229-245, ⟨10.1007/978-3-642-40498-6_17⟩
Conference papers
hal-01510564v1
|
||
|
A Reconfigurable Network-on-Chip Architecture for Optimal Multi-Processor SoC Communication19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration (VLSI-SoC), Oct 2008, Rhodes Island, India. pp.232-250, ⟨10.1007/978-3-642-12267-5_13⟩
Conference papers
hal-01054544v1
|
||
|
Formal Specification of the Kademlia and the Kad Routing Tables in Maude21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.231-247, ⟨10.1007/978-3-642-37635-1_14⟩
Conference papers
hal-01485972v1
|
||
|
Specification and Testing of E-Commerce Agents Described by Using UIOLTSsJoint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.78-86, ⟨10.1007/978-3-642-13464-7_7⟩
Conference papers
hal-01055144v1
|
||
|
Formal Testing of Timed and Probabilistic Systems23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.9-14, ⟨10.1007/978-3-642-24580-0_2⟩
Conference papers
hal-01583920v1
|
||
|
Testing Software and SystemsSpringer, LNCS-8763, 2014, Lecture Notes in Computer Science, 978-3-662-44856-4. ⟨10.1007/978-3-662-44857-1⟩
Books
hal-01405294v1
|
||
|
Dynamic Soundness in Resource-Constrained Workflow Nets13th 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.259-273, ⟨10.1007/978-3-642-21461-5_17⟩
Conference papers
hal-01583317v1
|
||
|
Human Attributes in the Modelling of Work Teams9th IFIP WG 5.5 International Conference on Balanced Automation Systems for Future Manufacturing Networks (BASYS), Jul 2010, Valencia, Spain. pp.276-284, ⟨10.1007/978-3-642-14341-0_32⟩
Conference papers
hal-01060733v1
|
||
|
Recent Trends in Algebraic Development TechniquesSpringer, LNCS-7841, 2013, Lecture Notes in Computer Science, 978-3-642-37634-4. ⟨10.1007/978-3-642-37635-1⟩
Books
hal-01485894v1
|
||
|
Testing Probabilistic Distributed SystemsJoint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.63-77, ⟨10.1007/978-3-642-13464-7_6⟩
Conference papers
hal-01055146v1
|
||
|
Passive Testing with Asynchronous Communications15th 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
|
||
|
Controllability Through Nondeterminism in Distributed Testing28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.89-105, ⟨10.1007/978-3-319-47443-4_6⟩
Conference papers
hal-01643709v1
|
||
|
A User-Centred Methodology for the Development of Computer-Based Assistive Technologies for Individuals with Autism17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.85-106, ⟨10.1007/978-3-030-29381-9_6⟩
Conference papers
hal-02544539v1
|
||
|
Effectiveness for Input Output Conformance Simulation iocos̱34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.100-116, ⟨10.1007/978-3-662-43613-4_7⟩
Conference papers
hal-01398009v1
|
||
|
Input-Output Conformance Simulation (iocos) for Model Based Testing15th 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
|
||
|
Metamodelling for Agent Based Modelling: An Application for Continuous Double Auctions9th IFIP WG 5.5 International Conference on Balanced Automation Systems for Future Manufacturing Networks (BASYS), Jul 2010, Valencia, Spain. pp.285-292, ⟨10.1007/978-3-642-14341-0_33⟩
Conference papers
hal-01060734v1
|
||
|
Branching Bisimulation Games36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.142-157, ⟨10.1007/978-3-319-39570-8_10⟩
Conference papers
hal-01432915v1
|
||
|
May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects15th 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
|
||
|
Fuzzy-Timed AutomataJoint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.140-154, ⟨10.1007/978-3-642-13464-7_12⟩
Conference papers
hal-01055157v1
|
||
|
Thermal Modeling and Management of Liquid-Cooled 3D Stacked Architectures17th International Conference on Very Large Scale Integration (VLSISOC), Oct 2009, Florianópolis, Brazil. pp.34-55, ⟨10.1007/978-3-642-23120-9_3⟩
Conference papers
hal-01569359v1
|
||
|
Measuring Preferences in Game Mechanics: Towards Personalized Chocolate-Covered Broccoli1st Joint International Conference on Entertainment Computing and Serious Games (ICEC-JCSG), Nov 2019, Arequipa, Peru. pp.15-27, ⟨10.1007/978-3-030-34644-7_2⟩
Conference papers
hal-03652037v1
|
||
|
How to Make Numerical Information Accessible: Experimental Identification of Simplification Strategies13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.57-64, ⟨10.1007/978-3-642-23774-4_7⟩
Conference papers
hal-01590553v1
|
||
|
Entertainment Computing – ICEC 2021Springer International Publishing, LNCS-13056, 2021, Lecture Notes in Computer Science, 978-3-030-89393-4. ⟨10.1007/978-3-030-89394-1⟩
Books
hal-04144378v1
|
||
|
VLSI-SoC: Forward-Looking Trends in IC and Systems DesignSpringer, AICT-373, 2012, IFIP Advances in Information and Communication Technology, 978-3-642-28565-3. ⟨10.1007/978-3-642-28566-0⟩
Books
hal-01516071v1
|
- 1
- 2