Dimitris E. Simos

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 84

Top Venues

Publications

Berina Celic, Klaus Kieseberg, Bernhard Garn, Dimitris E. Simos
Disaster Incident Analysis via Algebra Stories. Math. Comput. Sci. 18 (2) (2024)
Christoph Wech, Reinhard Kugler, Manuel Leithner, Dimitris E. Simos
Combinatorial Testing Methods for Reverse Engineering Undocumented CAN Bus Functionality. ARES (2024)
Manuel Leithner, Andrea Bombarda, Michael Wagner, Angelo Gargantini, Dimitris E. Simos
State of the CArt: evaluating covering array generators at scale. Int. J. Softw. Tools Technol. Transf. 26 (3) (2024)
Bernhard Garn, Dominik-Philip Schreiber, Dimitris E. Simos, Rick Kuhn, Jeffrey M. Voas, Raghu Kacker
Summary of Combinatorial methods for testing Internet of Things smart home systems. ICSTW (2023)
Bernhard Garn, Jovan Zivanovic, Manuel Leithner, Dimitris E. Simos
Summary of Combinatorial Methods for Dynamic Gray-Box SQL Injection Testing. ICSTW (2023)
Ludwig Kampel, Paris Kitsos, Dimitris E. Simos
Summary of Locating Hardware Trojans using Combinatorial Testing for Cryptographic Circuits. ICSTW (2023)
Bernhard Garn, Klaus Kieseberg, Ceren Çulha, Marlene Koelbing, Dimitris E. Simos
A Mathematical Approach on the Use of Integer Partitions for Smurfing in Cryptocurrencies. MARBLE (2023)
Jovan Zivanovic, Manuel Leithner, Dimitris E. Simos, Michael Pitzer, Peter J. Slanina
Combinatorial Methods for HTML Sanitizer Security Testing. ICSTW (2023)
Ilias S. Kotsireas, Panos M. Pardalos, Dimitris E. Simos
Preface: Selected revised papers from the LION 15 conference. Ann. Math. Artif. Intell. 91 (2) (2023)
Ilias S. Kotsireas, Dimitris E. Simos, Ali Kemal Uncu
Foreword. Math. Comput. Sci. 17 (1) (2023)
Michael Wagner, Charles J. Colbourn, Dimitris E. Simos
Summary of In-Parameter-Order strategies for covering perfect hash families. ICSTW (2023)
Ilias S. Kotsireas, Panos M. Pardalos, Dimitris E. Simos
Correction to: Preface: Selected revised papers from the LION 15 conference. Ann. Math. Artif. Intell. 91 (6) (2023)
Bernhard Garn, Klaus Kieseberg, Dominik-Philip Schreiber, Dimitris E. Simos
Combinatorial Sequences for Disaster Scenario Generation. Oper. Res. Forum 4 (2) (2023)
Ryan E. Dougherty, Kristoffer Kleine, Michael Wagner, Charles J. Colbourn, Dimitris E. Simos
Algorithmic methods for covering arrays of higher index. J. Comb. Optim. 45 (1) (2023)
Ludwig Kampel, Michael Wagner, Dimitris E. Simos, Mihai Nica, Dino Dodig, David Kaufmann, Franz Wotawa
Applying CT-FLA for AEB Function Testing: A Virtual Driving Case Study. ICSTW (2023)
Huadong Feng, Xiaolei Ren, Qiping Wei, Yu Lei, Raghu Kacker, D. Richard Kuhn, Dimitris E. Simos
MagicMirror: Towards High-Coverage Fuzzing of Smart Contracts. ICST (2023)
Bernhard Garn, Ludwig Kampel, Manuel Leithner, Berina Celic, Ceren Çulha, Irene Hiess, Klaus Kieseberg, Marlene Koelbing, Dominik-Philip Schreiber, Michael Wagner, Christoph Wech, Jovan Zivanovic, Dimitris E. Simos
Applying Pairwise Combinatorial Testing to Large Language Model Testing. ICTSS (2023)
Bernhard Garn, Stefan Zauner, Dimitris E. Simos, Manuel Leithner, D. Richard Kuhn, Raghu Kacker
A Two-Step TLS-Based Browser fingerprinting approach using combinatorial sequences. Comput. Secur. 114 (2022)
Irene Hiess, Ludwig Kampel, Michael Wagner, Dimitris E. Simos
IPO-MAXSAT: Combining the In-Parameter-Order Strategy for Covering Array Generation with MaxSAT Solving (Extended Abstract). SOCS (2022)
Ludwig Kampel, Michael Wagner, Ilias S. Kotsireas, Dimitris E. Simos
A primer on the application of neural networks to covering array generation. Optim. Methods Softw. 37 (3) (2022)
Raghu N. Kacker, D. Richard Kuhn, Yu Lei, Dimitris E. Simos
Measuring the Adequacy of a Test Suite With Respect to a Modeled Test Space. IEEE Softw. 39 (5) (2022)
Bernhard Garn, Jovan Zivanovic, Manuel Leithner, Dimitris E. Simos
Combinatorial methods for dynamic gray-box SQL injection testing. Softw. Test. Verification Reliab. 32 (6) (2022)
Bernhard Garn, Klaus Kieseberg, Berina Celic, Dimitris E. Simos
From Design of Experiments to Combinatorics of Disasters: A Conceptual Framework for Disaster Exercises. LION (2022)
Ludwig Kampel, Dimitris E. Simos, D. Richard Kuhn, Raghu N. Kacker
An exploration of combinatorial testing-based approaches to fault localization for explainable AI. Ann. Math. Artif. Intell. 90 (7) (2022)
Manuel Leithner, Dimitris E. Simos
: Practical Archival and Compression of Covering Arrays. ICST Workshops (2022)
Irene Hiess, Ludwig Kampel, Michael Wagner, Dimitris E. Simos
IPO-MAXSAT: The In-Parameter-Order Strategy combined with MaxSAT solving for Covering Array Generation. SYNASC (2022)
Michael Wagner, Manuel Leithner, Dimitris E. Simos, Rick Kuhn, Raghu Kacker
Developing multithreaded techniques and improved constraint handling for the tool CAgen. ICST Workshops (2022)
Michael Wagner, Charles J. Colbourn, Dimitris E. Simos
In-Parameter-Order strategies for covering perfect hash families. Appl. Math. Comput. 421 (2022)
Ludwig Kampel, Paris Kitsos, Dimitris E. Simos
Locating Hardware Trojans Using Combinatorial Testing for Cryptographic Circuits. IEEE Access 10 (2022)
Bernhard Garn, Dominik-Philip Schreiber, Dimitris E. Simos, Rick Kuhn, Jeffrey M. Voas, Raghu Kacker
Combinatorial methods for testing Internet of Things smart home systems. Softw. Test. Verification Reliab. 32 (2) (2022)
Michael Wagner, Ludwig Kampel, Dimitris E. Simos
Heuristically Enhanced IPO Algorithms for Covering Array Generation. IWOCA (2021)
Raghu N. Kacker, D. Richard Kuhn, Yu Lei, Dimitris E. Simos
Factorials Experiments, Covering Arrays, and Combinatorial Testing. Math. Comput. Sci. 15 (4) (2021)
Manuel Leithner, Bernhard Garn, Dimitris E. Simos
HYDRA: Feedback-driven black-box exploitation of injection vulnerabilities. Inf. Softw. Technol. 140 (2021)
Raghu N. Kacker, D. Richard Kuhn, Yu Lei, Dimitris E. Simos
Correction to: Factorials Experiments, Covering Arrays, and Combinatorial Testing. Math. Comput. Sci. 15 (4) (2021)
Bernhard Garn, Daniel Sebastian Lang, Manuel Leithner, D. Richard Kuhn, Raghu Kacker, Dimitris E. Simos
Combinatorially XSSing Web Application Firewalls. ICST Workshops (2021)
Ludwig Kampel, Manuel Leithner, Dimitris E. Simos
Sliced AETG: a memory-efficient variant of the AETG covering array generation algorithm. Optim. Lett. 14 (6) (2020)
Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos
Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques. Ann. Math. Artif. Intell. 88 (1-3) (2020)
D. Richard Kuhn, Raghu N. Kacker, Yu Lei, Dimitris E. Simos
Combinatorial Methods for Explainable AI. ICST Workshops (2020)
Manuel Leithner, Dimitris E. Simos
XIEv: dynamic analysis for crawling and modeling of web applications. SAC (2020)
Michael Wagner, Kristoffer Kleine, Dimitris E. Simos, Rick Kuhn, Raghu Kacker
CAGEN: A fast combinatorial test generation tool with support for constraints and higher-index arrays. ICST Workshops (2020)
Dimitris E. Simos, Jeff Yu Lei, Changhai Nie
General Message from the IWCT Workshop Chairs. ICST Workshops (2020)
Rick Kuhn, Raghu N. Kacker, Yu Lei, Dimitris E. Simos
Input Space Coverage Matters. Computer 53 (1) (2020)
Bernhard Garn, Marco Radavelli, Angelo Gargantini, Manuel Leithner, Dimitris E. Simos
A Fault-Driven Combinatorial Process for Model Evolution in XSS Vulnerability Detection. IEA/AIE (2019)
Ludwig Kampel, Dimitris E. Simos, Bernhard Garn, Ilias S. Kotsireas, Evgeny Zhereshchin
Algebraic Models for Arbitrary Strength Covering Arrays over v-ary Alphabets. CAI (2019)
Dimitris E. Simos, Jovan Zivanovic, Manuel Leithner
Automated combinatorial testing for detecting SQL vulnerabilities in web applications. AST@ICSE (2019)
Riley Smith, Darryl C. Jarman, Raghu Kacker, D. Richard Kuhn, Dimitris E. Simos, Ludwig Kampel, Manuel Leithner, Gabe Gosney
Applying Combinatorial Testing to Large-Scale Data Processing at Adobe. ICST Workshops (2019)
Ludwig Kampel, Dimitris E. Simos
A survey on the state of the art of complexity problems for covering arrays. Theor. Comput. Sci. 800 (2019)
Riley Smith, Darryl C. Jarman, Jared Bellows, D. Richard Kuhn, Raghu Kacker, Dimitris E. Simos
Measuring Combinatorial Coverage at Adobe. ICST Workshops (2019)
Bernhard Garn, Dimitris E. Simos, Feng Duan, Yu Lei, Josip Bozic, Franz Wotawa
Weighted Combinatorial Sequence Testing for the TLS Protocol. ICST Workshops (2019)
Dimitris E. Simos, Bernhard Garn, Ludwig Kampel, D. Richard Kuhn, Raghu N. Kacker
Knowledge Extraction for Cryptographic Algorithm Validation Test Vectors by Means of Combinatorial Coverage Measurement. CD-MAKE (2019)
Dimitris E. Simos, Josip Bozic, Bernhard Garn, Manuel Leithner, Feng Duan, Kristoffer Kleine, Yu Lei, Franz Wotawa
Testing TLS using planning-based combinatorial methods and execution framework. Softw. Qual. J. 27 (2) (2019)
Michael Wagner, Ludwig Kampel, Dimitris E. Simos
Quantum-Inspired Evolutionary Algorithms for Covering Arrays of Arbitrary Strength. SEA² (2019)
Ludwig Kampel, Michael Wagner, Ilias S. Kotsireas, Dimitris E. Simos
How to Use Boltzmann Machines and Neural Networks for Covering Array Generation. LION (2019)
Dimitris E. Simos, Bernhard Garn, Jovan Zivanovic, Manuel Leithner
Practical Combinatorial Testing for XSS Detection using Locally Optimized Attack Models. ICST Workshops (2019)
Ludwig Kampel, Manuel Leithner, Bernhard Garn, Dimitris E. Simos
Problems and algorithms for covering arrays via set covers. Theor. Comput. Sci. 800 (2019)
Bernhard Garn, Dimitris E. Simos, Stefan Zauner, Rick Kuhn, Raghu Kacker
Browser fingerprinting using combinatorial sequence testing. HotSoS (2019)
Michael Wagner, Ludwig Kampel, Dimitris E. Simos
IPO-Q: A Quantum-Inspired Approach to the IPO Strategy Used in CA Generation. MACIS (2019)
Dimitris E. Simos, Ludwig Kampel, Murat Ozcan
Combinatorial Methods for Testing Communication Protocols in Smart Cities. LION (2018)
Lucia Moura, Dimitris E. Simos
Preface. Electron. Notes Discret. Math. 65 (2018)
Ludwig Kampel, Bernhard Garn, Dimitris E. Simos
Covering Arrays via Set Covers. Electron. Notes Discret. Math. 65 (2018)
Dimitris E. Simos, Rick Kuhn, Yu Lei, Raghu Kacker
Combinatorial security testing course. HotSoS (2018)
Kristoffer Kleine, Dimitris E. Simos
An Efficient Design and Implementation of the In-Parameter-Order Algorithm. Math. Comput. Sci. 12 (1) (2018)
Kristoffer Kleine, Ilias S. Kotsireas, Dimitris E. Simos
Evaluation of Tie-Breaking and Parameter Ordering for the IPO Family of Algorithms Used in Covering Array Generation. IWOCA (2018)
Manuel Leithner, Dimitris E. Simos
DOMdiff: Identification and Classification of Inter-DOM Modifications. WI (2018)
Bernhard Garn, Dimitris E. Simos
Algebraic Techniques for Covering Arrays and related Structures. Electron. Notes Discret. Math. 70 (2018)
Bernhard Garn, Dimitris E. Simos
Weighted t-way Sequences. Electron. Notes Discret. Math. 70 (2018)
Manuel Leithner, Kristoffer Kleine, Dimitris E. Simos
CAMETRICS: A Tool for Advanced Combinatorial Analysis and Measurement of Test Sets. ICST Workshops (2018)
Ludwig Kampel, Bernhard Garn, Dimitris E. Simos
Combinatorial Methods for Modelling Composed Software Systems. ICST Workshops (2017)
Josip Bozic, Kristoffer Kleine, Dimitris E. Simos, Franz Wotawa
Planning-Based Security Testing of the SSL/TLS Protocol. ICST Workshops (2017)
Dimitris E. Simos, Josip Bozic, Feng Duan, Bernhard Garn, Kristoffer Kleine, Yu Lei, Franz Wotawa
Testing TLS Using Combinatorial Methods and Execution Framework. ICTSS (2017)
Kristoffer Kleine, Dimitris E. Simos
Coveringcerts: Combinatorial Methods for X.509 Certificate Testing. ICST (2017)
Bernhard Garn, Fabian Würfl, Dimitris E. Simos
KERIS: A CT Tool of the Linux Kernel with Dynamic Memory Analysis Capabilities. Haifa Verification Conference (2017)
Dimitris E. Simos, Rachel Tzoref-Brill
IWCT 2017 Organizers. ICST Workshops (2017)
Dimitris E. Simos, Rachel Tzoref-Brill
General Message from the IWCT Workshop Chairs. ICST Workshops (2017)
Dimitris E. Simos, Kristoffer Kleine, Artemios G. Voyiatzis, Rick Kuhn, Raghu Kacker
TLS Cipher Suites Recommendations: A Combinatorial Coverage Measurement Approach. QRS (2016)
Christoph Pacher, Philipp Grabenweger, Dimitris E. Simos
Weight distribution of the syndrome of linear codes and connections to combinatorial designs. ISIT (2016)
Dimitris E. Simos, Kristoffer Kleine, Laleh Shikh Gholamhossein Ghandehari, Bernhard Garn, Yu Lei
A Combinatorial Approach to Analyzing Cross-Site Scripting (XSS) Vulnerabilities in Web Application Security Testing. ICTSS (2016)
Dimitris E. Simos, Rick Kuhn, Artemios G. Voyiatzis, Raghu Kacker
Combinatorial Methods in Security Testing. Computer 49 (10) (2016)
Ludwig Kampel, Dimitris E. Simos
Set-Based Algorithms for Combinatorial Test Set Generation. ICTSS (2016)
Dimitris E. Simos
SPLIT: Security Protocol Interaction Testing in Practice. ERCIM News 2016 (106) (2016)
Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos
Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification. RTA (2015)
Josip Bozic, Bernhard Garn, Dimitris E. Simos, Franz Wotawa
Evaluation of the IPO-Family algorithms for test case generation in web security testing. ICST Workshops (2015)
Paris Kitsos, Dimitris E. Simos, Jose Torres-Jimenez, Artemios G. Voyiatzis
Exciting FPGA cryptographic Trojans using combinatorial testing. ISSRE (2015)
Josip Bozic, Bernhard Garn, Ioannis Kapsalis, Dimitris E. Simos, Severin Winkler, Franz Wotawa
Attack Pattern-Based Combinatorial Testing with Constraints for Web Security Testing. QRS (2015)
Andreas Bernauer, Josip Bozic, Dimitris E. Simos, Severin Winkler, Franz Wotawa
Retaining Consistency for Knowledge-Based Security Testing. IEA/AIE (2) (2014)
Bernhard Garn, Dimitris E. Simos
Eris: A Tool for Combinatorial Testing of the Linux System Call Interface. ICST Workshops (2014)
Bernhard Garn, Ioannis Kapsalis, Dimitris E. Simos, Severin Winkler
On the applicability of combinatorial testing to web application security testing: a case study. JAMAICA@ISSTA (2014)
Stefanie Falkner, Peter Kieseberg, Dimitris E. Simos, Christina Traxler, Edgar R. Weippl
E-voting Authentication with QR-codes. HCI (24) (2014)
Josip Bozic, Dimitris E. Simos, Franz Wotawa
Attack pattern-based combinatorial testing. AST (2014)
Nicolas Sendrier, Dimitris E. Simos
The Hardness of Code Equivalence over and Its Application to Code-Based Cryptography. PQCrypto (2013)
Christos Koukouvinos, Christina Parpoula, Dimitris E. Simos
Genetic Algorithm and Data Mining Techniques for Design Selection in Databases. ARES (2013)
Aleksandar Hudic, Elise Revell, Dimitris E. Simos
A Generation Method of Cryptographic Keys for Enterprise Communication Systems. ARES (2013)
Ilias S. Kotsireas, Christos Koukouvinos, Panos M. Pardalos, Dimitris E. Simos
Competent genetic algorithms for weighing matrices. J. Comb. Optim. 24 (4) (2012)
Christos Koukouvinos, Dimitris E. Simos
Combinatorial Optimization for Weighing Matrices with the Ordering Messy Genetic Algorithm. SEA (2011)
Christos Koukouvinos, Dimitris E. Simos
Quasi-Cyclic Codes from Cyclic-Structured Designs with Good Properties. Discret. Math. Algorithms Appl. 3 (2) (2011)
Christos Koukouvinos, Dimitris E. Simos, Zafeirakis Zafeirakopoulos
An algebraic framework for extending orthogonal designs. ACM Commun. Comput. Algebra 45 (1/2) (2011)
Christos Koukouvinos, Veronika Pillwein, Dimitris E. Simos, Zafeirakis Zafeirakopoulos
On the average complexity for the verification of compatible sequences. Inf. Process. Lett. 111 (17) (2011)
Christos Koukouvinos, Dimitris E. Simos, Zlatko Varbanov
Hadamard Matrices, Designs and Their Secret-Sharing Schemes. CAI (2011)
Christos Koukouvinos, Dimitris E. Simos
Further results on ternary complementary sequences, orthogonal designs and weighing matrices. Australas. J Comb. 50 (2011)
Ilias S. Kotsireas, Christos Koukouvinos, Jennifer Seberry, Dimitris E. Simos
New classes of orthogonal designs constructed from complementary sequences with given spread. Australas. J Comb. 46 (2010)

Dimitris E. Simos.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dimitris E. Simos