Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Profile
| Academic position | Full Professor |
|---|---|
| Research fields | Computer Architecture, Embedded and Massively Parallel Systems |
| Keywords | applications of formal methods to comp. engineer., component based hardware description languages,, formal verification of hard- and software systems, nano-architectures, system level design languages |
Current contact address
Host during sponsorship
| Prof. Dr. Klaus Schneider | Fachbereich Informatik, Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau (RPTU), Kaiserslautern |
|---|---|
| Start of initial sponsorship | 01/05/2009 |
Programme(s)
| 2008 | Friedrich Wilhelm Bessel Research Award Programme |
|---|
Publications (partial selection)
| 2012 | Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla and Jean-Pierre Talpin Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions. In: Springer Journal on Design Automation for Embedded Systems, 2012, 1-35 |
|---|---|
| 2011 | Brandt, J.; Gemunde, M.; Schneider, K.; Shukla, S.K.; Talpin, J.: Integrating system descriptions by clocked guarded actions. Proceedings of the Forum on Specification and Design Languages (FDL), 2011 . IEEE Xplore, 2011. 1-8 |
| 2010 | Jens Brandt, Klaus Schneider, and Sandeep K. Shukla: Translating concurrent action oriented specifications to synchronous guarded actions. . In: ACM SIGPLAN Notices, 2010, 47-56 |
| 2010 | Brandt, J.; Schneider, K.; Ahuja, S.; Shukla, S.K.; The Model Checking View to Clock Gating and Operand Isolation. Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD), 2010 . IEEE Computer Society, 2010. 181-190 |