Radu Grosu

According to our database1, Radu Grosu authored at least 163 papers between 1993 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
An Algebraic Framework for Runtime Verification.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2018

Identifying central nodes for information flow in social networks using compressive sensing.
Social Netw. Analys. Mining, 2018

Quantitative monitoring of STL with edit distance.
Formal Methods in System Design, 2018

A Roadmap Towards Resilient Internet of Things for Cyber-Physical Systems.
CoRR, 2018

Tight Continuous-Time Reachtubes for Lagrangian Reachability.
CoRR, 2018

Re-purposing Compact Neuronal Circuit Policies to Govern Reinforcement Learning Tasks.
CoRR, 2018

Response Characterization for Auditing Cell Dynamics in Long Short-term Memory Networks.
CoRR, 2018

Neural State Classification for Hybrid Systems.
CoRR, 2018

Dynamic Network Model from Partial Observations.
CoRR, 2018

Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems.
CoRR, 2018

Neuronal Circuit Policies.
CoRR, 2018

An Algebraic Framework for Runtime Verification.
CoRR, 2018

Declarative vs rule-based control for flocking dynamics.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Unsupervised Wafermap Patterns Clustering via Variational Autoencoders.
Proceedings of the 2018 International Joint Conference on Neural Networks, 2018

A multi-bias recurrent neural network for modeling milling sensory data.
Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018

Self-healing by property-guided structural adaptation.
Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018

OpenUAV: a UAV testbed for the CPS and robotics community.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Formation control and persistent monitoring in the openUAV swarm simulator on the NSF CPS-VO.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Resilient Control and Safety for Cyber-Physical Systems.
Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018

Compressed Sensing in Cyber Physical Social Systems.
Proceedings of the Principles of Modeling, 2018

Neural State Classification for Hybrid Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2018

2017
Temporal Logic as Filtering.
Dependable Software Systems Engineering, 2017

HellRank: a Hellinger-based centrality measure for bipartite social networks.
Social Netw. Analys. Mining, 2017

A Multi-Sensor Data Fusion Approach for Atrial Hypertrophy Disease Diagnosis Based on Characterized Support Vector Hyperspheres.
Sensors, 2017

Gaussian convex evidence theory for ordered and fuzzy evidence fusion.
Journal of Intelligent and Fuzzy Systems, 2017

Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles.
Formal Methods in System Design, 2017

How to Learn a Model Checker.
CoRR, 2017

Worm-level Control through Search-based Reinforcement Learning.
CoRR, 2017

Searching for Biophysically Realistic Parameters for Dynamic Neuron Models by Genetic Algorithms from Calcium Imaging Recording.
CoRR, 2017

Declarative vs Rule-based Control for Flocking Dynamics.
CoRR, 2017

Attacking the V: On the Resiliency of Adaptive-Horizon MPC.
CoRR, 2017

A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems.
CoRR, 2017

Model Checking Cyber-Physical Systems using Particle Swarm Optimization.
CoRR, 2017

An Automated Auto-encoder Correlation-based Health-Monitoring and Prognostic Method for Machine Bearings.
CoRR, 2017

Non-Associative Learning Representation in the Nervous System of the Nematode Caenorhabditis elegans.
CoRR, 2017

SIM-CE: An Advanced Simulink Platform for Studying the Brain of Caenorhabditis elegans.
CoRR, 2017

Lagrangian Reachabililty.
CoRR, 2017

Extracting Implicit Social Relation for Social Recommendation Techniques in User Rating Prediction.
Proceedings of the 26th International Conference on World Wide Web Companion, 2017

ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

A Survey of Hardware Technologies for Mixed-Critical Integration Explored in the Project EMC^2.
Proceedings of the Computer Safety, Reliability, and Security, 2017

Computing with Biophysical and Hardware-Efficient Neural Models.
Proceedings of the Advances in Computational Intelligence, 2017

Towards Deterministic and Stochastic Computations with the Izhikevich Spiking-Neuron Model.
Proceedings of the Advances in Computational Intelligence, 2017

A Self-Healing Framework for Building Resilient Cyber-Physical Systems.
Proceedings of the 20th IEEE International Symposium on Real-Time Distributed Computing, 2017

Compositional neural-network modeling of complex analog circuits.
Proceedings of the 2017 International Joint Conference on Neural Networks, 2017

Quantitative Regular Expressions for Arrhythmia Detection Algorithms.
Proceedings of the Computational Methods in Systems Biology, 2017

Runtime Monitoring with Recovery of the SENT Communication Protocol.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

Lagrangian Reachabililty.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

Attacking the V: On the Resiliency of Adaptive-Horizon MPC.
Proceedings of the Automated Technology for Verification and Analysis, 2017

A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems.
Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017

