Radu Grosu
Orcid: 0000-0001-5715-2142
According to our database1,
Radu Grosu
authored at least 237 papers
between 1993 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Neuromorphic IoT Architecture for Efficient Water Management: A Smart Village Case Study.
CoRR, 2024
CoRR, 2024
Automated Immunophenotyping Assessment for Diagnosing Childhood Acute Leukemia using Set-Transformers.
CoRR, 2024
Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2024
Proceedings of the IEEE International Conference on Robotics and Automation, 2024
Flock-Formation Control of Multi-Agent Systems using Imperfect Relative Distance Measurements.
Proceedings of the IEEE International Conference on Robotics and Automation, 2024
Proceedings of the IEEE International Conference on Robotics and Automation, 2024
Unveiling the Unseen: Identifiable Clusters in Trained Depthwise Convolutional Kernels.
Proceedings of the Twelfth International Conference on Learning Representations, 2024
Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024
2023
IEEE Trans. Autom. Control., November, 2023
Comput. Networks, February, 2023
Comput. Medical Imaging Graph., 2023
Proceedings of the IEEE International Conference on Robotics and Automation, 2023
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023
Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023
2022
IEEE Trans. Intell. Transp. Syst., 2022
ACM Trans. Comput. Heal., 2022
IB-U-Nets: Improving medical image segmentation tasks with 3D Inductive Biased kernels.
CoRR, 2022
CoRR, 2022
Multi-Agent Spatial Predictive Control with Application to Drone Flocking (Extended Version).
CoRR, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022
Proceedings of the 2022 International Conference on Robotics and Automation, 2022
Proceedings of the 21st IEEE International Conference on Machine Learning and Applications, 2022
Proceedings of the 18th IEEE International Conference on Intelligent Computer Communication and Processing, 2022
Proceedings of the Principles of Systems Design, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
Model-based versus Model-free Deep Reinforcement Learning for Autonomous Racing Cars.
CoRR, 2021
Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021
Proceedings of the 20th International Symposium on Parallel and Distributed Computing, 2021
Proceedings of the IEEE International Conference on Robotics and Automation, 2021
On-Off Center-Surround Receptive Fields for Accurate and Robust Image Classification.
Proceedings of the 38th International Conference on Machine Learning, 2021
Proceedings of the 22nd IEEE International Conference on Industrial Technology, 2021
Proceedings of the 22nd IEEE International Conference on Industrial Technology, 2021
Proceedings of the Formal Methods in Outer Space, 2021
Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding.
Proceedings of the 2021 American Control Conference, 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
Intelligent Sea States Identification Based on Maximum Likelihood Evidential Reasoning Rule.
Entropy, 2020
CoRR, 2020
Proceedings of the Science and Technologies for Smart Cities, 2020
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020
Gershgorin Loss Stabilizes the Recurrent Neural Network Compartment of an End-to-end Robot Learning Scheme.
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020
A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits.
Proceedings of the 37th International Conference on Machine Learning, 2020
Proceedings of the Foundations of Software Science and Computation Structures, 2020
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020
2019
Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019
Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans.
Theor. Comput. Sci., 2019
IEEE ACM Trans. Comput. Biol. Bioinform., 2019
Int. J. Softw. Tools Technol. Transf., 2019
CoRR, 2019
A generative neural network model for the quality prediction of work in progress products.
Appl. Soft Comput., 2019
IEEE Access, 2019
Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, 2019
Proceedings of the 13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2019
Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019
Proceedings of the IEEE 23rd International Symposium on Consumer Technologies, 2019
Proceedings of the IEEE 23rd International Symposium on Consumer Technologies, 2019
Response Characterization for Auditing Cell Dynamics in Long Short-term Memory Networks.
Proceedings of the International Joint Conference on Neural Networks, 2019
Proceedings of the IECON 2019, 2019
Proceedings of the International Conference on Robotics and Automation, 2019
Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018
Identifying central nodes for information flow in social networks using compressive sensing.
Soc. Netw. Anal. Min., 2018
CoRR, 2018
CoRR, 2018
Re-purposing Compact Neuronal Circuit Policies to Govern Reinforcement Learning Tasks.
CoRR, 2018
CoRR, 2018
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018
Proceedings of the IEEE International Test Conference, 2018
Proceedings of the 2018 International Joint Conference on Neural Networks, 2018
Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018
Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018
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
Proceedings of the Cyber Physical Systems. Model-Based Design - 8th International Workshop, 2018
Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018
A Compressive Sensing Framework for Distributed Detection of High Closeness Centrality Nodes in Networks.
Proceedings of the Complex Networks and Their Applications VII, 2018
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Proceedings of the Principles of Modeling, 2018
2017
Proceedings of the Dependable Software Systems Engineering, 2017
Soc. Netw. Anal. Min., 2017
A Multi-Sensor Data Fusion Approach for Atrial Hypertrophy Disease Diagnosis Based on Characterized Support Vector Hyperspheres.
Sensors, 2017
J. Intell. Fuzzy Syst., 2017
Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles.
Formal Methods Syst. Des., 2017
Searching for Biophysically Realistic Parameters for Dynamic Neuron Models by Genetic Algorithms from Calcium Imaging Recording.
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
Extracting Implicit Social Relation for Social Recommendation Techniques in User Rating Prediction.
Proceedings of the 26th International Conference on World Wide Web Companion, 2017
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
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
Proceedings of the 20th IEEE International Symposium on Real-Time Distributed Computing, 2017
Proceedings of the 2017 International Joint Conference on Neural Networks, 2017
A novel Bayesian network-based fault prognostic method for semiconductor manufacturing process.
Proceedings of the IEEE International Conference on Industrial Technology, 2017
Proceedings of the Computational Methods in Systems Biology, 2017
Proceedings of the Computer Aided Verification - 29th International Conference, 2017
Proceedings of the Computer Aided Verification - 29th International Conference, 2017
Proceedings of the Automated Technology for Verification and Analysis, 2017
Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017
2016
Int. J. Softw. Tools Technol. Transf., 2016
Elektrotech. Informationstechnik, 2016
Proceedings of the Runtime Verification - 16th International Conference, 2016
Proceedings of the Runtime Verification - 16th International Conference, 2016
Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Proceedings of the 25th IEEE International Symposium on Industrial Electronics, 2016
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016
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
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016
Proceedings of the 27th International Conference on Concurrency Theory, 2016
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
Theor. Comput. Sci., 2015
Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment.
Proceedings of the Runtime Verification - 6th International Conference, 2015
Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015
Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015
Computing bisimulation functions using SOS optimization and <i>δ</i>-decidability over the reals.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015
Proceedings of the Hardware and Software: Verification and Testing, 2015
Proceedings of the Hardware and Software: Verification and Testing, 2015
Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
2014
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
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014
Proceedings of the Hardware and Software: Verification and Testing, 2014
Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014
2013
IEEE ACM Trans. Comput. Biol. Bioinform., 2013
Proceedings of the Proceedings Third International Workshop on Hybrid Autonomous Systems, 2013
Proceedings of the Model Checking Software - 20th International Symposium, 2013
Proceedings of the Runtime Verification - 4th International Conference, 2013
2012
Int. J. Softw. Tools Technol. Transf., 2012
Formal Methods Syst. Des., 2012
Proceedings of the Runtime Verification, Third International Conference, 2012
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
Proceedings of the Automated Technology for Verification and Analysis, 2012
2011
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011
Proceedings of of SYSTOR 2011: The 4th Annual Haifa Experimental Systems Conference, Haifa, Israel, May 30, 2011
Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011
Proceedings of the Runtime Verification - Second International Conference, 2011
Proceedings of the 2011 International Green Computing Conference and Workshops, 2011
Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011
Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
2010
Proceedings of the Implementation and Application of Automata, 2010
Proceedings of the Runtime Verification - First International Conference, 2010
2009
Theor. Comput. Sci., 2009
Commun. ACM, 2009
Proceedings of the Integrated Formal Methods, 7th International Conference, 2009
Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009
2008
BMC Bioinform., 2008
Power Optimization in Fault-Tolerant MANETs.
Proceedings of the 16th International Symposium on Modeling, 2008
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008
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
Proceedings of the First Workshop "From Biology To Concurrency and back", 2007
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007
2006
J. Log. Algebraic Methods Program., 2006
Proceedings of the Second Workshop on Model Based Testing, 2006
Proceedings of the Composition of Embedded Systems. Scientific and Industrial Issues, 2006
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006
Proceedings of the 28th International Conference of the IEEE Engineering in Medicine and Biology Society, 2006
Proceedings of the 28th International Conference of the IEEE Engineering in Medicine and Biology Society, 2006
Proceedings of the 28th International Conference of the IEEE Engineering in Medicine and Biology Society, 2006
2005
Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005
Proceedings of the 3rd Workshop on Software Model Checking, 2005
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005
Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005
2004
ACM Trans. Program. Lang. Syst., 2004
Quantitative Model checking.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004
2002
Formal Methods Syst. Des., 2002
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002
2001
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001
Proceedings of the 23rd International Conference on Software Engineering, 2001
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001
2000
Proceedings of the Mathematical Foundations of Computer Science 2000, 2000
Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000
Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000
Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000
Proceedings of the Computer Aided Verification, 12th International Conference, 2000
1999
Proceedings of the Fifth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999
Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999
Proceedings of the Behavioral Specifications of Businesses and Systems, 1999
1998
Comput. Stand. Interfaces, 1998
From MSCs to Statecharts.
Proceedings of the Distributed and Parallel Embedded Systems, 1998
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998
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
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
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997
1996
Proceedings of the Algebraic Methodology and Software Technology, 1996
1995
1993