BibTeX records: Martin A. Schneider

download as .bib file

@inproceedings{DBLP:conf/icst/GalaS23,
  author       = {Viraj R. Gala and
                  Martin A. Schneider},
  title        = {Evaluating the Effectiveness of Attacks and Defenses on Machine Learning
                  Through Adversarial Samples},
  booktitle    = {{IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2023 - Workshops, Dublin, Ireland, April 16-20,
                  2023},
  pages        = {90--97},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICSTW58534.2023.00027},
  doi          = {10.1109/ICSTW58534.2023.00027},
  timestamp    = {Wed, 07 Jun 2023 22:08:04 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/GalaS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/HackelSB23,
  author       = {Sascha Hackel and
                  Martin A. Schneider and
                  Ramon Barakat},
  title        = {Security-by-Design IoT Development and Certification with IoTAC},
  journal      = {{ERCIM} News},
  volume       = {2023},
  number       = {134},
  year         = {2023},
  url          = {https://ercim-news.ercim.eu/en134/r-i/security-by-design-iot-development-and-certification-with-iotac},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ercim/HackelSB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/BarakatCHRS21,
  author       = {Raman Barakat and
                  Faruk Catal and
                  Sascha Hackel and
                  Axel Rennoch and
                  Martin A. Schneider},
  editor       = {Gesellschaft f{\"{u}}r Informatik},
  title        = {Towards a certification scheme for IoT security evaluation},
  booktitle    = {51. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, {INFORMATIK}
                  2021 - Computer Science {\&} Sustainability, Berlin, Germany,
                  27. September - 1. Oktober, 2021},
  series       = {{LNI}},
  volume       = {{P-314}},
  pages        = {1789--1796},
  publisher    = {Gesellschaft f{\"{u}}r Informatik, Bonn},
  year         = {2021},
  url          = {https://doi.org/10.18420/informatik2021-156},
  doi          = {10.18420/INFORMATIK2021-156},
  timestamp    = {Fri, 08 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/BarakatCHRS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/LudtkeKBS21,
  author       = {Steffen L{\"{u}}dtke and
                  Roman Kraus and
                  Ramon Barakat and
                  Martin A. Schneider},
  title        = {Attack-based Automation of Security Testing for IoT Applications with
                  Genetic Algorithms and Fuzzing},
  booktitle    = {21st {IEEE} International Conference on Software Quality, Reliability
                  and Security, {QRS} 2021 - Companion, Hainan, China, December 6-10,
                  2021},
  pages        = {92--100},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/QRS-C55045.2021.00023},
  doi          = {10.1109/QRS-C55045.2021.00023},
  timestamp    = {Tue, 12 Apr 2022 17:57:49 +0200},
  biburl       = {https://dblp.org/rec/conf/qrs/LudtkeKBS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/SchneiderWAS20,
  author       = {Martin A. Schneider and
                  Marc{-}Florian Wendland and
                  Abdurrahman Akin and
                  Serafettin Sent{\"{u}}rk},
  title        = {Fuzzing of Mobile Application in the Banking Domain: a Case Study},
  booktitle    = {20th {IEEE} International Conference on Software Quality, Reliability
                  and Security Companion, {QRS} Companion 2020, Macau, China, December
                  11-14, 2020},
  pages        = {485--491},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/QRS-C51114.2020.00087},
  doi          = {10.1109/QRS-C51114.2020.00087},
  timestamp    = {Tue, 26 Jan 2021 17:41:14 +0100},
  biburl       = {https://dblp.org/rec/conf/qrs/SchneiderWAS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/WendlandS019,
  author       = {Marc{-}Florian Wendland and
                  Martin A. Schneider and
                  Andreas Hoffmann},
  editor       = {Tanja E. J. Vos and
                  Wishnu Prasetya and
                  Sinem Getir},
  title        = {Extending {UTP} 2 with cascading arbitration specifications},
  booktitle    = {Proceedings of the 10th {ACM} {SIGSOFT} International Workshop on
                  Automating {TEST} Case Design, Selection, and Evaluation, A-TEST@ESEC/SIGSOFT
                  {FSE} 2019, Tallinn, Estonia, August 16-17, 2019},
  pages        = {8--14},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3340433.3342821},
  doi          = {10.1145/3340433.3342821},
  timestamp    = {Tue, 27 Aug 2019 15:03:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/WendlandS019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/WendlandHSU18,
  author       = {Marc{-}Florian Wendland and
                  Niels Hoppe and
                  Martin A. Schneider and
                  Steven Ulrich},
  title        = {Extending the {UML} Testing Profile with a Fine-Grained Test Logging
                  Model},
  booktitle    = {2018 {IEEE} International Conference on Software Testing, Verification
                  and Validation Workshops, {ICST} Workshops, V{\"{a}}ster{\aa}s,
                  Sweden, April 9-13, 2018},
  pages        = {257--266},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/ICSTW.2018.00058},
  doi          = {10.1109/ICSTW.2018.00058},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/WendlandHSU18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/TcholtchevSS16,
  author       = {Nikolay Tcholtchev and
                  Martin A. Schneider and
                  Ina Schieferdecker},
  title        = {Systematic Analysis of Practical Issues in Test Automation for Communication
                  Based Systems},
  booktitle    = {Ninth {IEEE} International Conference on Software Testing, Verification
                  and Validation Workshops, {ICST} Workshops 2016, Chicago, IL, USA,
                  April 11-15, 2016},
  pages        = {250--256},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICSTW.2016.32},
  doi          = {10.1109/ICSTW.2016.32},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/TcholtchevSS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/WendlandBS16,
  author       = {Marc{-}Florian Wendland and
                  Ramon Barakat and
                  Martin A. Schneider},
  editor       = {Slimane Hammoudi and
                  Lu{\'{\i}}s Ferreira Pires and
                  Bran Selic and
                  Philippe Desfray},
  title        = {Enabling Data Flows in {UML} Interactions},
  booktitle    = {{MODELSWARD} 2016 - Proceedings of the 4rd International Conference
                  on Model-Driven Engineering and Software Development, Rome, Italy,
                  19-21 February, 2016},
  pages        = {250--257},
  publisher    = {SciTePress},
  year         = {2016},
  url          = {https://doi.org/10.5220/0005689002500257},
  doi          = {10.5220/0005689002500257},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/modelsward/WendlandBS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/risk/SchneiderWB16,
  author       = {Martin A. Schneider and
                  Marc{-}Florian Wendland and
                  Leon Bornemann},
  editor       = {J{\"{u}}rgen Gro{\ss}mann and
                  Michael Felderer and
                  Fredrik Seehusen},
  title        = {Gaining Certainty About Uncertainty - Testing Cyber-Physical Systems
                  in the Presence of Uncertainties at the Application Level},
  booktitle    = {Risk Assessment and Risk-Driven Quality Assurance - 4th International
                  Workshop, {RISK} 2016, Held in Conjunction with {ICTSS} 2016, Graz,
                  Austria, October 18, 2016, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10224},
  pages        = {129--142},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-57858-3\_10},
  doi          = {10.1007/978-3-319-57858-3\_10},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/risk/SchneiderWB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/SchneiderH15,
  author       = {Martin A. Schneider and
                  Steffen Herbold},
  title        = {Effizientere IT-Sicherheitstest mit Hilfe von Usagebased Testing},
  journal      = {Softwaretechnik-Trends},
  volume       = {35},
  number       = {1},
  year         = {2015},
  url          = {http://pi.informatik.uni-siegen.de/stt/35\_1/01\_Fachgruppenberichte/TAV/3\_Effizientere\_IT-Sicherheitstest\_mit\_Hilfe\_von\_Usage-based\_Testing.pdf},
  timestamp    = {Tue, 23 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stt/SchneiderH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/HerboldFGHHKMMN15,
  author       = {Steffen Herbold and
                  Alberto De Francesco and
                  Jens Grabowski and
                  Patrick Harms and
                  Lom{-}Messan Hillah and
                  Fabrice Kordon and
                  Ariele{-}Paolo Maesano and
                  Libero Maesano and
                  Claudia Di Napoli and
                  Fabio De Rosa and
                  Martin A. Schneider and
                  Nicola Tonellotto and
                  Marc{-}Florian Wendland and
                  Pierre{-}Henri Wuillemin},
  title        = {The {MIDAS} Cloud Platform for Testing {SOA} Applications},
  booktitle    = {8th {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2015, Graz, Austria, April 13-17, 2015},
  pages        = {1--8},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ICST.2015.7102636},
  doi          = {10.1109/ICST.2015.7102636},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/HerboldFGHHKMMN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/SchneiderWH15,
  author       = {Martin A. Schneider and
                  Marc{-}Florian Wendland and
                  Andreas Hoffmann},
  editor       = {Khaled El{-}Fakih and
                  Gerassimos D. Barlas and
                  Nina Yevtushenko},
  title        = {A Negative Input Space Complexity Metric as Selection Criterion for
                  Fuzz Testing},
  booktitle    = {Testing Software and Systems - 27th {IFIP} {WG} 6.1 International
                  Conference, {ICTSS} 2015, Sharjah and Dubai, United Arab Emirates,
                  November 23-25, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9447},
  pages        = {257--262},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-25945-1\_17},
  doi          = {10.1007/978-3-319-25945-1\_17},
  timestamp    = {Thu, 27 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/SchneiderWH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/risk/SchneiderHWG15,
  author       = {Martin A. Schneider and
                  Steffen Herbold and
                  Marc{-}Florian Wendland and
                  Jens Grabowski},
  editor       = {Fredrik Seehusen and
                  Michael Felderer and
                  J{\"{u}}rgen Gro{\ss}mann and
                  Marc{-}Florian Wendland},
  title        = {Improving Security Testing with Usage-Based Fuzz Testing},
  booktitle    = {Risk Assessment and Risk-Driven Testing - Third International Workshop,
                  {RISK} 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9488},
  pages        = {110--119},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-26416-5\_8},
  doi          = {10.1007/978-3-319-26416-5\_8},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/risk/SchneiderHWG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isctcs/RennochW0S14,
  author       = {Axel Rennoch and
                  Marc{-}Florian Wendland and
                  Andreas Hoffmann and
                  Martin A. Schneider},
  editor       = {Yueming Lu and
                  Xu Wu and
                  Xi Zhang},
  title        = {Advanced Test Modelling and Execution Based on the International Standardized
                  Techniques {TTCN-3} and {UTP}},
  booktitle    = {Trustworthy Computing and Services - International Conference, {ISCTCS}
                  2014, Beijing, China, November 28-29, 2014, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {520},
  pages        = {245--252},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-47401-3\_32},
  doi          = {10.1007/978-3-662-47401-3\_32},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isctcs/RennochW0S14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GrossmannSVW14,
  author       = {J{\"{u}}rgen Gro{\ss}mann and
                  Martin A. Schneider and
                  Johannes Viehmann and
                  Marc{-}Florian Wendland},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Combining Risk Analysis and Security Testing},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Specialized Techniques and Applications - 6th International Symposium,
                  ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8803},
  pages        = {322--336},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-45231-8\_23},
  doi          = {10.1007/978-3-662-45231-8\_23},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/GrossmannSVW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SchneiderGSP13,
  author       = {Martin A. Schneider and
                  J{\"{u}}rgen Gro{\ss}mann and
                  Ina Schieferdecker and
                  Andrej Pietschker},
  title        = {Online Model-Based Behavioral Fuzzing},
  booktitle    = {Sixth {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg,
                  March 18-22, 2013},
  pages        = {469--475},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICSTW.2013.61},
  doi          = {10.1109/ICSTW.2013.61},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/SchneiderGSP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/WendlandSH13,
  author       = {Marc{-}Florian Wendland and
                  Martin A. Schneider and
                  {\O}ystein Haugen},
  editor       = {Ana Moreira and
                  Bernhard Sch{\"{a}}tz and
                  Jeff Gray and
                  Antonio Vallecillo and
                  Peter J. Clarke},
  title        = {Evolution of the {UML} Interactions Metamodel},
  booktitle    = {Model-Driven Engineering Languages and Systems - 16th International
                  Conference, {MODELS} 2013, Miami, FL, USA, September 29 - October
                  4, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8107},
  pages        = {405--421},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41533-3\_25},
  doi          = {10.1007/978-3-642-41533-3\_25},
  timestamp    = {Mon, 21 Jun 2021 12:26:18 +0200},
  biburl       = {https://dblp.org/rec/conf/models/WendlandSH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automotiveSS/JakobKSGMSF12,
  author       = {Felix Jakob and
                  Wolfgang Kremer and
                  Andreas Schulze and
                  J{\"{u}}rgen Gro{\ss}mann and
                  Nadja Menz and
                  Martin A. Schneider and
                  Alain{-}Georges Vouffo Feudjio},
  editor       = {Erhard Pl{\"{o}}dereder and
                  Peter Dencker and
                  Herbert Klenk and
                  Hubert B. Keller and
                  Silke Spitzer},
  title        = {Risk-based testing of Bluetooth functionality in an automotive environment},
  booktitle    = {Automotive - Safety {\&} Security 2012, Sicherheit und Zuverl{\"{a}}ssigkeit
                  f{\"{u}}r automobile Informationstechnik, 14.-15. November 2012,
                  Karlsruhe, Proceedings},
  series       = {{LNI}},
  volume       = {{P-210}},
  pages        = {211--228},
  publisher    = {{GI}},
  year         = {2012},
  url          = {https://dl.gi.de/handle/20.500.12116/17558},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automotiveSS/JakobKSGMSF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/SchneiderGTSP12,
  author       = {Martin A. Schneider and
                  J{\"{u}}rgen Gro{\ss}mann and
                  Nikolay Tcholtchev and
                  Ina Schieferdecker and
                  Andrej Pietschker},
  editor       = {{\O}ystein Haugen and
                  Rick Reed and
                  Reinhard Gotzhein},
  title        = {Behavioral Fuzzing Operators for {UML} Sequence Diagrams},
  booktitle    = {System Analysis and Modeling: Theory and Practice - 7th International
                  Workshop, {SAM} 2012, Innsbruck, Austria, October 1-2, 2012. Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7744},
  pages        = {88--104},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-36757-1\_6},
  doi          = {10.1007/978-3-642-36757-1\_6},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sam/SchneiderGTSP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-6118,
  author       = {Ina Schieferdecker and
                  Juergen Grossmann and
                  Martin A. Schneider},
  editor       = {Alexander K. Petrenko and
                  Holger Schlingloff},
  title        = {Model-Based Security Testing},
  booktitle    = {Proceedings 7th Workshop on Model-Based Testing, {MBT} 2012, Tallinn,
                  Estonia, 25 March 2012},
  series       = {{EPTCS}},
  volume       = {80},
  pages        = {1--12},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.80.1},
  doi          = {10.4204/EPTCS.80.1},
  timestamp    = {Wed, 12 Sep 2018 01:05:16 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1202-6118.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics