default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBernhard K. Aichernig
Person information
- affiliation: Graz University of Technology, Institute for Software Technology, Austria
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j30]Bernhard K. Aichernig
, Martin Tappler, Felix Wallner:
Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning. Formal Aspects Comput. 36(1): 3:1-3:37 (2024)- [j29]Renata Martins Gomes, Bernhard K. Aichernig, Marcel Baunach:
A framework for embedded software portability and verification: from formal models to low-level code. Softw. Syst. Model. 23(2): 289-315 (2024) - [j28]Renata Martins Gomes, Bernhard K. Aichernig, Marcel Baunach:
Correction: A framework for embedded software portability and verification: from formal models to low-level code. Softw. Syst. Model. 23(2): 317 (2024) - [j27]Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill:
Active model learning of stochastic reactive systems (extended version). Softw. Syst. Model. 23(2): 503-524 (2024) - [j26]Bernhard K. Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher, Martin Tappler:
Learning minimal automata with recurrent neural networks. Softw. Syst. Model. 23(3): 625-655 (2024) - [c107]Edi Muskardin, Martin Tappler, Ingo Pill, Bernhard K. Aichernig, Thomas Pock:
On the Relationship Between RNN Hidden-State Vectors and Semantic Structures. ACL (Findings) 2024: 5641-5658 - [c106]Martin Tappler, Andrea Pferscher, Bernhard K. Aichernig, Bettina Könighofer:
Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data. ICSE 2024: 6:1-6:13 - [c105]Felix Wallner, Bernhard K. Aichernig, Christian Burghard:
It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining from Noisy Data. ICSE 2024: 29:1-29:13 - [c104]Edi Muskardin, Tamim Burgstaller, Martin Tappler, Bernhard K. Aichernig:
Active Model Learning of Git Version Control System. ICSTW 2024: 78-82 - [c103]Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Bettina Köninghofer:
Learning Environment Models with Continuous Stochastic Dynamics - with an Application to Deep RL Testing. ICST 2024: 197-208 - 2023
- [c102]Andrea Pferscher, Benjamin Wunderling, Bernhard K. Aichernig, Edi Muskardin:
Mining Digital Twins of a VPN Server. FMDT@FM 2023 - [c101]Edi Muskardin, Martin Tappler, Bernhard K. Aichernig:
Testing-based Black-box Extraction of Simple Models from RNNs and Transformers. ICGI 2023: 291-294 - [c100]Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill:
Reinforcement Learning Under Partial Observability Guided by Learned Environment Models. iFM 2023: 257-276 - [c99]Martin Tappler, Bernhard K. Aichernig:
Differential Safety Testing of Deep RL Agents Enabled by Automata Learning. AISoLA 2023: 138-159 - [i11]Edi Muskardin, Martin Tappler, Ingo Pill, Bernhard K. Aichernig, Thomas Pock:
On the Relationship Between RNN Hidden State Vectors and Semantic Ground Truth. CoRR abs/2306.16854 (2023) - [i10]Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Bettina Könighofer:
Learning Environment Models with Continuous Stochastic Dynamics. CoRR abs/2306.17204 (2023) - 2022
- [j25]Andrea Pferscher, Bernhard K. Aichernig:
Fingerprinting and analysis of Bluetooth devices with automata learning. Formal Methods Syst. Des. 61(1): 35-62 (2022) - [j24]Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler:
AALpy: an active automata learning library. Innov. Syst. Softw. Eng. 18(3): 417-426 (2022) - [c98]Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Martin Tappler:
Learning Finite State Models fromRecurrent Neural Networks. IFM 2022: 229-248 - [c97]Martin Tappler, Filip Cano Córdoba, Bernhard K. Aichernig, Bettina Könighofer:
Search-Based Testing of Reinforcement Learning. IJCAI 2022: 503-510 - [c96]Andrea Pferscher, Bernhard K. Aichernig:
Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning. NFM 2022: 373-392 - [c95]Martin Tappler, Bernhard K. Aichernig, Florian Lorber:
Timed Automata Learning via SMT Solving. NFM 2022: 489-507 - [c94]Bernhard K. Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher, Dominik Schmidt, Martin Tappler:
Constrained Training of Recurrent Neural Networks for Automata Learning. SEFM 2022: 155-172 - [c93]Bernhard K. Aichernig, Edi Muskardin, Andrea Pferscher:
Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols. FMAS/ASYDE@SEFM 2022: 1-19 - [i9]Martin Tappler, Filip Cano Córdoba, Bernhard K. Aichernig, Bettina Könighofer:
Search-Based Testing of Reinforcement Learning. CoRR abs/2205.04887 (2022) - [i8]Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill:
Reinforcement Learning under Partial Observability Guided by Learned Environment Models. CoRR abs/2206.11708 (2022) - [i7]Andrea Pferscher, Bernhard K. Aichernig:
Fingerprinting and Analysis of Bluetooth Devices with Automata Learning. CoRR abs/2211.16074 (2022) - 2021
- [j23]Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen:
L*-based learning of Markov decision processes (extended version). Formal Aspects Comput. 33(4-5): 575-615 (2021) - [c92]Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler:
AALpy: An Active Automata Learning Library. ATVA 2021: 67-73 - [c91]Andrea Pferscher, Bernhard K. Aichernig:
Fingerprinting Bluetooth Low Energy Devices via Active Automata Learning. FM 2021: 524-542 - [c90]Bernhard K. Aichernig, Edi Muskardin, Andrea Pferscher:
Learning-Based Fuzzing of IoT Message Brokers. ICST 2021: 47-58 - [c89]Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Ingo Pill:
Active Model Learning of Stochastic Reactive Systems. SEFM 2021: 481-500 - 2020
- [j22]Mehrdad Saadatmand, Birgitta Lindström, Bernhard K. Aichernig:
Special issue on testing extra-functional properties. Softw. Test. Verification Reliab. 30(1) (2020) - [c88]Bernhard K. Aichernig, Benedikt Maderbacher:
Step-Wise Development of Provably Correct Actor Systems. ISoLA (1) 2020: 426-448 - [c87]Bernhard K. Aichernig, Andrea Pferscher, Martin Tappler:
From Passive to Active: Learning Timed Automata Efficiently. NFM 2020: 1-19 - [c86]Bernhard K. Aichernig, Christian Burghard:
Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT. ICTSS 2020: 35-51 - [c85]Andrea Pferscher, Bernhard K. Aichernig:
Learning Abstracted Non-deterministic Finite State Machines. ICTSS 2020: 52-69 - [c84]Renata Martins Gomes, Bernhard K. Aichernig, Marcel Baunach:
A Formal Modeling Approach for Portable Low-Level OS Functionality. SEFM 2020: 155-174 - [c83]Bernhard K. Aichernig, Martin Tappler, Felix Wallner:
Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning. TAP@STAF 2020: 3-22
2010 – 2019
- 2019
- [j21]Bernhard K. Aichernig, Martin Tappler:
Probabilistic black-box reachability checking (extended version). Formal Methods Syst. Des. 54(3): 416-448 (2019) - [j20]Bernhard K. Aichernig, Martin Tappler:
Efficient Active Automata Learning via Mutation Testing. J. Autom. Reason. 63(4): 1103-1134 (2019) - [j19]Bernhard K. Aichernig, Richard Schumi:
Property-based testing of web services by deriving properties from business-rule models. Softw. Syst. Model. 18(2): 889-911 (2019) - [j18]Bernhard K. Aichernig, Priska Bauerstätter, Elisabeth Jöbstl, Severin Kann, Robert Korosec, Willibald Krenn, Cristinel Mateis, Rupert Schlick, Richard Schumi:
Learning and statistical model checking of system response times. Softw. Qual. J. 27(2): 757-795 (2019) - [c82]Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen:
L*-Based Learning of Markov Decision Processes. FM 2019: 651-669 - [c81]Martin Tappler, Bernhard K. Aichernig, Kim Guldstrand Larsen, Florian Lorber:
Time to Learn - Learning Timed Automata from Tests. FORMATS 2019: 216-235 - [c80]Bernhard K. Aichernig, Benedikt Maderbacher, Stefan Tiran:
Programming Behavioral Test Models for SMT Solving in Scala. ICST Workshops 2019: 52-60 - [c79]Bernhard K. Aichernig, Christian Burghard, Robert Korosec:
Learning-Based Testing of an Industrial Measurement Device. NFM 2019: 1-18 - [c78]Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Horn, Franz Pernkopf, Wolfgang Roth, Astrid Rupp, Martin Tappler, Markus Tranninger:
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning. ICTSS 2019: 3-21 - [c77]Bernhard K. Aichernig, Franz Pernkopf, Richard Schumi, Andreas Wurm:
Predicting and Testing Latencies with Deep Learning: An IoT Case Study. TAP@FM 2019: 93-111 - [c76]Bernhard K. Aichernig:
A Testing Perspective on Algebraic, Denotational, and Operational Semantics. UTP 2019: 22-38 - [i6]Martin Tappler, Bernhard K. Aichernig, Roderick Bloem:
Model-Based Testing IoT Communication via Active Automata Learning. CoRR abs/1904.07075 (2019) - [i5]Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen:
L*-Based Learning of Markov Decision Processes (Extended Version). CoRR abs/1906.12239 (2019) - [i4]Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Horn, Franz Pernkopf, Wolfgang Roth, Astrid Rupp, Martin Tappler, Markus Tranninger:
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version). CoRR abs/1907.04708 (2019) - 2018
- [j17]Bernhard K. Aichernig, Carlo A. Furia, Marie-Claude Gaudel, Robert M. Hierons:
Special section of Tests and Proofs 2016. Formal Aspects Comput. 30(6): 627-628 (2018) - [c75]Bernhard K. Aichernig, Wojciech Mostowski, Mohammad Reza Mousavi, Martin Tappler, Masoumeh Taromirad:
Model Learning and Model-Based Testing. Machine Learning for Dynamic Software Analysis 2018: 74-100 - [c74]Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Tappler, Johannes Winter:
Automata Learning for Symbolic Execution. FMCAD 2018: 1-9 - [c73]Bernhard K. Aichernig, Richard Schumi:
How Fast Is MQTT? - Statistical Model Checking and Testing of IoT Protocols. QEST 2018: 36-52 - [c72]Bernhard K. Aichernig, Severin Kann, Richard Schumi:
Statistical Model Checking of Response Times for Different System Deployments. SETTA 2018: 153-169 - [i3]Martin Tappler, Bernhard K. Aichernig, Kim Guldstrand Larsen, Florian Lorber:
Learning Timed Automata via Genetic Programming. CoRR abs/1808.07744 (2018) - 2017
- [j16]Bernhard Großwindhager, Astrid Rupp, Martin Tappler, Markus Tranninger, Samuel Weiser, Bernhard K. Aichernig, Carlo Alberto Boano, Martin Horn, Gernot Kubin, Stefan Mangard, Martin Steinberger, Kay Römer:
Dependable Internet of Things for Networked Cars. Int. J. Comput. 16: 226-237 (2017) - [j15]Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig:
Bounded determinization of timed automata with silent transitions. Real Time Syst. 53(3): 291-326 (2017) - [j14]Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran:
Require, test, and trace IT. Int. J. Softw. Tools Technol. Transf. 19(4): 409-426 (2017) - [c71]Martin Tappler, Bernhard K. Aichernig, Roderick Bloem:
Model-Based Testing IoT Communication via Active Automata Learning. ICST 2017: 276-287 - [c70]Bernhard K. Aichernig, Silvio Marcovic, Richard Schumi:
Property-Based Testing with External Test-Case Generators. ICST Workshops 2017: 337-346 - [c69]Bernhard K. Aichernig, Richard Schumi:
Statistical Model Checking Meets Property-Based Testing. ICST 2017: 390-400 - [c68]Bernhard K. Aichernig, Martin Tappler:
Learning from Faults: Mutation Testing in Active Automata Learning. NFM 2017: 19-34 - [c67]Richard Schumi, Priska Lang, Bernhard K. Aichernig, Willibald Krenn, Rupert Schlick:
Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles. ICTSS 2017: 293-310 - [c66]Bernhard K. Aichernig, Martin Tappler:
Probabilistic Black-Box Reachability Checking. RV 2017: 50-67 - 2016
- [j13]Bernhard K. Aichernig, Elisabeth Jöbstl, Martin Tappler:
Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation. J. Log. Algebraic Methods Program. 85(5): 806-823 (2016) - [c65]Bernhard K. Aichernig, Florian Lorber, Martin Tappler:
Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking. Theory and Practice of Formal Methods 2016: 15-32 - [c64]Bernhard K. Aichernig, Richard Schumi:
Property-Based Testing with FsCheck by Deriving Properties from Business Rule Models. ICST Workshops 2016: 219-228 - [c63]Bernhard K. Aichernig, Richard Schumi:
Towards integrating statistical model checking into property-based testing. MEMOCODE 2016: 71-76 - [c62]Bernhard K. Aichernig, Florian Lorber:
On-the-Fly Determinization of Bounded Networks of Timed Automata. TASE 2016: 14-21 - [e5]Bernhard K. Aichernig, Carlo A. Furia:
Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings. Lecture Notes in Computer Science 9762, Springer 2016, ISBN 978-3-319-41134-7 [contents] - 2015
- [j12]Bernhard K. Aichernig, Elisabeth Jöbstl, Stefan Tiran:
Model-based mutation testing via symbolic refinement checking. Sci. Comput. Program. 97: 383-404 (2015) - [j11]Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn, Rupert Schlick, Stefan Tiran:
Killing strategies for model-based mutation testing. Softw. Test. Verification Reliab. 25(8): 716-748 (2015) - [c61]Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran:
Require, Test and Trace IT. FMICS 2015: 113-127 - [c60]Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig:
Bounded Determinization of Timed Automata with Silent Transitions. FORMATS 2015: 288-304 - [c59]Bernhard K. Aichernig, Florian Lorber:
Towards generation of adaptive test cases from partial models of determinized timed automata. ICST Workshops 2015: 1-6 - [c58]Willibald Krenn, Rupert Schlick, Stefan Tiran, Bernhard K. Aichernig, Elisabeth Jöbstl, Harald Brandl:
MoMut: : UML Model-Based Mutation Testing for UML. ICST 2015: 1-8 - [c57]Bernhard K. Aichernig, Dejan Nickovic, Stefan Tiran:
Scalable Incremental Test-case Generation from Large Behavior Models. TAP@STAF 2015: 1-18 - [c56]Bernhard K. Aichernig, Martin Tappler:
Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing. USE@FM 2015: 3-19 - [i2]Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig:
Bounded Determinization of Timed Automata with Silent Transitions. CoRR abs/1508.03575 (2015) - 2014
- [j10]Stefan J. Galler, Bernhard K. Aichernig:
Survey on test data generation tools - An evaluation of white- and gray-box testing tools for C#, C++, Eiffel, and Java. Int. J. Softw. Tools Technol. Transf. 16(6): 727-751 (2014) - [c55]Bernhard K. Aichernig, Florian Lorber, Stefan Tiran:
Formal Test-Driven Development with Verified Test Cases. MODELSWARD 2014: 626-635 - [c54]Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Rupert Schlick, Didier Simoneau, Stefan Tiran:
Integration of Requirements Engineering and Test-Case Generation via OSLC. QSIC 2014: 117-126 - [c53]Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber:
Debugging with Timed Automata Mutations. SAFECOMP 2014: 49-64 - [c52]Bernhard K. Aichernig, Jakob Auer, Elisabeth Jöbstl, Robert Korosec, Willibald Krenn, Rupert Schlick, Birgit Vera Schmidt:
Model-Based Mutation Testing of an Industrial Measurement Device. TAP@STAF 2014: 1-19 - 2013
- [c51]Bernhard K. Aichernig:
Model-Based Mutation Testing of Reactive Systems - From Semantics to Automated Test-Case Generation. Theories of Programming and Formal Methods 2013: 23-36 - [c50]Bernhard K. Aichernig, Elisabeth Jöbstl, Matthias Kegele:
Incremental Refinement Checking for Test Case Generation. TAP@STAF 2013: 1-19 - [c49]Bernhard K. Aichernig, Florian Lorber, Dejan Nickovic:
Time for Mutants - Model-Based Mutation Testing with Timed Automata. TAP@STAF 2013: 20-38 - 2012
- [j9]Sun Meng, Farhad Arbab, Bernhard K. Aichernig, Lacramioara Astefanoaei, Frank S. de Boer, Jan J. M. M. Rutten:
Connectors as designs: Modeling, refinement and test case generation. Sci. Comput. Program. 77(7-8): 799-822 (2012) - [c48]Bernhard K. Aichernig, Elisabeth Jöbstl:
Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints. ICST 2012: 752-757 - [c47]Bernhard K. Aichernig, Elisabeth Jöbstl:
Efficient Refinement Checking for Model-Based Mutation Testing. QSIC 2012: 21-30 - [c46]Bernhard K. Aichernig:
The Science of Killing Bugs in a Black Box - (Keynote Talk). SBLP 2012: 6-11 - [c45]Bernhard K. Aichernig, Florian Lorber, Stefan Tiran:
Integrating Model-Based Testing and Analysis Tools via Test Case Exchange. TASE 2012: 119-126 - [c44]Bernhard K. Aichernig, Elisabeth Jöbstl:
Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking. MBT 2012: 88-102 - [e4]Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue:
Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers. Lecture Notes in Computer Science 6957, Springer 2012, ISBN 978-3-642-25270-9 [contents] - 2011
- [j8]Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn:
UML in action: a two-layered interpretation for testing. ACM SIGSOFT Softw. Eng. Notes 36(1): 1-8 (2011) - [c43]Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn:
Efficient Mutation Killers in Action. ICST 2011: 120-129 - [c42]Christian Schwarzl, Bernhard K. Aichernig, Franz Wotawa:
Compositional Random Testing Using Extended Symbolic Transition Systems. ICTSS 2011: 179-194 - 2010
- [c41]Franz Wotawa, Mihai Nica, Bernhard K. Aichernig:
Generating Distinguishing Tests Using the Minion Constraint Solver. ICST Workshops 2010: 325-330 - [c40]Elisabeth Jöbstl, Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa:
When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving. ICST 2010: 479-488 - [c39]Harald Brandl, Martin Weiglhofer, Bernhard K. Aichernig:
Automated Conformance Verification of Hybrid Systems. QSIC 2010: 3-12
2000 – 2009
- 2009
- [j7]Bernhard K. Aichernig, Jifeng He:
Mutation testing in UTP. Formal Aspects Comput. 21(1-2): 33-64 (2009) - [j6]Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa:
Fault-Based Conformance Testing in Practice. Int. J. Softw. Informatics 3(2-3): 375-411 (2009) - [c38]Immo Grabe, Mohammad Mahdi Jaghoori, Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier, Tobias Blechmann, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer:
The Credo Methodology - (Extended Version). FMCO 2009: 41-69 - [c37]Willibald Krenn, Rupert Schlick, Bernhard K. Aichernig:
Mapping UML to Labeled Transition Systems for Test-Case Generation - A Translation via Object-Oriented Action Systems. FMCO 2009: 186-207 - [c36]Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn:
Model-Based Mutation Testing of Hybrid Systems. FMCO 2009: 228-249 - [c35]Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte:
Dynamic Symbolic Execution of Distributed Concurrent Objects. FMOODS/FORTE 2009: 225-230 - [c34]Bernhard K. Aichernig, Harald Brandl, Willibald Krenn:
Qualitative Action Systems. ICFEM 2009: 206-225 - [c33]Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte:
Dynamic Symbolic Execution for Testing Distributed Objects. TAP@TOOLS 2009: 105-120 - [c32]Bernhard K. Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Sun Meng, Jan J. M. M. Rutten:
Fault-Based Test Case Generation for Component Connectors. TASE 2009: 147-154 - [c31]Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi:
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. TTSS 2009: 33-48 - [c30]