


Остановите войну!
for scientists:


default search action
Klaus Schneider 0001
Person information

- affiliation: University of Kaiserslautern, Department of Computer Science, Germany
Other persons with the same name
- Klaus Schneider — disambiguation page
- Klaus Schneider 0002 — Volkswagen AG Research and Development, Wolfsburg, Germany
- Klaus Schneider 0003 — Liebherr-Werk Nenzing GmbH, Germany
- Klaus Schneider 0004 — University of Arizona, AZ, USA
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [j22]Omair Rafique
, Klaus Schneider:
Synthesis of Parallel Software from Heterogeneous Dataflow Models. SN Comput. Sci. 3(3): 249 (2022) - [c190]Marcel Christian Werner, Klaus Schneider:
From IEC 61131-3 Function Block Diagrams to Sequentially Constructive Statecharts. FDL 2022: 1-8 - [c189]Klaus Schneider, Anoop Bhagyanath, Julius Roob:
Code generation criteria for buffered exposed datapath architectures from dataflow graphs. LCTES 2022: 133-145 - [c188]Anoop Bhagyanath, Klaus Schneider:
Buffer Allocation for Exposed Datapath Architectures. MCSoC 2022: 18-25 - 2021
- [c187]Omair Rafique, Yu Bai, Klaus Schneider, Guangxi Yan
:
Synthesis of Heterogeneous Dataflow Models from Synchronous Specifications. COMPSAC 2021: 43-48 - [c186]Yu Bai, Omair Rafique, Klaus Schneider:
A Model-based Design Flow for Asynchronous Implementations from Synchronous Specifications. DATE 2021: 862-867 - [c185]Omair Rafique, Yu Bai, Klaus Schneider, Guangxi Yan:
Efficient Implementation of Heterogeneous Dataflow Models using Synchronous IO Patterns. DSD 2021: 82-89 - [c184]Marcel Christian Werner, Klaus Schneider:
Translation of continuous function charts to imperative synchronous quartz programs. MEMOCODE 2021: 104-110 - [c183]Omair Rafique, Klaus Schneider:
Integrating Kahn Process Networks as a Model of Computation in an Extendable Model-based Design Framework. MODELSWARD 2021: 87-99 - 2020
- [c182]Omair Rafique, Klaus Schneider:
SHeD: A Framework for Automatic Software Synthesis of Heterogeneous Dataflow Process Networks. DSD 2020: 1-10 - [c181]Jens Froemmer, Yara Gowayed, Nico Bannow, Wolfgang Kunz, Christoph Grimm, Klaus Schneider:
Area Estimation Framework for Digital Hardware Design using Machine Learning. MBMV 2020: 1-10 - [c180]Martin Köhler, Felix Hasselwander, Klaus Schneider:
Properties of Invariants and Induction Lemmata. MBMV 2020: 1-10 - [c179]Omair Rafique, Klaus Schneider:
Employing OpenCL as a Standard Hardware Abstraction in a Distributed Embedded System: A Case Study. MECO 2020: 1-7 - [c178]Marc Dahlem, Klaus Schneider:
Compiling synchronous languages to optimal move code for exposed datapath architectures. SCOPES 2020: 19-25
2010 – 2019
- 2019
- [j21]Patricia Derler, Klaus Schneider, Jean-Pierre Talpin:
Guest Editorial: Special Issue of ACM TECS on the ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017). ACM Trans. Embed. Comput. Syst. 18(1): 1:1-1:2 (2019) - [c177]Markus Anders, Klaus Schneider:
A Formal Semantics of Exposed Datapath Architectures with Buffered Processing Units. ACSD 2019: 53-62 - [c176]Omair Rafique, Florian Krebs, Klaus Schneider:
Generating Efficient Parallel Code from the RVC-CAL Dataflow Language. DSD 2019: 182-189 - [c175]Jens Froemmer, Nico Bannow, Axel Aue, Christoph Grimm, Klaus Schneider:
Flexible Data Flow Architecture for Embedded Hardware Accelerators. ICA3PP (1) 2019: 33-47 - [c174]Martin Köhler, Klaus Schneider:
Inductive Proof Rules Beyond Safety Properties. MBMV 2019: 1-9 - [c173]Omair Rafique, Klaus Schneider:
Automatic Software Synthesis of Static and Dynamic Dataflow Process Networks. MDE4IoT/ModComp@MoDELS 2019: 73-80 - [c172]Omair Rafique, Klaus Schneider:
Evaluating OpenCL as a Standard Hardware Abstraction for a Model-based Synthesis Framework: A Case Study. MODELSWARD 2019: 386-393 - 2018
- [j20]Maximilian Senftleben
, Klaus Schneider:
Using temporal logics for specifying weak memory consistency models. Int. J. Crit. Comput. Based Syst. 8(2): 214-229 (2018) - [j19]Tripti Jain, Klaus Schneider:
The Half Cleaner Lemma: Constructing Efficient Interconnection Networks from Sorting Networks. Parallel Process. Lett. 28(1): 1850001:1-1850001:14 (2018) - [j18]Marc Dahlem
, Anoop Bhagyanath, Klaus Schneider:
Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP. Theory Pract. Log. Program. 18(3-4): 438-451 (2018) - [c171]Markus Anders, Anoop Bhagyanath, Klaus Schneider:
On Memory Optimal Code Generation for Exposed Datapath Architectures with Buffered Processing Units. ACSD 2018: 115-124 - [c170]Maximilian Senftleben
, Klaus Schneider
:
Operational Characterization of Weak Memory Consistency Models. ARCS 2018: 195-208 - [c169]Klaus Schneider, Marc Dahlem:
Are Synchronous Programs Logic Programs? Principled Software Development 2018: 251-266 - [c168]Omair Rafique, Klaus Schneider:
A Model-based Synthesis Framework for the Execution of Dynamic Dataflow Actors. IINTEC 2018: 177-182 - [c167]Tripti Jain, Klaus Schneider:
Routing Partial Permutations in General Interconnection Networks based on Radix Sorting. MBMV 2018 - [c166]Tripti Jain, Klaus Schneider:
Optimal Self-Routing Split Modules for Radix-based Interconnection Networks. MEMOCODE 2018: 99-108 - [c165]Tripti Jain, Klaus Schneider:
Routing Partial Permutations in Interconnection Networks based on Radix Sorting. ReCoSoC 2018: 1-10 - [i3]Marc Dahlem, Anoop Bhagyanath, Klaus Schneider:
Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP. CoRR abs/1804.10998 (2018) - 2017
- [c164]Anoop Bhagyanath, Klaus Schneider:
Exploring the Potential of Instruction-Level Parallelism of Exposed Datapath Architectures with Buffered Processing Units. ACSD 2017: 106-115 - [c163]Tripti Jain, Klaus Schneider, Frederik Walk:
Out-of-Order Execution of Buffered Function Units in Exposed Data Path Architectures. IPDPS Workshops 2017: 229-234 - [c162]Marc Dahlem, Tripti Jain, Klaus Schneider, Michael Gillmann:
Automatic Synthesis of Optimal-Size Concentrators by Answer Set Programming. LPNMR 2017: 279-285 - [c161]Tripti Jain, Klaus Schneider, Ankesh Jain
:
An Efficient Self-Routing and Non-Blocking Interconnection Network on Chip. NoCArc@MICRO 2017: 4:1-4:6 - [c160]Tripti Jain, Klaus Schneider, Ankesh Jain
:
Deriving concentrators from binary sorters using half cleaners. ReConFig 2017: 1-6 - [c159]Anoop Bhagyanath, Klaus Schneider:
Exploring different execution paradigms in exposed datapath architectures with buffered processing units. SAMOS 2017: 1-10 - [p1]Klaus Schneider, Jens Brandt:
Quartz: A Synchronous Language for Model-Based Design of Reactive Embedded Systems. Handbook of Hardware/Software Codesign 2017: 29-58 - [e4]Jean-Pierre Talpin, Patricia Derler, Klaus Schneider:
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017. ACM 2017, ISBN 978-1-4503-5093-8 [contents] - 2016
- [j17]Alessandro Gerlinger Romero
, Klaus Schneider, Maurício Gonçalves Vieira Ferreira:
Semantics in space systems architectures. Innov. Syst. Softw. Eng. 12(1): 27-40 (2016) - [c158]Xian Li, Klaus Schneider:
Control-flow guided clause generation for property directed reachability. HLDVT 2016: 17-24 - [c157]Anoop Bhagyanath, Tripti Jain, Klaus Schneider:
Towards Code Generation for the Synchronous Control Asynchronous Dataflow (SCAD) Architectures. MBMV 2016: 77-88 - [c156]Thorsten Ropertz, Karsten Berns, Xian Li, Klaus Schneider:
Verification of Behavior-Based Control Systems in their Physical Environment. MBMV 2016: 128-137 - [c155]Xian Li, Klaus Schneider:
Control-flow guided property directed reachability for imperative synchronous programs. MEMOCODE 2016: 23-33 - [c154]Tripti Jain, Klaus Schneider:
Verifying the concentration property of permutation networks by BDDs. MEMOCODE 2016: 43-53 - [c153]Anoop Bhagyanath, Klaus Schneider:
Optimal compilation for exposed datapath architectures with buffered processing units by SAT solvers. MEMOCODE 2016: 143-152 - [c152]Tripti Jain, Klaus Schneider, Anoop Bhagyanath:
The selector-tree network: A new self-routing and non-blocking interconnection network. ReCoSoC 2016: 1-8 - [c151]Omair Rafique, Klaus Schneider:
Introducing MoC Drivers for the Integration of Sensor-Actuator Behaviors in Model-Based Design Flows of Embedded Systems. SCOPES 2016: 50-59 - [c150]Omair Rafique, Klaus Schneider:
Towards the standardization of plug-and-play devices for model-based designs of embedded systems. SIES 2016: 189-192 - [c149]Maximilian Senftleben, Klaus Schneider:
Specifying Weak Memory Consistency with Temporal Logic. VECoS 2016: 107-122 - 2015
- [j16]Daniel Baudisch, Klaus Schneider:
Evaluation of Speculation in Out-of-Order Execution of Synchronous Dataflow Networks. Int. J. Parallel Program. 43(1): 86-129 (2015) - [j15]Florian Furbach, Roland Meyer, Klaus Schneider, Maximilian Senftleben
:
Memory-Model-Aware Testing: A Unified Complexity Analysis. ACM Trans. Embed. Comput. Syst. 14(4): 63:1-63:25 (2015) - [c148]Xian Li, Klaus Schneider:
A Counterexample-Guided Approach to Symbolic Simulation of Hybrid Systems. MBMV 2015: 50-62 - [c147]Xian Li, Klaus Schneider:
Verification condition generation for hybrid systems. MEMOCODE 2015: 238-247 - [c146]Anoop Bhagyanath, Tripti Jain, Klaus Schneider:
A Time-Predictable Model of Computation. RTSS 2015: 376 - [c145]Xian Li, Klaus Schneider:
An SMT-based Approach to analyze Non-Linear Relations of Parameters for Hybrid Systems. SyDe Summer School 2015: 290-292 - 2014
- [j14]Jens Brandt
, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla
, Jean-Pierre Talpin:
Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions. Des. Autom. Embed. Syst. 18(1-2): 63-97 (2014) - [j13]Jean-Pierre Talpin, Jens Brandt, Mike Gemünde, Klaus Schneider
, Sandeep K. Shukla:
Constructive polychronous systems. Sci. Comput. Program. 96: 377-394 (2014) - [j12]Jens Brandt, Klaus Schneider, Yu Bai:
Passive code in synchronous programs. ACM Trans. Embed. Comput. Syst. 13(2s): 67:1-67:25 (2014) - [c144]Florian Furbach, Roland Meyer, Klaus Schneider, Maximilian Senftleben
:
Memory Model-Aware Testing - A Unified Complexity Analysis. ACSD 2014: 92-101 - [c143]Yu Bai, Klaus Schneider:
Isochronous networks by construction. DATE 2014: 1-6 - [c142]Nikita Bhardwaj, Maximilian Senftleben, Klaus Schneider:
Abacus: A Processor Family for Education. WESE 2014: 2:1-2:8 - [c141]Klaus Schneider, Adrian Willenbücher:
A New Algorithm for Carry-Free Addition of Binary Signed-Digit Numbers. FCCM 2014: 44-51 - [c140]Manuel Gesell, Felipe Bichued, Klaus Schneider:
Using Different Representations of Synchronous Systems in SAL. MBMV 2014: 13-24 - [c139]Mohamed Ammar Ben Khadra, Yu Bai, Klaus Schneider:
Synthesis of Distributed Synchronous Specifications to SysteMoC. MBMV 2014: 71-81 - [c138]Yu Bai, Klaus Schneider, Nikita Bhardwaj, Badarinath Katti, Tania Shazadi:
From clock-driven to data-driven models. MEMOCODE 2014: 32-41 - [c137]Alessandro Gerlinger Romero, Klaus Schneider, Maurício Gonçalves Vieira Ferreira:
Using the Base Semantics given by fUML for Verification. MODELSWARD 2014: 5-16 - [c136]Daniel Baudisch, Yu Bai, Klaus Schneider:
Reducing the Communication of Message-Passing Systems Synthesized from Synchronous Programs. PDP 2014: 444-451 - [c135]Alessandro Gerlinger Romero, Klaus Schneider, Maurício Gonçalves Vieira Ferreira:
Integrating UML Composite Structures and fUML. SOFSEM 2014: 269-280 - [c134]Mohamed Ammar Ben Khadra, Yu Bai, Klaus Schneider:
High level modeling of elastic circuits in SystemC. SpringSim (TMS-DEVS) 2014: 24 - 2013
- [j11]Mike Gemünde, Jens Brandt
, Klaus Schneider:
Clock refinement in imperative synchronous languages. EURASIP J. Embed. Syst. 2013: 3 (2013) - [j10]Jens Brandt
, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla
, Jean-Pierre Talpin:
Embedding Polychrony into Synchrony. IEEE Trans. Software Eng. 39(7): 917-929 (2013) - [c133]Manuel Gesell, Klaus Schneider:
Modular Verification of Synchronous Programs. ACSD 2013: 70-79 - [c132]Adrian Willenbücher, Klaus Schneider:
Automatic Hard Block Inference on FPGAs. DSD 2013: 551-557 - [c131]Xian Li, Kerstin Bauer, Klaus Schneider:
Interactive Verification of Cyber-physical Systems: Interfacing Averest and KeYmaera. FedCSIS 2013: 1393-1400 - [c130]Alessandro Gerlinger Romero, Klaus Schneider, Maurício Gonçalves Vieira Ferreira:
Towards the Applicability of Alf to Model Cyber-Physical Systems. FedCSIS 2013: 1415-1422 - [c129]Andreas Morgenstern, Manuel Gesell, Klaus Schneider:
Solving Games Using Incremental Induction. IFM 2013: 177-191 - [c128]Jean-Pierre Talpin, Jens Brandt
, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla
:
Constructive Polychronous Systems. LFCS 2013: 335-349 - [c127]Manuel Gesell, Klaus Schneider:
An Interactive Verification Tool for Synchronous/Reactive Systems. MBMV 2013: 267-277 - [c126]Manuel Gesell, Klaus Schneider:
Translating synchronous guarded actions to interleaved guarded actions. MEMOCODE 2013: 167-176 - [c125]Omair Rafique, Manuel Gesell, Klaus Schneider:
Targeting different abstraction layers by model-based design methods for embedded systems: A case study. RTCSA 2013: 334-337 - [c124]Omair Rafique, Manuel Gesell, Klaus Schneider:
Generating hardware specific code at different abstraction levels using Averest. M-SCOPES 2013: 90-92 - [c123]Manuel Gesell, Andreas Morgenstern, Klaus Schneider:
Lifting Verification Results for Preemption Statements. SEFM 2013: 91-105 - [i2]Stephen A. Edwards, Alain Girault, Klaus Schneider:
Synchronous Programming (Dagstuhl Seminar 13471). Dagstuhl Reports 3(11): 117-143 (2013) - 2012
- [c122]Kerstin Bauer, Klaus Schneider:
Teaching cyber-physical systems: a programming approach. WESE 2012: 3 - [c121]Yu Bai, Jens Brandt
, Klaus Schneider:
Monitoring distributed reactive systems. HLDVT 2012: 84-91 - [c120]Daniel Baudisch, Jens Brandt
, Klaus Schneider:
Efficient Handling of Arrays in Dataflow Process Networks. HPCC-ICESS 2012: 1395-1402 - [c119]Andreas Morgenstern, Manuel Gesell, Klaus Schneider:
An Asymptotically Correct Finite Path Semantics for LTL. LPAR 2012: 304-319 - [c118]Yu Bai, Jens Brandt
, Klaus Schneider:
Preservation of LTL properties in desynchronized systems. MEMOCODE 2012: 53-64 - [c117]Manuel Gesell, Klaus Schneider:
Interactive verification of synchronous systems. MEMOCODE 2012: 75-84 - [c116]Manuel Gesell, Klaus Schneider:
A hoare calculus for the verification of synchronous languages. PLPV 2012: 37-48 - [c115]Daniel Baudisch, Jens Brandt
, Klaus Schneider:
Out-Of-order execution of synchronous data-flow networks. ICSAMOS 2012: 168-175 - [e3]Jens Brandt, Klaus Schneider:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March 5-7, 2012. Forschungsergebnisse zur Informatik 68, Verlag Dr. Kovac 2012, ISBN 978-3-8300-6201-1 [contents] - 2011
- [j9]Kerstin Bauer, Raffaella Gentilini, Klaus Schneider:
A uniform approach to three-valued semantics for μ-calculus on abstractions of hybrid automata. Int. J. Softw. Tools Technol. Transf. 13(3): 273-287 (2011) - [c114]Yu Bai, Jens Brandt
, Klaus Schneider:
Data-Flow Analysis of Extended Finite State Machines. ACSD 2011: 163-172 - [c113]Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin:
Integrating system descriptions by clocked guarded actions. FDL 2011: 1-8 - [c112]Mike Gemunde, Jens Brandt, Klaus Schneider:
Schizophrenia and causality in the context of refined clocks. FDL 2011: 1-8 - [c111]Mike Gemünde, Jens Brandt
, Klaus Schneider:
Causality analysis of synchronous programs with refined clocks. HLDVT 2011: 25-32 - [c110]Georgi Gaydadjiev
, Sofiène Tahar, Greg Byrd
, Klaus Schneider:
Welcome to ICCD 2011! ICCD 2011 - [c109]Karl Heckemann, Manuel Gesell, Thomas Pfister, Karsten Berns, Klaus Schneider, Mario Trapp:
Safe Automotive Software. KES (4) 2011: 167-176 - [c108]Andreas Morgenstern, Klaus Schneider:
Synthesis of Parallel Sorting Networks using SAT Solvers. MBMV 2011: 71-80 - [c107]Jens Brandt, Klaus Schneider:
Round Trip to Asynchrony and Synchrony. MBMV 2011: 239-248 - [c106]Daniel Baudisch, Jens Brandt
, Klaus Schneider:
Translating Synchronous Systems to Data-Flow Process Networks. PDCAT 2011: 354-361 - [c105]Yu Bai, Jens Brandt
, Klaus Schneider:
SMT-based optimization for synchronous programs. SCOPES 2011: 11-20 - [c104]Andreas Morgenstern, Klaus Schneider:
Program Sketching via CTL* Model Checking. SPIN 2011: 126-143 - [c103]Andreas Morgenstern, Klaus Schneider:
A LTL Fragment for GR(1)-Synthesis. iWIGP 2011: 33-45 - 2010
- [c102]Kerstin Bauer, Klaus Schneider:
Predicting Events for the Simulation of Hybrid Systems. CIT 2010: 1833-1840 - [c101]Mike Gemunde, Jens Brandt
, Klaus Schneider:
A Formal Semantics of Clock Refinement in Imperative Synchronous Languages. ACSD 2010: 157-168 - [c100]Jens Brandt
, Klaus Schneider, Sumit Ahuja, Sandeep K. Shukla
:
The Model Checking View to Clock Gating and Operand Isolation. ACSD 2010: 181-190 - [c99]Daniel Baudisch, Jens Brandt
, Klaus Schneider:
Multithreaded code from synchronous programs: Extracting independent threads for OpenMP. DATE 2010: 949-952 - [c98]Kerstin Bauer, Klaus Schneider:
From synchronous programs to symbolic representations of hybrid systems. HSCC 2010: 41-50 - [c97]Daniel Baudisch, Jens Brandt
, Klaus Schneider:
Dependency-Driven Distribution of Synchronous Programs. DIPES/BICC 2010: 169-180 - [c96]Jens Brandt
, Klaus Schneider, Sandeep K. Shukla
:
Translating concurrent action oriented specifications to synchronous guarded actions. LCTES 2010: 47-56 - [c95]Daniel Baudisch, Jens Brandt, Klaus Schneider:
Multithreaded Code from Synchronous Programs: Generating Software Pipelines for OpenMP. MBMV 2010: 11-20 - [c94]Jens Brandt, Mike Gemünde, Klaus Schneider:
From Synchronous Guarded Actions to SystemC. MBMV 2010: 187-196 - [c93]Klaus Schneider, Barbara Jobstmann, Luca P. Carloni, Jens Brandt
:
Message from the chairs. MEMOCODE 2010: 1-3 - [c92]Mike Gemunde, Jens Brandt
, Klaus Schneider:
Compilation of imperative synchronous programs with refined clocks. MEMOCODE 2010: 209-218 - [c91]Andreas Morgenstern, Klaus Schneider:
Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis. GANDALF 2010: 89-102
2000 – 2009
- 2009
- [c90]Jens Brandt
, Mike Gemunde, Klaus Schneider:
Desynchronizing Synchronous Programs by Modes. ACSD 2009: 32-41 - [c89]