Filter your results
- 44
- 1
- 44
- 1
- 45
- 11
- 5
- 5
- 3
- 4
- 3
- 2
- 5
- 4
- 3
- 8
- 3
- 45
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 10
- 5
- 4
- 3
- 3
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
45 results
|
|
sorted by
|
|
Usability Reporting with UsabML4th International Conference on Human-Centered Software Engineering (HCSE), Oct 2012, Toulouse, France. pp.342-351, ⟨10.1007/978-3-642-34347-6_26⟩
Conference papers
hal-01556829v1
|
||
|
Trigger Alarm: A Smart NFC Sniffer for High-Precision Measurements32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.186-200, ⟨10.1007/978-3-030-64881-7_12⟩
Conference papers
hal-03239810v1
|
||
|
Towards More Practical Time-Driven Cache Attacks8th IFIP International Workshop on Information Security Theory and Practice (WISTP), Jun 2014, Heraklion, Crete, Greece. pp.24-39, ⟨10.1007/978-3-662-43826-8_3⟩
Conference papers
hal-01400918v1
|
||
|
The Shortest Path Game: Complexity and Algorithms8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.39-53, ⟨10.1007/978-3-662-44602-7_4⟩
Conference papers
hal-01402026v1
|
||
|
Testing TLS Using Combinatorial Methods and Execution Framework29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.162-177, ⟨10.1007/978-3-319-67549-7_10⟩
Conference papers
hal-01678990v1
|
||
|
Testing for Distinguishing Repair Candidates in Spreadsheets – the Mussco Approach27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.124-140, ⟨10.1007/978-3-319-25945-1_8⟩
Conference papers
hal-01470160v1
|
||
|
Testing Chatbots Using Metamorphic Relations31th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2019, Paris, France. pp.41-55, ⟨10.1007/978-3-030-31280-0_3⟩
Conference papers
hal-02526355v1
|
||
|
Speeding Up the Fixed-Base Comb Method for Faster Scalar Multiplication on Koblitz Curves1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.168-179
Conference papers
hal-01506561v1
|
||
|
Side-Channel Leakage across Borders9th IFIP WG 8.8/11.2 International Conference on Smart Card Research and Advanced Applications (CARDIS), Apr 2010, Passau, Germany. pp.36-48, ⟨10.1007/978-3-642-12510-2_4⟩
Conference papers
hal-01056100v1
|
||
|
Property-Based Testing for Parameter Learning of Probabilistic Graphical Models4th International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2020, Dublin, Ireland. pp.499-515, ⟨10.1007/978-3-030-57321-8_28⟩
Conference papers
hal-03414744v1
|
||
|
Privacy-Enhancing Proxy Signatures from Non-interactive Anonymous Credentials28th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2014, Vienna, Austria. pp.49-65, ⟨10.1007/978-3-662-43936-4_4⟩
Conference papers
hal-01284842v1
|
||
|
Plan It! Automated Security Testing Based on Planning26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. pp.48-62, ⟨10.1007/978-3-662-44857-1_4⟩
Conference papers
hal-01405274v1
|
||
|
Performance Comparison of Two Search-Based Testing Strategies for ADAS System Validation31th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2019, Paris, France. pp.140-156, ⟨10.1007/978-3-030-31280-0_9⟩
Conference papers
hal-02526346v1
|
||
|
Novel Insights on Cross Project Fault Prediction Applied to Automotive Software27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.141-157, ⟨10.1007/978-3-319-25945-1_9⟩
Conference papers
hal-01470161v1
|
||
|
Navigational User Interface Elements on the Left Side: Intuition of Designers or Experimental Evidence?13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.162-177, ⟨10.1007/978-3-642-23771-3_13⟩
Conference papers
hal-01590864v1
|
||
|
Modular Architecture for Adaptable Signature-Creation Tools12th International Conference on Electronic Government (EGOV), Sep 2013, Koblenz, Germany. pp.274-285, ⟨10.1007/978-3-642-40358-3_23⟩
Conference papers
hal-01490913v1
|
||
|
Making Apps Useable on Multiple Different Mobile Platforms: On Interoperability for Business Application Development on SmartphonesInternational Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Aug 2012, Prague, Czech Republic. pp.176-189, ⟨10.1007/978-3-642-32498-7_14⟩
Conference papers
hal-01542428v1
|
||
|
Machine Learning and Knowledge ExtractionSpringer International Publishing, LNCS-11015, 2018, Lecture Notes in Computer Science, 978-3-319-99739-1. ⟨10.1007/978-3-319-99740-7⟩
Books
hal-02060052v1
|
||
|
Learning Abstracted Non-deterministic Finite State Machines32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.52-69, ⟨10.1007/978-3-030-64881-7_4⟩
Conference papers
hal-03239824v1
|
||
|
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning31th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2019, Paris, France. pp.3-21, ⟨10.1007/978-3-030-31280-0_1⟩
Conference papers
hal-02526358v1
|
||
|
Interrogating Virtual Agents: In Quest of Security Vulnerabilities32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.20-34, ⟨10.1007/978-3-030-64881-7_2⟩
Conference papers
hal-03239829v1
|
||
|
Integrating and Inspecting Combined Behavioral Profiling and Social Network Models in Destiny15th International Conference on Entertainment Computing (ICEC), Sep 2016, Wien, Austria. pp.77-89, ⟨10.1007/978-3-319-46100-7_7⟩
Conference papers
hal-01640273v1
|
||
|
Insights into Learning Competence Through Probabilistic Graphical Models3rd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2019, Canterbury, United Kingdom. pp.250-271, ⟨10.1007/978-3-030-29726-8_16⟩
Conference papers
hal-02520054v1
|
||
|
Increasing Learning Motivation: An Empirical Study of VR Effects on the Vocational Training of Bank Clerks1st Joint International Conference on Entertainment Computing and Serious Games (ICEC-JCSG), Nov 2019, Arequipa, Peru. pp.111-118, ⟨10.1007/978-3-030-34644-7_9⟩
Conference papers
hal-03652040v1
|
||
|
Improving the Efficiency of Elliptic Curve Scalar Multiplication Using Binary Huff Curves1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.155-167
Conference papers
hal-01506564v1
|
||
|
Implementation Aspects of Anonymous Credential Systems for Mobile Trusted Platforms12th Communications and Multimedia Security (CMS), Oct 2011, Ghent, Belgium. pp.45-58, ⟨10.1007/978-3-642-24712-5_4⟩
Conference papers
hal-01596194v1
|
||
|
Implementation and Evaluation of an SCA-Resistant Embedded Processor10th Smart Card Research and Advanced Applications (CARDIS), Sep 2011, Leuven, Belgium. pp.151-165, ⟨10.1007/978-3-642-27257-8_10⟩
Conference papers
hal-01596304v1
|
||
|
Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions4th IFIP WG 11.2 International Workshop on Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices (WISTP), Apr 2010, Passau, Germany. pp.316-323, ⟨10.1007/978-3-642-12368-9_25⟩
Conference papers
hal-01056075v1
|
||
|
How Playstyles Evolve: Progression Analysis and Profiling in Just Cause 215th International Conference on Entertainment Computing (ICEC), Sep 2016, Wien, Austria. pp.90-101, ⟨10.1007/978-3-319-46100-7_8⟩
Conference papers
hal-01640296v1
|
||
|
Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.35-51, ⟨10.1007/978-3-030-64881-7_3⟩
Conference papers
hal-03239819v1
|
- 1
- 2