2016
Guided search for hybrid systems based on coarse-grained space abstractions.
STTT, 2016

Cyber-physical systems: challenge of the 21st century.
Elektrotechnik und Informationstechnik, 2016

ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans.
CoRR, 2016

Parallel Reachability Analysis for Hybrid Systems.
CoRR, 2016

Regular Expressions for Irregular Rhythms.
CoRR, 2016

Applying Runtime Monitoring for Automotive Electronic Development.
Proceedings of the Runtime Verification - 16th International Conference, 2016

Quantitative Monitoring of STL with Edit Distance.
Proceedings of the Runtime Verification - 16th International Conference, 2016

Parallel reachability analysis for hybrid systems.
Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Feedback Control for Statistical Model Checking of Cyber-Physical Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

A heterogeneous time-triggered architecture on a hybrid system-on-a-chip platform.
Proceedings of the 25th IEEE International Symposium on Industrial Electronics, 2016

Temporal Logic as Filtering.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Discrete Abstraction of Multiaffine Systems.
Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016

Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

Monitoring of MTL specifications with IBM's spiking-neuron model.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Love Thy Neighbor: V-Formation as a Problem of Model Predictive Control.
Proceedings of the 27th International Conference on Concurrency Theory, 2016

Bifurcation Analysis of Cardiac Alternans Using \delta -Decidability.
Proceedings of the Computational Methods in Systems Biology, 2016

CyberCardia project: Modeling, verification and validation of implantable cardiac devices.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2016

2015
Model-order reduction of ion channel dynamics using approximate bisimulation.
Theor. Comput. Sci., 2015

Deep Neural Programs for Adaptive Control in Cyber-Physical Systems.
CoRR, 2015

Temporal Logic as Filtering.
CoRR, 2015

Model Checking Tap Withdrawal in C. Elegans.
CoRR, 2015

Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment.
Proceedings of the Runtime Verification - 6th International Conference, 2015

From signal temporal logic to FPGA monitors.
Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

Generic sensor fusion package for ROS.
Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

Computing bisimulation functions using SOS optimization and δ-decidability over the reals.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

SpaTeL: a novel spatial-temporal logic and its applications to networked systems.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

XSpeed: Accelerating Reachability Analysis on Multi-core Processors.
Proceedings of the Hardware and Software: Verification and Testing, 2015

Abstraction-Based Parameter Synthesis for Multiaffine Systems.
Proceedings of the Hardware and Software: Verification and Testing, 2015

Model Checking Tap Withdrawal in C. Elegans.
Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

Neural Programming: Towards adaptive control in Cyber-Physical Systems.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014
Cyber-Physical Systems: Theoretical and Practical Challenges.
ERCIM News, 2014

Concurrent Timed Port Automata.
CoRR, 2014

Enhancing the SysLab System Model with State.
CoRR, 2014

Systems, Views and Models of UML.
CoRR, 2014

Towards a Precise Semantics for Object-Oriented Modeling Techniques.
CoRR, 2014

Exemplary and Complete Object Interaction Descriptions.
CoRR, 2014

Using Statistical Model Checking for Measuring Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Compositionality results for cardiac cell dynamics.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Assume-Guarantee Abstraction Refinement Meets Hybrid Systems.
Proceedings of the Hardware and Software: Verification and Testing, 2014

Compositional Branching-Time Measurements.
Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

2013
Curvature Analysis of Cardiac Excitation Wavefronts.
IEEE/ACM Trans. Comput. Biology Bioinform., 2013

Monitoring with uncertainty.
Proceedings of the Proceedings Third International Workshop on Hybrid Autonomous Systems, 2013

Abstraction-Based Guided Search for Hybrid Systems.
Proceedings of the Model Checking Software - 20th International Symposium, 2013

Runtime Verification with Particle Filtering.
Proceedings of the Runtime Verification - 4th International Conference, 2013

2012
Software monitoring with controllable overhead.
STTT, 2012

InterAspect: aspect-oriented instrumentation with GCC.
Formal Methods in System Design, 2012

Adaptive Runtime Verification.
Proceedings of the Runtime Verification, Third International Conference, 2012

Approximate Bisimulations for Sodium Channel Dynamics.
Proceedings of the Computational Methods in Systems Biology, 2012

A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

On Temporal Logic and Signal Processing.
Proceedings of the Automated Technology for Verification and Analysis, 2012

2011
Model Repair for Probabilistic Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

On the energy consumption and performance of systems software.
Proceedings of of SYSTOR 2011: The 4th Annual Haifa Experimental Systems Conference, Haifa, Israel, May 30, 2011

A Change of Perspective Yields Formal Analysis.
Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

Runtime Verification with State Estimation.
Proceedings of the Runtime Verification - Second International Conference, 2011

