Publications (24)
Neural State Classification for Hybrid Systems
Dung Phan, Nicola Paoletti, Timothy Zhang +3
Quantitative Regular Expressions for Arrhythmia Detection Algorithms
Houssam Abbas, Alena Rodionova, Ezio Bartocci +2
Neuronal Circuit Policies
Mathias Lechner, Ramin M. Hasani, Radu Grosu
Dynamic Network Model from Partial Observations
Elahe Ghalebi, Baharan Mirzasoleiman, Radu Grosu +1
Concurrent Timed Port Automata
Radu Grosu, Bernhard Rumpe
A Roadmap Towards Resilient Internet of Things for Cyber-Physical Systems
Denise Ratasich, Faiq Khalid, Florian Geissler +3
Liquid Time-constant Recurrent Neural Networks as Universal Approximators
Ramin M. Hasani, Mathias Lechner, Alexander Amini +2
Response Characterization for Auditing Cell Dynamics in Long Short-term Memory Networks
Ramin M. Hasani, Alexander Amini, Mathias Lechner +3
An Algebraic Framework for Runtime Verification
Stefan Jaksic, Ezio Bartocci, Radu Grosu +1
Temporal Logic as Filtering
Alena Rodionova, Ezio Bartocci, Dejan Nickovic +1
Exemplary and Complete Object Interaction Descriptions
Ruth Breu, Radu Grosu, Christoph Hofmann +5
How to Learn a Model Checker
Dung Phan, Radu Grosu, Nicola Paoletti +2
Deep Neural Programs for Adaptive Control in Cyber-Physical Systems
Konstantin Selyunin, Denise Ratasich, Ezio Bartocci +1
Systems, Views and Models of UML
Ruth Breu, Radu Grosu, Franz Huber +2
Towards a Precise Semantics for Object-Oriented Modeling Techniques
Ruth Breu, Radu Grosu, Franz Huber +2
HellRank: A Hellinger-based Centrality Measure for Bipartite Social Networks
Seyed Mohammad Taheri, Hamidreza Mahyar, Mohammad Firouzi +3
Non-Associative Learning Representation in the Nervous System of the Nematode Caenorhabditis elegans
Ramin M. Hasani, Magdalena Fuchs, Victoria Beneder +1
Enhancing the SysLab System Model with State
Radu Grosu, Cornel Klein, Bernhard Rumpe
Parallel Reachability Analysis for Hybrid Systems
Amit Gurung, Arup Deka, Ezio Bartocci +3
Worm-level Control through Search-based Reinforcement Learning
Mathias Lechner, Radu Grosu, Ramin M. Hasani
Extracting Implicit Social Relation for Social Recommendation Techniques in User Rating Prediction
Seyed Mohammad Taheri, Hamidreza Mahyar, Mohammad Firouzi +3
Searching for Biophysically Realistic Parameters for Dynamic Neuron Models by Genetic Algorithms from Calcium Imaging Recording
Magdalena Fuchs, Manuel Zimmer, Radu Grosu +1
SIM-CE: An Advanced Simulink Platform for Studying the Brain of Caenorhabditis elegans
Ramin M. Hasani, Victoria Beneder, Magdalena Fuchs +2
An Automated Auto-encoder Correlation-based Health-Monitoring and Prognostic Method for Machine Bearings
Ramin M. Hasani, Guodong Wang, Radu Grosu