Publications

 Bibtex-File for all Publications

    Publications of 2015

      Publications of 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

      Publications of 2014

        Publications of July 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
        Publications of March 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
        Publications without Month 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

        Publications of 2013

          Publications of 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
          Publications of 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
          Publications of March 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

          Publications of 2012

            Publications of 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

            Publications of 2011

              Publications of March 2011
              • Stefan Lämmermann
                  DomänenĂĽbergreifende temporale Eigenschaftsverifikation heterogener Systeme
              Publications of February 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

              Publications of 2010

                Publications of March 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

                Publications of 2009

                  Publications of December 2009
                  • S. Lämmermann, J. Ruf, T. Kropf, W. Rosenstiel
                      Assertion-based Analog Mixed-Signal Verification
                    IP - Embedded Systems Conference 2009 (IP-ESC`09)
                  Publications of June 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
                  Publications of March 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
                  Publications without Month 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

                  Publications of 2008

                    Publications of December 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
                    Publications of October 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

                    Publications of 2007

                      Publications of October 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
                      Publications of June 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
                      Publications of March 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
                      Publications without Month 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

                      Publications of 2006

                        Publications of July 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
                        Publications of March 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
                        Publications of February 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
                        Publications without Month 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

                        Publications of 2005

                          Publications of March 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
                          Publications without Month 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

                          Publications of 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

                          Publications of 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)

                          Publications of

                            Publications of February
                            • 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)

                             

                            You can find Publications older than 2003 at www-ti.informatik.uni-tuebingen.de/~fmg/publications.html