default search action
Mihai Nica
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j11]Matthew Kreitzer
, Mihai Nica
Using alternating de Bruijn sequences to construct de Bruijn tori. Des. Codes Cryptogr. 92(5): 1439-1454 (2024) - [j10]Lorenz Klampfl, Florian Klück, Mihai Nica, Jianbo Tao, Franz Wotawa
Testing ADAS/ADS - from critical scenarios to automated testing oracles. Elektrotech. Informationstechnik 141(6): 392-399 (2024) - [j9]Cameron Jakub, Mihai Nica:
Depth Degeneracy in Neural Networks: Vanishing Angles in Fully Connected ReLU Networks on Initialization. J. Mach. Learn. Res. 25: 239:1-239:45 (2024) - [j8]Mufan Bill Li, Mihai Nica:
Differential Equation Scaling Limits of Shaped and Unshaped Neural Networks. Trans. Mach. Learn. Res. 2024 (2024) - [c28]Mike Lasby, Anna Golubeva, Utku Evci, Mihai Nica, Yani Ioannou:
Dynamic Sparse Training with Structured Sparsity. ICLR 2024 - 2023
- [j7]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) - [j6]Xinhai Zhang
Finding Critical Scenarios for Automated Driving Systems: A Systematic Mapping Study. IEEE Trans. Software Eng. 49(3): 991-1026 (2023) - [c27]Griffin Floto, Stefan Kremer, Mihai Nica:
The Tilted Variational Autoencoder: Improving Out-of-Distribution Detection. ICLR 2023 - [c26]Ludwig Kampel, Michael Wagner
Applying CT-FLA for AEB Function Testing: A Virtual Driving Case Study. ICSTW 2023: 237-245 - [i15]Cameron Jakub, Mihai Nica:
Depth Degeneracy in Neural Networks: Vanishing Angles in Fully Connected ReLU Networks on Initialization. CoRR abs/2302.09712 (2023) - [i14]Mike Lasby
Dynamic Sparse Training with Structured Sparsity. CoRR abs/2305.02299 (2023) - [i13]Cameron Jakub, Mihai Nica:
Network Degeneracy as an Indicator of Training Performance: Comparing Finite and Infinite Width Angle Predictions. CoRR abs/2306.01513 (2023) - [i12]Griffin Floto, Thorsteinn Jonsson, Mihai Nica, Scott Sanner, Eric Zhengyu Zhu:
Diffusion on the Probability Simplex. CoRR abs/2309.02530 (2023) - [i11]Mufan Bill Li, Mihai Nica:
Differential Equation Scaling Limits of Shaped and Unshaped Neural Networks. CoRR abs/2310.12079 (2023) - [i10]Michal Lisicki, Mihai Nica, Graham W. Taylor:
Bandit-Driven Batch Selection for Robust Learning under Label Noise. CoRR abs/2311.00096 (2023) - 2022
- [c25]Mufan (Bill) Li, Mihai Nica, Daniel M. Roy:
The Neural Covariance SDE: Shaped Infinite Depth-and-Width Networks at Initialization. NeurIPS 2022 - [i9]Mufan (Bill) Li, Mihai Nica, Daniel M. Roy:
The Neural Covariance SDE: Shaped Infinite Depth-and-Width Networks at Initialization. CoRR abs/2206.02768 (2022) - [i8]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 abs/2207.09408 (2022) - 2021
- [c24]Florian Klück, Franz Wotawa
Analysing Experimental Results Obtained when Applying Search-based Testing to Verify Automated Driving Functions. DSA 2021: 213-219 - [c23]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: 7852-7864 - [i7]Mufan (Bill) Li, Mihai Nica, Daniel M. Roy:
The Future is Log-Gaussian: ResNets and Their Infinite-Depth-and-Width Limit at Initialization. CoRR abs/2106.04013 (2021) - [i6]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 abs/2110.08664 (2021) - [i5]Griffin Floto, Stefan Kremer, Mihai Nica:
Exponentially Tilted Gaussian Prior for Variational Autoencoder. CoRR abs/2111.15646 (2021) - 2020
- [j5]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: 109672 (2020) - [c22]Boris Hanin, Mihai Nica:
Finite Depth and Width Corrections to the Neural Tangent Kernel. ICLR 2020 - [c21]Nour Chetouane, Franz Wotawa
On Using k-means Clustering for Test Suite Reduction. ICST Workshops 2020: 380-385 - [i4]Jihun Han, Mihai Nica, Adam R. Stinchcombe:
A Derivative-Free Method for Solving Elliptic Partial Differential Equations with Deep Neural Networks. CoRR abs/2001.06145 (2020) - [i3]Cameron Martin, Hongyuan Zhang, Julia Costacurta, Mihai Nica, Adam R. Stinchcombe:
Solving Elliptic Equations with Brownian Motion: Bias Reduction and Temporal Difference Learning. CoRR abs/2008.00144 (2020)
2010 – 2019
- 2019
- [c20]Hermann Felbinger, Florian Klück, Yihao Li, Mihai Nica, Jianbo Tao, Franz Wotawa
Comparing two systematic approaches for testing automated driving functions. ICCVE 2019: 1-6 - [c19]Jianbo Tao, Yihao Li, Franz Wotawa, Hermann Felbinger, Mihai Nica:
On the Industrial Application of Combinatorial Testing for Autonomous Driving Functions. ICST Workshops 2019: 234-240 - [c18]Florian Klück, Martin Zimmermann, Franz Wotawa, Mihai Nica:
Performance Comparison of Two Search-Based Testing Strategies for ADAS System Validation. ICTSS 2019: 140-156 - [c17]Florian Klück, Martin Zimmermann, Franz Wotawa, Mihai Nica:
Genetic Algorithm-Based Test Parameter Optimization for ADAS System Testing. QRS 2019: 418-425 - [i2]Boris Hanin, Mihai Nica:
Finite Depth and Width Corrections to the Neural Tangent Kernel. CoRR abs/1909.05989 (2019) - 2018
- [j4]Franz Wotawa
Quality assurance methodologies for automated driving. Elektrotech. Informationstechnik 135(4-5): 322-327 (2018) - [c16]Hermann Felbinger, Franz Wotawa
Adapting Unit Tests by Generating Combinatorial Test Data. ICST Workshops 2018: 352-355 - [c15]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: 118-123 - 2017
- [c14]Hermann Felbinger, Franz Wotawa
Mutation Score, Coverage, Model Inference: Quality Assessment for T-Way Combinatorial Test-Suites. ICST Workshops 2017: 171-180 - 2016
- [c13]Hermann Felbinger, Franz Wotawa
Empirical study of correlation between mutation score and model inference based test suite adequacy assessment. AST@ICSE 2016: 43-49 - [c12]Ingo Pill, Ivan Rubil, Franz Wotawa
SIMULTATE: A Toolset for Fault Injection and Mutation Testing of Simulink Models. ICST Workshops 2016: 168-173 - [c11]Hermann Felbinger, Franz Wotawa
Test-Suite Reduction Does Not Necessarily Require Executing the Program under Test. QRS Companion 2016: 23-30 - [e1]Franz Wotawa, Mihai Nica, Natalia Kushik:
Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings. Lecture Notes in Computer Science 9976, 2016, ISBN 978-3-319-47442-7 [contents] - 2015
- [c10]Ingo Pill
Analyzing the reduction of test suite redundancy. ISSRE Workshops 2015: 65 - [i1]Mihai Nica:
Optimal Strategy in "Guess Who?". CoRR abs/1509.03327 (2015) - 2013
- [j3]Mihai Nica, Simona Nica, Franz Wotawa
On the use of mutations and testing for debugging. Softw. Pract. Exp. 43(9): 1121-1142 (2013) - 2012
- [j2]Franz Wotawa
Automated debugging based on a constraint model of the program and a test case. J. Log. Algebraic Methods Program. 81(4): 390-407 (2012) - 2011
- [c9]Franz Wotawa
Program Debugging Using Constraints - Is it Feasible? QSIC 2011: 236-243 - [c8]Franz Wotawa, Simona Nica, Mihai Nica:
Debugging and test case generation using constraints and mutations. WISES 2011: 95-100 - 2010
- [c7]Franz Wotawa
Generating Distinguishing Tests Using the Minion Constraint Solver. ICST Workshops 2010: 325-330 - [c6]Mihai Nica, Simona Nica, Franz Wotawa
Does Testing Help to Reduce the Number of Potentially Faulty Statements in Debugging? TAIC PART 2010: 88-103
2000 – 2009
- 2009
- [c5]Franz Wotawa
On the Complexity of Program Debugging Using Constraints for Modeling the Program's Syntax and Semantics. CAEPIA 2009: 22-31 - [c4]Bernhard Peischl
Recommending Effort Estimation Methods for Software Project Management. Web Intelligence/IAT Workshops 2009: 77-80 - 2008
- [j1]Franz Wotawa, Mihai Nica:
On the Compilation of Programs into their Equivalent Constraint Representation. Informatica (Slovenia) 32(4): 359-371 (2008) - [c3]Mihai Nica, Franz Wotawa:
From constraint representations of sequential code and program annotations to their use in debugging. ECAI 2008: 797-798 - [c2]Mihai Nica, Bernhard Peischl, Franz Wotawa:
A Constraint Model for Automated Deployment of Automotive Control Software. SEKE 2008: 899-904 - 2007
- [c1]Franz Wotawa, Mihai Nica:
Converting Programs into Constraint Satisfaction Problems. IDC 2007: 228-236
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 20:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: