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

Filter your results

45 results
Page :
sorted by
Image document

Trigger Alarm: A Smart NFC Sniffer for High-Precision Measurements

 Martin Erb , Christian Steger , Martin Troyer , Josef Preishuber-Pflügl
32th 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
Image document

Property-Based Testing for Parameter Learning of Probabilistic Graphical Models

 Anna Saranti , Behnam Taraghi , Martin Ebner , Andreas Holzinger
4th 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
Image document

Learning Abstracted Non-deterministic Finite State Machines

 Andrea Pferscher , Bernhard K. Aichernig
32th 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
Image document

Interrogating Virtual Agents: In Quest of Security Vulnerabilities

 Josip Bozic , Franz Wotawa
32th 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
Image document

Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT

 Bernhard K. Aichernig , Christian Burghard
32th 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
Image document

Insights into Learning Competence Through Probabilistic Graphical Models

 Anna Saranti , Behnam Taraghi , Martin Ebner , Andreas Holzinger
3rd 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
Image document

Increasing Learning Motivation: An Empirical Study of VR Effects on the Vocational Training of Bank Clerks

 Michael D. Kickmeier-Rust , Philipp Hann , Michael Leitner
1st 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
Image document

Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning

 Bernhard K. Aichernig , Roderick Bloem , Masoud Ebrahimi , Martin Horn , Franz Pernkopf , et al.
31th 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
Image document

Testing Chatbots Using Metamorphic Relations

 Josip Bozic , Franz Wotawa
31th 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
Image document

Performance Comparison of Two Search-Based Testing Strategies for ADAS System Validation

 Florian Klück , Martin Zimmermann , Franz Wotawa , Mihai Nica
31th 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

Machine Learning and Knowledge Extraction

 Andreas Holzinger , Peter Kieseberg , a Min Tjoa , Edgar Weippl
Springer 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
Image document

Current Advances, Trends and Challenges of Machine Learning and Knowledge Extraction: From Machine Learning to Explainable AI

 Andreas Holzinger , Peter Kieseberg , Edgar Weippl , A Min Tjoa
2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.1-8, ⟨10.1007/978-3-319-99740-7_1⟩
Conference papers hal-02060058v1
Image document

Explainable AI: the new 42?

 Randy Goebel , Ajay Chander , Katharina Holzinger , Freddy Lecue , Zeynep Akata , et al.
2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.295-303, ⟨10.1007/978-3-319-99740-7_21⟩
Conference papers hal-01934928v1
Image document

Testing TLS Using Combinatorial Methods and Execution Framework

 Dimitris E. Simos , Josip Bozic , Feng Duan , Bernhard Garn , Kristoffer Kleine , et al.
29th 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
Image document

A “Strength of Decision Tree Equivalence”-Taxonomy and Its Impact on Test Suite Reduction

 Hermann Felbinger , Ingo Pill , Franz Wotawa
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.197-212, ⟨10.1007/978-3-319-67549-7_12⟩
Conference papers hal-01678986v1
Image document

Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles

 Richard Schumi , Priska Lang , Bernhard K. Aichernig , Willibald Krenn , Rupert Schlick
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.293-310, ⟨10.1007/978-3-319-67549-7_18⟩
Conference papers hal-01678972v1
Image document

AI for Localizing Faults in Spreadsheets

 Birgit Hofer , Iulia Nica , Franz Wotawa
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.71-87, ⟨10.1007/978-3-319-67549-7_5⟩
Conference papers hal-01678961v1
Image document

How Playstyles Evolve: Progression Analysis and Profiling in Just Cause 2

 Johanna Pirker , Simone Griesmayr , Anders Drachen , Rafet Sifa
15th 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
Image document

Integrating and Inspecting Combined Behavioral Profiling and Social Network Models in Destiny

 André Rattinger , Günter Wallner , Anders Drachen , Johanna Pirker , Rafet Sifa
15th 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
Image document

Evaluating Experiences in Different Virtual Reality Setups

 Volker Settgast , Johanna Pirker , Stefan Lontschar , Stefan Maggale , Christian Gütl
15th International Conference on Entertainment Computing (ICEC), Sep 2016, Wien, Austria. pp.115-125, ⟨10.1007/978-3-319-46100-7_10⟩
Conference papers hal-01640299v1
Image document

Novel Insights on Cross Project Fault Prediction Applied to Automotive Software

 Harald Altinger , Steffen Herbold , Jens Grabowski , Franz Wotawa
27th 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
Image document

Testing for Distinguishing Repair Candidates in Spreadsheets – the Mussco Approach

 Rui Abreu , Simon Ausserlechner , Birgit Hofer , Franz Wotawa
27th 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
Image document

A Federated Cloud Identity Broker-Model for Enhanced Privacy via Proxy Re-Encryption

 Bernd Zwattendorfer , Daniel Slamanig , Klaus Stranacher , Felix Hörandner
15th IFIP International Conference on Communications and Multimedia Security (CMS), Sep 2014, Aveiro, Portugal. pp.92-103, ⟨10.1007/978-3-662-44885-4_8⟩
Conference papers hal-01404190v1
Image document

Privacy-Enhancing Proxy Signatures from Non-interactive Anonymous Credentials

 David Derler , Christian Hanser , Daniel Slamanig
28th 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
Image document

Towards More Practical Time-Driven Cache Attacks

 Raphael Spreitzer , Benoît Gérard
8th 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
Image document

The Shortest Path Game: Complexity and Algorithms

 Andreas Darmann , Ulrich Pferschy , Joachim Schauer
8th 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
Image document

Plan It! Automated Security Testing Based on Planning

 Franz Wotawa , Josip Bozic
26th 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
Image document

A Defensive Virtual Machine Layer to Counteract Fault Attacks on Java Cards

 Michael Lackner , Reinhard Berlach , Wolfgang Raschke , Reinhold Weiss , Christian Steger
7th International Workshop on Information Security THeory and Practice (WISTP), May 2013, Heraklion, Greece. pp.82-97, ⟨10.1007/978-3-642-38530-8_6⟩
Conference papers hal-01485935v1
Image document

Modular Architecture for Adaptable Signature-Creation Tools

 Vesna Krnjic , Klaus Stranacher , Tobias Kellner , Andreas Fitzek
12th 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
Image document

Speeding Up the Fixed-Base Comb Method for Faster Scalar Multiplication on Koblitz Curves

 Christian Hanser , Christian Wagner
1st 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
Page :