Roland J. Weiss

Orcid: 0000-0003-3092-7846

According to our database1, Roland J. Weiss authored at least 43 papers between 1999 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Software Architecture and Machine Learning (Dagstuhl Seminar 23302).
Dagstuhl Reports, 2023

2022
Crosstalk in Elliptical Sensor Arrays for Current Measurement.
IEEE Trans. Instrum. Meas., 2022

VEDLIoT: Very Efficient Deep Learning in IoT.
CoRR, 2022


2021
Busbar Current Measurement With Elliptical Sensor Arrays Without Conductor Specific Calibration.
IEEE Trans. Instrum. Meas., 2021

2020
Mechanically Flexible Sensor Array for Current Measurement.
IEEE Trans. Instrum. Meas., 2020

2019
Influence of the Conductor Position on a Circular Array of Hall Sensors for Current Measurement.
IEEE Trans. Ind. Electron., 2019

2017
Hysteresis Compensation Method for Magnetoresistive Sensors Based on Single Polar Controlled Magnetic Field Pulses.
IEEE Trans. Ind. Electron., 2017

Crosstalk in Circular Arrays of Magnetic Sensors for Current Measurement.
IEEE Trans. Ind. Electron., 2017

Emission monitoring of machines using equally distributed wireless acoustic sensor nodes.
Proceedings of the 2017 IEEE SENSORS, Glasgow, United Kingdom, October 29, 2017

2015
Giant-Magnetoresistance-Based Galvanically Isolated Voltage and Current Measurements.
IEEE Trans. Instrum. Meas., 2015

Hysteresis Compensation Based on Controlled Current Pulses for Magnetoresistive Sensors.
IEEE Trans. Ind. Electron., 2015

2014
Giant magnetoresistive based galvanically isolated voltage measurement.
Proceedings of the IEEE International Workshop on Applied Measurements for Power Systems Proceedings, 2014

2012
MORPHOSIS: A Lightweight Method Facilitating Sustainable Software Architectures.
Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, 2012

Sustainability guidelines for long-living software systems.
Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

Identify Impacts of Evolving Third Party Components on Long-Living Software Systems.
Proceedings of the 16th European Conference on Software Maintenance and Reengineering, 2012

2011
DWARF-driven Equivalence Checking of UML Statecharts and Software Components.
Softwaretechnik-Trends, 2011

Towards Software Sustainability Guidelines for Long-living Industrial Systems.
Proceedings of the Software Engineering 2011, 2011

An industrial case study on quality impact prediction for evolving service-oriented software.
Proceedings of the 33rd International Conference on Software Engineering, 2011

TechSuRe - A Method for Assessing Technology Sustainability in Long Lived Software Intensive Systems.
Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011

2010
Linearizing the Output Characteristic of GMR Current Sensors Through Hysteresis Modeling.
IEEE Trans. Ind. Electron., 2010

Towards Sustainable Industrial Automation Systems.
Softwaretechnik-Trends, 2010

State-based Analysis and UML-driven Equivalence Checking for C++ State Machines.
Proceedings of the FM+AM 2010, 2010

2009
Evolving Industrial Software Architectures into a Software Product Line: A Case Study.
Proceedings of the Architectures for Adaptive Software Systems, 2009

Modelling and Predicting Performance Impacts in a Service-oriented, Industrial Software System from the Automation Domain.
Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

Applicability of the BLAST Model Checker: An Industrial Case Study.
Proceedings of the Perspectives of Systems Informatics, 2009

2008
Advanced Assertion-Based Design for Mixed-Signal Verification.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008

2007
Semiformal Verification of Temporal Properties in Embedded Software.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007

UML/SysML-Systemanalyse zur Generierung von formalen Verifikationseigenschaften für verschiedene Abstraktionsebenen.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007

2006
Automatische Eigenschaftsextraktion auf Systemebene aus SystemC Modellen.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006

Monitoring-based Formal Hardware Verification.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006

Fast falsification based on symbolic bounded property checking.
Proceedings of the 43rd Design Automation Conference, 2006

2005
Distributed Symbolic Bounded Property Checking.
Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification, 2005

Overlap reduction in symbolic system traversal.
Proceedings of the Tenth IEEE International High-Level Design Validation and Test Workshop 2005, Napa Valley, CA, USA, November 30, 2005

Efficient and Customizable Integration of Temporal Properties.
Proceedings of the Forum on specification and Design Languages, 2005

2004
Transactional Level Verification and Coverage Metrics by Means of Symbolic Simulation.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004

Dynamic guiding of bounded property checking.
Proceedings of the Ninth IEEE International High-Level Design Validation and Test Workshop 2004, 2004

Modeling and Formal Verification of Production Automation Systems.
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

2003
Compiling and distributing generic libraries with heterogeneous data and code representation.
PhD thesis, 2003

Storing Properties in Grouped Tagged Tuples.
Proceedings of the Perspectives of Systems Informatics, 2003

ProgDOC - A New Program Documentation System.
Proceedings of the Perspectives of Systems Informatics, 2003

2001
Exploring Template Template Parameters.
Proceedings of the Perspectives of System Informatics, 2001

1999
Heterogeneous, Nested STL Containers in C<sup>++</sup>.
Proceedings of the Perspectives of System Informatics, 1999


  Loading...