The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Stefan Kowalewski: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sebastian Engell, Stefan Kowalewski, Bruce H. Krogh, Jörg Preußig
    Condition/Event Systems: a Powerful Paradigm for Timed and Untimed Discrete Models of Technical Systems. [Citation Graph (0, 0)][DBLP]
    EUROSIM, 1995, pp:421-426 [Conf]
  2. Jörg Preußig, Stefan Kowalewski, Howard Wong-Toi, Thomas A. Henzinger
    An Algorithm for the Approximative Analysis of Rectangular Automata. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1998, pp:228-240 [Conf]
  3. Oliver Wieland, Andreas Hein, Stefan Kowalewski, John MacGregor, Steffen Thiel
    Anwendungserfahrungen und methodische Anpassungen bei der Einführung von Software-Produktlinien. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (1), 2003, pp:345-351 [Conf]
  4. Jacob Palczynski, Bastian Schlich, Stefan Kowalewski
    Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (1), 2006, pp:751-755 [Conf]
  5. Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jörg Preußig
    Comparing Timed C/E Systems with Timed Automata (Abstract). [Citation Graph (0, 0)][DBLP]
    HART, 1997, pp:81-86 [Conf]
  6. Stefan Kowalewski, Olaf Stursberg, Martin Fritz, Holger Graf, Ingo Hoffmann, Jörg Preußig, Manuel Remelhe, Silke Simon, Heinz Treseler
    A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1997, pp:163-185 [Conf]
  7. Jörg Preußig, Olaf Stursberg, Stefan Kowalewski
    Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis. [Citation Graph (0, 0)][DBLP]
    HSCC, 1999, pp:209-222 [Conf]
  8. Olaf Stursberg, Stefan Kowalewski, Ingo Hoffmann, Jörg Preußig
    Comparing Timed and Hybrid Automata as Approximations of Continuous Systems. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1996, pp:361-377 [Conf]
  9. Marko Auerswald, Martin Herrmann, Stefan Kowalewski, Vincent Schulte-Coerne
    Reliability-Oriented Product Line Engineering of Embedded Systems. [Citation Graph (0, 0)][DBLP]
    PFE, 2001, pp:83-100 [Conf]
  10. Stefan Kowalewski, Jörg Preußig
    Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control. [Citation Graph (0, 0)][DBLP]
    TACAS, 1996, pp:225-240 [Conf]
  11. Bernhard Hohlfeld, Stefan Kowalewski, Hans-Werner Six
    Editorial zum Themenheft "Automotive Software Engineering". [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 2005, v:19, n:4, pp:187-188 [Journal]
  12. Falk Salewski, Stefan Kowalewski
    Achieving Highly Reliable Embedded Software: An Empirical Evaluation of Different Approaches. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2007, pp:270-275 [Conf]

  13. Low Effort Evaluation of Real-Time and Reliability Requirements for Embedded Systems. [Citation Graph (, )][DBLP]


  14. Direct Support for Model Checking Abstract State Machines by Utilizing Simulation. [Citation Graph (, )][DBLP]


  15. Stack bounds analysis for microcontroller assembly code. [Citation Graph (, )][DBLP]


  16. Test front loading in early stages of automotive software development based on AUTOSAR. [Citation Graph (, )][DBLP]


  17. Mapping Requirement Models to Mathematical Models in Control System Development. [Citation Graph (, )][DBLP]


  18. A Hybrid Fault Tolerance Method for Recovery Block with a Weak Acceptance Test. [Citation Graph (, )][DBLP]


  19. Safety Assessment of Design Patterns for Safety-Critical Embedded Systems. [Citation Graph (, )][DBLP]


  20. Variabilität im modelbasierten Engineering von eingebetteten Systemen. [Citation Graph (, )][DBLP]


  21. KleeNet: discovering insidious interaction bugs in wireless sensor networks before deployment. [Citation Graph (, )][DBLP]


  22. Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive Applications. [Citation Graph (, )][DBLP]


  23. [mc]square: A Model Checker for Microcontroller Code. [Citation Graph (, )][DBLP]


  24. Towards feature-driven planning of product-line evolution. [Citation Graph (, )][DBLP]


  25. Using Higher-Order Transformations to Derive Variability Mechanism for Embedded Systems. [Citation Graph (, )][DBLP]


  26. Modellbasierte Anforderungserfassung für softwarebasierte Regelungen. [Citation Graph (, )][DBLP]


  27. Workshop Automotive Software Engineering: Forschung, Lehre, Industrielle Praxis. [Citation Graph (, )][DBLP]


  28. Workshop Automotive Software Engineering: Forschung, Lehre, Industrielle Praxis. [Citation Graph (, )][DBLP]


  29. Applying software product line techniques in model-based embedded systems engineering. [Citation Graph (, )][DBLP]


  30. Range Analysis of Microcontroller Code Using Bit-Level Congruences. [Citation Graph (, )][DBLP]


  31. Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code. [Citation Graph (, )][DBLP]


  32. Applying Model Checking to an Automotive Microcontroller Application. [Citation Graph (, )][DBLP]


  33. The Effect of Hardware Platform Selection on Safety-Critical Software in Embedded Systems: Empirical Evaluations. [Citation Graph (, )][DBLP]


  34. The effect of real-time software reuse in FPGAs and microcontrollers with respect to software faults. [Citation Graph (, )][DBLP]


  35. Evaluation of the real-time Java runtime environment for deployment in time-critical systems. [Citation Graph (, )][DBLP]


  36. Measuring the Human Factor with the Rasch Model. [Citation Graph (, )][DBLP]


  37. Effective Pattern Representation for Safety Critical Embedded Systems. [Citation Graph (, )][DBLP]


  38. Analyzing Software Engineering Processes on Source Code Level. [Citation Graph (, )][DBLP]


  39. Early Behaviour Modelling for Control Systems. [Citation Graph (, )][DBLP]


  40. Variability and Evolution in Model-based Engineering of Embedded Systems. [Citation Graph (, )][DBLP]


  41. Parallel and Distributed Invariant Checking of Microcontroller Software. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002