Model discovery for energy-aware computing systems: An experimental evaluation.
Proceedings of the 2011 International Green Computing Conference and Workshops, 2011

Curvature analysis of cardiac excitation wavefronts.
Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011

Toward real-time simulation of cardiac dynamics.
Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011

From Cardiac Cells to Genetic Regulatory Networks.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010
The Cayley-Hamilton Theorem for Noncommutative Semirings.
Proceedings of the Implementation and Application of Automata, 2010

Aspect-Oriented Instrumentation with GCC.
Proceedings of the Runtime Verification - First International Conference, 2010

2009
Modeling and simulation of cardiac tissue using hybrid I/O automata.
Theor. Comput. Sci., 2009

Learning and detecting emergent behavior in networks of cardiac myocytes.
Commun. ACM, 2009

Dynamic Path Reduction for Software Model Checking.
Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

Finite Automata as Time-Inv Linear Systems Observability, Reachability and More.
Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

2008
Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue.
Electr. Notes Theor. Comput. Sci., 2008

CellExcite: an efficient simulation environment for excitable cells.
BMC Bioinformatics, 2008

Power Optimization in Fault-Tolerant MANETs.
Proceedings of the 16th International Symposium on Modeling, 2008

Software monitoring with bounded overhead.
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks.
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

Formal Analysis of Abnormal Excitation in Cardiac Tissue.
Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008

StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes.
Proceedings of the Concurrency, 2008

2007
Model Predictive Control for Memory Profiling.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Learning Cycle-Linear Hybrid Automata for Excitable Cells.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

2006
Compositional modeling and refinement for hierarchical hybrid systems.
J. Log. Algebr. Program., 2006

Monte Carlo Methods for Process Algebra.
Electr. Notes Theor. Comput. Sci., 2006

Open-Source Model Checking.
Electr. Notes Theor. Comput. Sci., 2006

Runtime Verification for High-Confidence Systems: A Monte Carlo Approach.
Electr. Notes Theor. Comput. Sci., 2006

Deep Random Search for Efficient Model Checking of Timed Automata.
Proceedings of the Composition of Embedded Systems. Scientific and Industrial Issues, 2006

Compiler-assisted software verification using plug-ins.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2005
Monte Carlo Model Checking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Safety-Liveness Semantics for UML 2.0 Sequence Diagrams.
Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005

2004
Modular refinement of hierarchic reactive machines.
ACM Trans. Program. Lang. Syst., 2004

Quantitative Model checking.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

2002
Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts.
Formal Methods in System Design, 2002

High-confidence operating systems.
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

2001
Stream-Based Specification of Mobile Systems.
Formal Asp. Comput., 2001

Automated Software Engineering Using Concurrent Class Machines.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Shared Variables Interaction Diagrams.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

JMOCHA: A Model Checking Tool that Exploits Design Structure.
Proceedings of the 23rd International Conference on Software Engineering, 2001

Compositional Refinement for Hierarchical Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

2000
Mixed Relations as Enriched Semiringal Categories.
J. UCS, 2000

Modular Refinement of Hierarchic Reactive Machines.
Proceedings of the POPL 2000, 2000

And/Or Hierarchies and Round Abstraction.
Proceedings of the Mathematical Foundations of Computer Science 2000, 2000

Hybrid Sequence Charts.
Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000

Modular Specification of Hybrid Systems in CHARON.
Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

Automated Refinement Checking for Asynchronous Processes.
Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

Efficient Reachability Analysis of Hierarchical Reactive Machines.
Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999
Requirements specification of an automotive system with hybrid sequence charts.
Proceedings of the Fifth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999

Focusing on Mobility.
Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

What is Behind UML-RT?
Proceedings of the Behavioral Specifications of Businesses and Systems, 1999

1998
Exemplary and complete object interaction descriptions.
Computer Standards & Interfaces, 1998

From MSCs to Statecharts.
Proceedings of the Distributed and Parallel Embedded Systems, 1998

A Modular Visual Model for Hybrid Systems.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

Visual Formalisms Revisited.
Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998

1997
Systems, Views and Models of UML.
Proceedings of the Unified Modeling Language, 1997

Reconciling Real-Time with Asynchronous Message Passing.
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

Modeling the Dynamic Behavior of Objects on Events, Messages and Methods (Extended Abstract).
Proceedings of the Euro-Par '97 Parallel Processing, 1997

Towards a Precise Semantics for Object-Oriented Modeling Techniques.
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

1996
A Model for Mobile Point-to-Point Data-flow Networks without Channel Sharing.
Proceedings of the Algebraic Methodology and Software Technology, 1996

1995
A formal foundation for concurrent object oriented programming.
PhD thesis, 1995

1993
The Semantics of SPECTRUM.
Proceedings of the Higher-Order Algebra, 1993


  Loading...