Roland J. Weiss

Publication Activity (10 Years)

Years Active: 2004-2017
Publications (10 Years): 2

Top Topics

Correlation Analysis

Software Architecture

Top Venues

IEEE Trans. Ind. Electron.

IEEE Trans. Instrum. Meas.

Publications

Fei Xie, Roland J. Weiss, Robert Weigel
Hysteresis Compensation Method for Magnetoresistive Sensors Based on Single Polar Controlled Magnetic Field Pulses. IEEE Trans. Ind. Electron. 64 (1) (2017)
Roland J. Weiss, Rory Makuch, Alexander Itzke, Robert Weigel
Crosstalk in Circular Arrays of Magnetic Sensors for Current Measurement. IEEE Trans. Ind. Electron. 64 (6) (2017)
Fei Xie, Roland J. Weiss, Robert Weigel
Giant-Magnetoresistance-Based Galvanically Isolated Voltage and Current Measurements. IEEE Trans. Instrum. Meas. 64 (8) (2015)
Fei Xie, Roland J. Weiss, Robert Weigel
Hysteresis Compensation Based on Controlled Current Pulses for Magnetoresistive Sensors. IEEE Trans. Ind. Electron. 62 (12) (2015)
Heiko Koziolek, Dominik Domis, Thomas Goldschmidt, Philipp Vorst, Roland J. Weiss
MORPHOSIS: A Lightweight Method Facilitating Sustainable Software Architectures. WICSA/ECSA (2012)
Patrick Heckeler, Jörg Behrend, Thomas Kropf, Jürgen Ruf, Wolfgang Rosenstiel, Roland J. Weiss
State-based Analysis and UML-driven Equivalence Checking for C++ State Machines. FM+AM (2010)
Stefan Lämmermann, Jörg Behrend, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
UML/SysML-Systemanalyse zur Generierung von formalen Verifikationseigenschaften für verschiedene Abstraktionsebenen. MBMV (2007)
Djones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Roland J. Weiss, Axel G. Braun, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel
Semiformal Verification of Temporal Properties in Embedded Software. MBMV (2007)
Prakash Mohan Peranandam, Pradeep Kumar Nalla, Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel
Fast falsification based on symbolic bounded property checking. DAC (2006)
Pradeep Kumar Nalla, Roland J. Weiss, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Distributed Symbolic Bounded Property Checking. Electron. Notes Theor. Comput. Sci. 135 (2) (2006)
Stefan Lämmermann, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Automatische Eigenschaftsextraktion auf Systemebene aus SystemC Modellen. MBMV (2006)
Paul Duplys, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Monitoring-based Formal Hardware Verification. MBMV (2006)
Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Efficient and Customizable Integration of Temporal Properties. FDL (2005)
Prakash Mohan Peranandam, Pradeep Kumar Nalla, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Overlap reduction in symbolic system traversal. HLDVT (2005)
Prakash Mohan Peranandam, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Dynamic guiding of bounded property checking. HLDVT (2004)
Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel
Modeling and Formal Verification of Production Automation Systems. SoftSpez Final Report (2004)
Prakash Mohan Peranandam, Roland J. Weiss, Jürgen Ruf, Thomas Kropf
Transactional Level Verification and Coverage Metrics by Means of Symbolic Simulation. MBMV (2004)