The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Hans-Michael Hanisch: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hartmann J. Genrich, Hans-Michael Hanisch, Konrad Wöllhaf
    Verification of Recipe-Based Control Procedures by Means of Predicate/Transition Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:278-297 [Conf]
  2. Hans-Michael Hanisch
    Analysis of Place/Transition Nets with Timed Arcs and its Application to Batch Process Control. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:282-299 [Conf]
  3. Hans-Michael Hanisch
    Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2004, pp:6-19 [Conf]
  4. Jörg Desel, Hans-Michael Hanisch, Gabriel Juhás, Robert Lorenz, Christian Neumair
    A Guide to Modelling and Control with Modules of Signal Nets. [Citation Graph (0, 0)][DBLP]
    SoftSpez Final Report, 2004, pp:270-300 [Conf]
  5. Arndt Lüder, E. Hintze, A. Pöschmann, Hans-Michael Hanisch
    Prädikat/Transitions-Netz-Condition/Event-Systeme zur Modellierung von Kommunikationssystemen. [Citation Graph (0, 0)][DBLP]
    FBT, 1998, pp:100-111 [Conf]
  6. Haoxun Chen, Hans-Michael Hanisch
    Control Synthesis of Hybrid Systems Based on Predicate Invariance. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1997, pp:1-15 [Conf]
  7. Luz E. Pinzon, Mohsen A. Jafari, Hans-Michael Hanisch
    Modeling Admissible Behavior with Net Condition/Event Systems. [Citation Graph (0, 0)][DBLP]
    ICRA, 2000, pp:2865-2870 [Conf]
  8. Valeriy Vyatkin, Hans-Michael Hanisch
    Component Design and Formal Validation of SFA Systems: A Case Study. [Citation Graph (0, 0)][DBLP]
    BASYS, 2002, pp:313-322 [Conf]
  9. Luz E. Pinzon, Hans-Michael Hanisch, Mohsen A. Jafari, T. Boucher
    A Comparative Study of Synthesis Methods for Discrete Event Controllers. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1999, v:15, n:2, pp:123-167 [Journal]
  10. Hans-Michael Hanisch, Arndt Lüder
    A Signal Extension for Petri Nets and its Use in Controller Design. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:41, n:4, pp:415-431 [Journal]
  11. Haoxun Chen, Hans-Michael Hanisch
    Control synthesis of timed discrete event systems based on predicate invariance. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Systems, Man, and Cybernetics, Part B, 2000, v:30, n:5, pp:713-724 [Journal]
  12. Luz E. Pinzon, Mohsen A. Jafari, Hans-Michael Hanisch, Peng Zhao
    Modeling admissible behavior using event signals. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Systems, Man, and Cybernetics, Part B, 2004, v:34, n:3, pp:1435-1448 [Journal]
  13. Luz E. Pinzon, Mohsen A. Jafari, Ardavan Amini, Hans-Michael Hanisch
    Modeling Admissible Behavior Using Event Signals. [Citation Graph (0, 0)][DBLP]
    ICRA, 2005, pp:284-291 [Conf]
  14. Dirk Missal, Hans-Michael Hanisch
    Synthesis of Distributed Controllers by Means of a Monolithic Approach. [Citation Graph (0, 0)][DBLP]
    ETFA, 2006, pp:356-363 [Conf]
  15. Valeriy Vyatkin, Martin Hirsch, Hans-Michael Hanisch
    Systematic Design and Implementation of Distributed Controllers in Industrial Automation. [Citation Graph (0, 0)][DBLP]
    ETFA, 2006, pp:633-640 [Conf]
  16. D. Pollmacher, W. Zimmermann, Hans-Michael Hanisch
    Translation validation for model-based code-generators for PLCs. [Citation Graph (0, 0)][DBLP]
    ETFA, 2005, pp:- [Conf]
  17. Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hanisch
    Modelling and Verification of IEC 61499 Applications using Prolog. [Citation Graph (0, 0)][DBLP]
    ETFA, 2006, pp:774-781 [Conf]
  18. Valeriy Vyatkin, Hans-Michael Hanisch
    Reuse of components in formal modeling and verification of distributed control systems. [Citation Graph (0, 0)][DBLP]
    ETFA, 2005, pp:- [Conf]

  19. Reconfiguration of Embedded Systems. [Citation Graph (, )][DBLP]


  20. Modular plant modelling for distributed control. [Citation Graph (, )][DBLP]


  21. Automatic specification of feasible Control Tasks in Benchmark Production Systems. [Citation Graph (, )][DBLP]


  22. A formal approach to check and schedule reconfigurable embedded control systems. [Citation Graph (, )][DBLP]


  23. NCES-based modelling and CTL-based verification of reconfigurable Benchmark Production Systems. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002