Mihai Nica

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 38

Top Topics

Temporal Difference

Structured Sparsity

Quality Assurance

Top Venues

ISSRE Workshops

Publications

Mufan Bill Li, Mihai Nica
Differential Equation Scaling Limits of Shaped and Unshaped Neural Networks. Trans. Mach. Learn. Res. 2024 (2024)
Mike Lasby, Anna Golubeva, Utku Evci, Mihai Nica, Yani Ioannou
Dynamic Sparse Training with Structured Sparsity. ICLR (2024)
Matthew Kreitzer, Mihai Nica, Rajesh Pereira
Using alternating de Bruijn sequences to construct de Bruijn tori. Des. Codes Cryptogr. 92 (5) (2024)
Cameron Jakub, Mihai Nica
Depth Degeneracy in Neural Networks: Vanishing Angles in Fully Connected ReLU Networks on Initialization. CoRR (2023)
Michal Lisicki, Mihai Nica, Graham W. Taylor
Bandit-Driven Batch Selection for Robust Learning under Label Noise. CoRR (2023)
Xinhai Zhang, Jianbo Tao, Kaige Tan, Martin Törngren, José Manuel Gaspar Sánchez, Muhammad Rusyadi Ramli, Xin Tao, Magnus Gyllenhammar, Franz Wotawa, Naveen Mohan, Mihai Nica, Hermann Felbinger
Finding Critical Scenarios for Automated Driving Systems: A Systematic Mapping Study. IEEE Trans. Software Eng. 49 (3) (2023)
Mufan Bill Li, Mihai Nica
Differential Equation Scaling Limits of Shaped and Unshaped Neural Networks. CoRR (2023)
Cameron Jakub, Mihai Nica
Network Degeneracy as an Indicator of Training Performance: Comparing Finite and Infinite Width Angle Predictions. CoRR (2023)
Griffin Floto, Thorsteinn Jonsson, Mihai Nica, Scott Sanner, Eric Zhengyu Zhu
Diffusion on the Probability Simplex. CoRR (2023)
Griffin Floto, Stefan Kremer, Mihai Nica
The Tilted Variational Autoencoder: Improving Out-of-Distribution Detection. ICLR (2023)
Mike Lasby, Anna Golubeva, Utku Evci, Mihai Nica, Yani A. Ioannou
Dynamic Sparse Training with Structured Sparsity. CoRR (2023)
Angus Galloway, Anna Golubeva, Mahmoud Salem, Mihai Nica, Yani A. Ioannou, Graham W. Taylor
Bounding generalization error with input compression: An empirical study with infinite-width networks. Trans. Mach. Learn. Res. 2023 (2023)
Ludwig Kampel, Michael Wagner, Dimitris E. Simos, Mihai Nica, Dino Dodig, David Kaufmann, Franz Wotawa
Applying CT-FLA for AEB Function Testing: A Virtual Driving Case Study. ICSTW (2023)
Mufan (Bill) Li, Mihai Nica, Daniel M. Roy
The Neural Covariance SDE: Shaped Infinite Depth-and-Width Networks at Initialization. NeurIPS (2022)
Mufan (Bill) Li, Mihai Nica, Daniel M. Roy
The Neural Covariance SDE: Shaped Infinite Depth-and-Width Networks at Initialization. CoRR (2022)
Angus Galloway, Anna Golubeva, Mahmoud Salem, Mihai Nica, Yani A. Ioannou, Graham W. Taylor
Bounding generalization error with input compression: An empirical study with infinite-width networks. CoRR (2022)
Florian Klück, Franz Wotawa, Gerhard Neubauer, Jianbo Tao, Mihai Nica
Analysing Experimental Results Obtained when Applying Search-based Testing to Verify Automated Driving Functions. DSA (2021)
Mufan Bill Li, Mihai Nica, Daniel M. Roy
The Future is Log-Gaussian: ResNets and Their Infinite-Depth-and-Width Limit at Initialization. CoRR (2021)
Mufan (Bill) Li, Mihai Nica, Daniel M. Roy
The future is log-Gaussian: ResNets and their infinite-depth-and-width limit at initialization. NeurIPS (2021)
Xinhai Zhang, Jianbo Tao, Kaige Tan, Martin Törngren, José Manuel Gaspar Sánchez, Muhammad Rusyadi Ramli, Xin Tao, Magnus Gyllenhammar, Franz Wotawa, Naveen Mohan, Mihai Nica, Hermann Felbinger
Finding Critical Scenarios for Automated Driving Systems: A Systematic Literature Review. CoRR (2021)
Griffin Floto, Stefan Kremer, Mihai Nica
Exponentially Tilted Gaussian Prior for Variational Autoencoder. CoRR (2021)
Cameron Martin, Hongyuan Zhang, Julia Costacurta, Mihai Nica, Adam R. Stinchcombe
Solving Elliptic Equations with Brownian Motion: Bias Reduction and Temporal Difference Learning. CoRR (2020)
Nour Chetouane, Franz Wotawa, Hermann Felbinger, Mihai Nica
On Using k-means Clustering for Test Suite Reduction. ICST Workshops (2020)
Jihun Han, Mihai Nica, Adam R. Stinchcombe
A derivative-free method for solving elliptic partial differential equations with deep neural networks. J. Comput. Phys. 419 (2020)
Boris Hanin, Mihai Nica
Finite Depth and Width Corrections to the Neural Tangent Kernel. ICLR (2020)
Jihun Han, Mihai Nica, Adam R. Stinchcombe
A Derivative-Free Method for Solving Elliptic Partial Differential Equations with Deep Neural Networks. CoRR (2020)
Jianbo Tao, Yihao Li, Franz Wotawa, Hermann Felbinger, Mihai Nica
On the Industrial Application of Combinatorial Testing for Autonomous Driving Functions. ICST Workshops (2019)
Florian Klück, Martin Zimmermann, Franz Wotawa, Mihai Nica
Performance Comparison of Two Search-Based Testing Strategies for ADAS System Validation. ICTSS (2019)
Hermann Felbinger, Florian Klück, Yihao Li, Mihai Nica, Jianbo Tao, Franz Wotawa, Martin Zimmermann
Comparing two systematic approaches for testing automated driving functions. ICCVE (2019)
Florian Klück, Martin Zimmermann, Franz Wotawa, Mihai Nica
Genetic Algorithm-Based Test Parameter Optimization for ADAS System Testing. QRS (2019)
Boris Hanin, Mihai Nica
Finite Depth and Width Corrections to the Neural Tangent Kernel. CoRR (2019)
Hermann Felbinger, Franz Wotawa, Mihai Nica
Adapting Unit Tests by Generating Combinatorial Test Data. ICST Workshops (2018)
Franz Wotawa, Bernhard Peischl, Florian Klück, Mihai Nica
Quality assurance methodologies for automated driving. Elektrotech. Informationstechnik 135 (4-5) (2018)
Florian Klück, Yihao Li, Mihai Nica, Jianbo Tao, Franz Wotawa
Using Ontologies for Test Suites Generation for Automated and Autonomous Driving Functions. ISSRE Workshops (2018)
Hermann Felbinger, Franz Wotawa, Mihai Nica
Mutation Score, Coverage, Model Inference: Quality Assessment for T-Way Combinatorial Test-Suites. ICST Workshops (2017)
Hermann Felbinger, Franz Wotawa, Mihai Nica
Test-Suite Reduction Does Not Necessarily Require Executing the Program under Test. QRS Companion (2016)
Ingo Pill, Ivan Rubil, Franz Wotawa, Mihai Nica
SIMULTATE: A Toolset for Fault Injection and Mutation Testing of Simulink Models. ICST Workshops (2016)
Hermann Felbinger, Franz Wotawa, Mihai Nica
Empirical study of correlation between mutation score and model inference based test suite adequacy assessment. AST@ICSE (2016)
Ingo Pill, Seema Jehan, Franz Wotawa, Mihai Nica
Analyzing the reduction of test suite redundancy. ISSRE Workshops (2015)
Mihai Nica
Optimal Strategy in "Guess Who?". CoRR (2015)
Mihai Nica, Simona Nica, Franz Wotawa
On the use of mutations and testing for debugging. Softw. Pract. Exp. 43 (9) (2013)
Franz Wotawa, Mihai Nica, Iulia Moraru
Automated debugging based on a constraint model of the program and a test case. J. Log. Algebraic Methods Program. 81 (4) (2012)
Franz Wotawa, Simona Nica, Mihai Nica
Debugging and test case generation using constraints and mutations. WISES (2011)
Franz Wotawa, Mihai Nica
Program Debugging Using Constraints - Is it Feasible? QSIC (2011)
Franz Wotawa, Mihai Nica, Bernhard K. Aichernig
Generating Distinguishing Tests Using the Minion Constraint Solver. ICST Workshops (2010)
Mihai Nica, Simona Nica, Franz Wotawa
Does Testing Help to Reduce the Number of Potentially Faulty Statements in Debugging? TAIC PART (2010)
Franz Wotawa, Jörg Weber, Mihai Nica, Rafael Ceballos
On the Complexity of Program Debugging Using Constraints for Modeling the Program's Syntax and Semantics. CAEPIA (2009)
Bernhard Peischl, Mihai Nica, Markus Zanker, Wolfgang Schmid
Recommending Effort Estimation Methods for Software Project Management. Web Intelligence/IAT Workshops (2009)
Franz Wotawa, Mihai Nica
On the Compilation of Programs into their Equivalent Constraint Representation. Informatica (Slovenia) 32 (4) (2008)
Mihai Nica, Bernhard Peischl, Franz Wotawa
A Constraint Model for Automated Deployment of Automotive Control Software. SEKE (2008)
Mihai Nica, Franz Wotawa
From constraint representations of sequential code and program annotations to their use in debugging. ECAI (2008)
Franz Wotawa, Mihai Nica
Converting Programs into Constraint Satisfaction Problems. IDC (2007)