Publikationen

 Alle Publikationen im BibTex-Format

    2015

      August 2015
      • H. Eichelberger, T. Kropf, J. Ruf, T. Greiner, W. Rosenstiel
         Efficient Fault Localization During Replay of Embedded Software
        Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), p.43-52

      2014

        Juli 2014
        • H. Eichelberger, J. Ruf, T. Kropf, T. Greiner, W. Rosenstiel
            Debugger-based Record Replay and Dynamic Analysis for In-Vehicle Infotainment
          Proceedings of 14th International Conference on Computational Science and Its Applications (ICCSA), Software Quality Workshop, p.387-401, Springer International Publishing
        März 2014
        • H. Eichelberger, P. Heckeler, J. Ruf, S. Huster, S. Burg, T. Kropf, T. Greiner, W. Rosenstiel
           Erkennen von Speicherverletzungen im Testbetrieb von eingebetteter Software
          17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), p.61-70, IBM Deutschland
        • S. Burg, P. Heckeler, S. Huster, H. Eichelberger, J. Behrend, J. Ruf, T. Kropf, O. Bringmann
           LoCEG: Local Preprocessing in SAT-Solving through Counter-Example Generation
          Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen , Vol.17, IBM Deutschland
        Publikationen ohne Monatsangabe 2014
        • S. Burg, O. Bringmann, T. Kropf
           miniLoCeG+Glucose
          Proceedings of SAT Competition 2014: Solver and Benchmark Descriptions, Vol.B-2014-2, Department of Computer Science Series of Publications, University of Helsinki

        2013

          November 2013
          • H. Eichelberger, T. Kropf, T. Greiner, W. Rosenstiel
              Runtime Verification Driven Debugging of Replayed Errors
            Proceedings of the PhD Workshop of ICTSS'13, p.1-4, Istanbul
          September 2013
          • P. Heckeler, H. Eichelberger, T. Kropf, B.Schlich, J. Ruf, S. Huster, S. Burg, W. Rosenstiel
              Accelerated Model-Based Robustness Testing of State Machine Implementations
            ACM Applied Computing Review, 13 (03), p.50--67
          März 2013
          • S. Huster, P. Heckeler, J. Ruf, S. Burg, T. Kropf, W. Rosenstiel
             A Software Testing Framework to Integrate Formal Verification Results
            16. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, p.183-192, Universität Rostock, Rostock
          • P. Heckeler, B. Schlich, T. Kropf, G. R. Cardoso, H. Eichelberger, J. Ruf, S. Huster, S. Burg, W. Rosenstiel
             Accelerated Robustness Testing of State-Based Components using Reverse Execution
            Proceedings of the 28th Annual ACM Symposium on Applied Computing (SAC), Vol.2, p.1188-1195, ACM, Coimbra, Portugal
          • H. Eichelberger, P. Heckeler, S. Huster, S. Burg, J. Ruf, T. Kropf, W. Rosenstiel, B. Schlich
             Beschleunigte Robustheitstests fĂĽr verhaltensbeschreibende Zustandsmaschinen
            16. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), p.161-170, Universität Rostock

          2012

            2012
            • Stefan Lämmermann, Lukas Pielawa, Andreas Burger, Jan Schlemminger, JĂĽrgen Ruf, Thomas Kropf, Andreas Hein, Wolfgang Rosenstiel
               Heterogeneous Assertion-Based Verification for Medical Devices Development
              The 17th Workshop on Synthesis And System Integration of Mixed Information Technologies (Sasimi 2012), p.pp. 211 - 216, Oita Japan
            • A. GrĂĽnhage, J. Behrend, D. Lettnin, P. Heckeler, J. Ruf, T. Kropf, W. Rosenstiel
               Optimized Static Parameter Assignment for Semiformal Software Verification
              15. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Kaiserslautern, Germany

            2011

              Mai 2011
              • Stefan Lämmermann
                  DomänenĂĽbergreifende temporale Eigenschaftsverifikation heterogener Systeme
              Februar 2011
              • Stefan Lämmermann, Erik Markert, Axel Braun, JĂĽrgen Ruf, Thomas Kropf und Wolfgang Rosenstiel
                 Eigenschaftsbasierte Verifikation von MEMS
                Cyber-Physical Systems – Enabling Multi-Nature Systems 2011 (CPMNS'11), Bremen, Germany

              2010

                März 2010
                • S. Lämmermann, A. Jesser, A. Viehl, J. Ruf, L. Hedrich, T. Kropf, W. Rosenstiel
                   Towards Assertion-Based Verification of Heterogeneous System Designs
                  Design, Automation and Test in Europe (DATE'10), p.1171-1176

                2009

                  Dezember 2009
                  • S. Lämmermann, J. Ruf, T. Kropf, W. Rosenstiel
                      Assertion-based Analog Mixed-Signal Verification
                    IP - Embedded Systems Conference 2009 (IP-ESC`09)
                  Juni 2009
                  • S. Lämmermann, M. Rathgeber, A. Jesser, J. Ruf, L. Hedrich, T. Kropf, W. Rosenstiel
                     Checking Heterogeneous Signal Characteristics: Applying Assertion-Based Verification
                    Formal Verification of Analog Circuits at CAV'09 (FAC) , Grenoble, France
                  März 2009
                  • S. Lämmermann, A. Jesser, R. Weiss, J. Ruf, L. Hedrich, T. Kropf, W. Rosenstiel
                     An Assertion-Based Verification Methodology for SystemC-AMS Designs
                    15th Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI), p.434-435, Okinawa, Japan
                  Publikationen ohne Monatsangabe 2009
                  • Djones Lettnin and Pradeep Kumar Nalla and Jörg Behrend and JĂĽrgen Ruf and Joachim Gerlach and Thomas Kropf and Wolfgang Rosenstiel and Volker Schönknecht and Stephan Reitemeyer
                     Semiformal verification of temporal properties in automotive hardware dependent software
                    DATE, p.1214-1217

                  2008

                    Dezember 2008
                    • A. Jesser, S. Laemmermann, A. Pacholik, R. Weiss, J. Ruf, W. Fengler, L. Hedrich, T. Kropf, W. Rosenstiel
                        Advanced Assertion Based Design for Mixed-Signal Verification
                      IEICE TRANS. FUNDAMENTALS: Special Section on VLSI Design and CAD Algorithms, Vol.E91–A(12), p.3548-3555
                    Oktober 2008
                    • Stefan Lämmermann, Alexander Pacholik, Alexander Jesser, Roland Weiss, JĂĽrgen Ruf, Wolfgang Fengler, Lars Hedrich, Thomas Kropf, Wolfgang Rosenstiel
                       Improving Mixed-Signal Verification by Assertion Based Design
                      16th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC), p.144-148, Rhodos, Griechenland

                    2007

                      Oktober 2007
                      • A. Jesser, S. Lämmermann, A. Pacholik, R. Weiss, J. Ruf, W. Fengler, L. Hedrich, T. Kropf, W. Rosenstiel
                         Analog Simulation Meets Digital Verification - A Formal Assertion Approach for Mixed-Signal Verification
                        14. Workshop on Synthesis And System Integration of Mixed Information technologies (SASIM), p.507-514, Sapporo, Japan
                      Juni 2007
                      • J. Behrend, A. Braun, O. Bringmann, M. Krause, T. Kropf, S. Lämmermann, P. Nalla, W. Rosenstiel, J. Ruf, T. Schönwald, A. Viehl u. J. Zimmermann
                          Entwurf und Verifikation von Hardware/Software - Systemen
                        Kooperationsmarkt des Ekompass-Workshops, Hannover, Germany
                      März 2007
                      • S. Lämmermann, J. Behrend, R. Weiss, J. Ruf, T. Kropf, W. Rosenstiel
                         UML/SysML-Systemanalyse zur Generierung von formalen Verifikationseigenschaften fĂĽr verschiedene Abstraktionsebenen
                        Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), p.29-38, Erlangen, Germany
                      Publikationen ohne Monatsangabe 2007
                      • D. Lettnin, M. Winterholer, A. Braun, J. Gerlach, J. Ruf, T. Kropf, W. Rosenstiel
                         Coverage Driven Verification applied to Embedded Software
                        IEEE Computer Society Annual Symposium on VLSI (ISVLSI), Porto Alegre, Brazil
                      • P. K. Nalla, J. Behrend, P. M. Peranandam, J. Ruf, T. Kropf, W. Rosenstiel
                         Grid Based Fast Falsification For Bounded Property Checking
                        Forum on Specification & Design Languages (FDL)
                      • D. Lettnin, P. Nalla, J. R. R. Wess, A. Braun, J. Gerlach, T. K. a. W. Rosenstiel
                         Semiformal Verification of Temperal Properties in Embedded Software
                        10. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Erlangen, Germany

                      2006

                        Juli 2006
                        • S. Lämmermann, R. Weiss, J. Ruf, T. Kropf, W. Rosenstiel
                            Automatic Generation of Verification Properties for SoC Design from SysML-Diagrams
                          3rd Inernational UML for SoC Design Workshop at DAC'06 (UML-SoC), p.29-34, San Francisco, USA
                        März 2006
                        • P. K. Nalla, P. M. Peranandam, J. Ruf, S. Laemmermann, J. Behrend, R. Weiss, T. Kropf, W. Rosenstiel
                            Fast Distributed Property Checking
                          Design Automation and Test in Europe (DATE), University Booth
                        Februar 2006
                        • S. Lämmermann, R. Weiss, J. Ruf, T. Kropf, W. Rosenstiel
                           Automatische Eigenschaftsextraktion auf Systemebene aus SystemC Modellen
                          Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), p.222-226, Dresden, Germany
                        Publikationen ohne Monatsangabe 2006
                        • P. M. Peranandam, P. K. Nalla, J. Ruf, R. J. Weiss, T. Kropf, W. Rosenstiel
                           Fast Falsification Based on Symbolic Bounded Property Checking
                          43rd Design Automation Conference (DAC)
                        • P. Duplys, R. J. Weiss, J. Ruf, T. Kropf, W. Rosenstiel
                           Monitoring-based Formal Hardware Verification
                          Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
                        • Ruf, J., Weiss, R., Lettnin, D. V., Lämmermann, S., Kropf, T., Rosenstiel, W.
                           SystemC Temporal Checker
                          TĂĽbingen: Department of Computer Engineering

                        2005

                          März 2005
                          • P. K. Nalla, P. M. Peranandam, J. Ruf, R. Weiss, T. Kropf, W. Rosenstiel
                             Bounded Property Checking with SymC
                            Design Automation and Test in Europe (DATE), University Booth
                          • P. K. Nalla, P. M. Peranandam, J. Ruf, R. Weiss, T. Kropf, W. Rosenstiel
                             Bounded Property Checking with SymC
                            Design Automation and Test in Europe (DATE), University Booth
                          Publikationen ohne Monatsangabe 2005
                          • R. J. Weiss, J. Ruf, T. Kropf, W. Rosenstiel
                             Efficient and customizable integration of temporal properties into systemc
                            Forum on Specification and Design Languages (FDL)
                          • P. M. Peranandam, P. K. Nalla, R. J. Weiss, J. Ruf, T. Kropf, W. Rosenstiel
                             Overlap reduction in symbolic system traversal
                            IEEE International High Level Design Validation and Test Workshop (HLDVT)
                          • P. K. Nalla, R. J. Weiss, J. Ruf, T. Kropf, W. Rosenstiel
                             Parallel bounded property checking with SymC
                            Modellierung und Verifikation, 8. GI/ITG/GMM Workshop
                          • P. K. Nalla, R. J. Weiss, P. Peranandam, J. Ruf, T. Kropf, W. Rosenstiel
                             Symbolic bounded property checking in parallel
                            In 4th International Workshop on Parallel and Distributed Methods in Verification, Electronic Notes in Theoretical Computer Science, Elsevier
                          • R. J. Weiss, J. Ruf, T. Kropf, W. Rosenstiel
                             Symbolic model checking and simulation with temporal assertions
                            Advances in Design and Specification Languages for SoCs, Springer

                          2004

                          • P. M. Peranandam, R. J. Weiss, J. Ruf, T. Kropf, W. Rosenstiel
                             Dynamic guiding of bounded property checking
                            In IEEE International High Level Design Validation and Test Workshop (HLDVT)
                          • J. Ruf, R. J. Weiss, T. Kropf, W. Rosenstiel
                             Modeling and formal verification of production automation systems
                            Integration of Software Specification Techniques for Applications in Engineering, Lecture Notes in Computer Science, Vol.3147, p.541-566, Springer
                          • S. Flake, W. MĂĽller, U. Pape, J. Ruf
                             Specification and formal verification of temporal properties of production automation systems
                            Integration of Software Specification Techniques for Applications in Engineering, Lecture Notes in Computer Science, Vol.3147, p.206-222, Springer
                          • P. Peranandam, R. Weiss, J. Ruf, T. Kropf.
                             Transactional level verification and coverage metrics by means of symbolic simulation
                            In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, GI/ITG/GMM Workshop, Shaker Verlag

                          2003

                          • J. Ruf, P. Peranandam
                             Bounded property checking with symbolic simulation
                            In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, GI/ITG/GMM Workshop, p.209-218, Shaker Verlag
                          • J. Ruf, P. M. Peranandam, T. Kropf, W. Rosenstiel
                             Bounded property checking with symbolic simulation (2)
                            In Forum on Specification and Design Languages
                          • A. Krebs, J. Ruf
                             Optimized temporal logic compilation
                            Journal of Universal Computer Science, Special Issue on Tools for System Design and Verification, Vol.9(2), p.120-137
                          • J. Ruf, T. Kropf
                             Symbolic verification and analysis of discrete timed systems
                            Formal Methods in System Design
                          • J. Ruf, T. Kropf
                             Symbolic verification and analysis of discrete timed systems (2)
                            Journal on Formal Methods in System Design, Vol.23(1)

                            Februar
                            • Stefan Lämmermann, Erik Markert, Axel Braun, JĂĽrgen Ruf, Thomas Kropf und Wolfgang Rosenstiel
                               Eigenschaftsbasierte Verifikation von MEMS
                              Cyber-Physical Systems – Enabling Multi-Nature Systems 2011 (CPMNS'11)

                             

                            Publikationen vor 2003 finden Sie unter www-ti.informatik.uni-tuebingen.de/~fmg/publications.html