Search results for "invariants"

Hits ?▲	Authors	Title	Venue	Year	Link
11	Ivan Bocic, Tevfik Bultan, Nicolás Rosner	Inductive verification of data model invariants in web applications using first-order logic.	Autom. Softw. Eng.	2019	DBLP DOI BibTeX RDF
11	Krzysztof Krupinski, Ludomir Newelski, Pierre Simon	Boundedness and absoluteness of some dynamical invariants in model theory.	J. Math. Log.	2019	DBLP DOI BibTeX RDF
11	Vladimir Vapnik, Rauf Izmailov	Rethinking statistical learning theory: learning using statistical invariants.	Mach. Learn.	2019	DBLP DOI BibTeX RDF
11	Pierre Lairez, Emre Can Sertöz	A Numerical Transcendental Method in Algebraic Geometry: Computation of Picard Groups and Related Invariants.	SIAM J. Appl. Algebra Geom.	2019	DBLP DOI BibTeX RDF
11	Paul J. Dellar	Relativistic properties and invariants of the Du Fort-Frankel scheme for the one-dimensional Schrödinger equation.	J. Comput. Phys. X	2019	DBLP DOI BibTeX RDF
11	Leonid Bedratyuk	2D moment invariants from the point of view of the classical invariant theory.	CoRR	2019	DBLP BibTeX RDF
11	Gabriel Ryan, Justin Wong, Jianan Yao, Ronghui Gu, Suman Jana	CLN2INV: Learning Loop Invariants with Continuous Logic Networks.	CoRR	2019	DBLP BibTeX RDF
11	Joscha Diehl, Kurusch Ebrahimi-Fard, Nikolas Tapia	Time warping invariants of multidimensional time series.	CoRR	2019	DBLP BibTeX RDF
11	Anant A. Joshi, Kamesh Subbarao	Uncertainty Quantification And Analysis Of Dynamical Systems With Invariants.	CoRR	2019	DBLP BibTeX RDF
11	Qiuye Wang, Lihong Zhi, Naijun Zhan, Bai Xue 0001, Zhi-Hong Yang	Synthesizing More Expressive Invariants by Semidefinite Programming.	CoRR	2019	DBLP BibTeX RDF
11	ThanhVu Nguyen, Matthew B. Dwyer, Willem Visser	SymInfer: Inferring Program Invariants using Symbolic States.	CoRR	2019	DBLP BibTeX RDF
11	Vincent J. Hellendoorn, Premkumar T. Devanbu, Oleksandr Polozov, Mark Marron	Are My Invariants Valid? A Learning Approach.	CoRR	2019	DBLP BibTeX RDF
11	Kristian Debrabant, Anne Kværnø, Nicky Cordua Mattsson	Lawson schemes for highly oscillatory stochastic differential equations and conservation of invariants.	CoRR	2019	DBLP BibTeX RDF
11	Riley O'Neill, Pedro Angulo-Umana, Jeff Calder, Bo Hessburg, Peter J. Olver, Chehrzad Shakiban, Katrina Yezzi-Woodley	Computation of Circular Area and Spherical Volume Invariants via Boundary Integrals.	CoRR	2019	DBLP BibTeX RDF
11	Rupak Majumdar, Joël Ouaknine, Amaury Pouly, James Worrell 0001	Algebraic Invariants for Linear Hybrid Automata.	CoRR	2019	DBLP BibTeX RDF
11	Ezio Bartocci, Laura Kovács, Miroslav Stankovic	Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops.	CoRR	2019	DBLP BibTeX RDF
11	ThanhVu Nguyen, Timos Antonopoulos, Andrew Ruef, Michael Hicks 0001	A Counterexample-guided Approach to Finding Numerical Invariants.	CoRR	2019	DBLP BibTeX RDF
11	Hanlin Mo, Hua Li 0009	Image Differential Invariants.	CoRR	2019	DBLP BibTeX RDF
11	John Sarracino, Shraddha Barke, Nadia Polikarpova, Sorin Lerner	Targeted Synthesis for Programming with Data Invariants.	CoRR	2019	DBLP BibTeX RDF
11	You Hao, Hanlin Mo, Qi Li, He Zhang, Hua Li 0009	Dual affine moment invariants.	CoRR	2019	DBLP BibTeX RDF
11	Harm Derksen, Visu Makam	An exponential lower bound for the degrees of invariants of cubic forms and tensor actions.	CoRR	2019	DBLP BibTeX RDF
11	Alessandro Neri 0002, Sven Puchinger, Anna-Lena Horlemann-Trautmann	Equivalence and Characterizations of Linear Rank-Metric Codes Based on Invariants.	CoRR	2019	DBLP BibTeX RDF
11	Mnacho Echenim, Nicolas Peltier, Yanis Sellami	Ilinva: Using Abduction to Generate Loop Invariants.	CoRR	2019	DBLP BibTeX RDF
11	Ton Chanh Le, Guolong Zheng, ThanhVu Nguyen	SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic.	CoRR	2019	DBLP BibTeX RDF
11	Alessandro Neri 0002, Sven Puchinger, Anna-Lena Horlemann-Trautmann	Invariants and Inequivalence of Linear Rank-Metric Codes.	CoRR	2019	DBLP BibTeX RDF
11	Clément Maria	Parameterized complexity of quantum invariants.	CoRR	2019	DBLP BibTeX RDF
11	ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest	Using Dynamic Analysis to Generate Disjunctive Invariants.	CoRR	2019	DBLP BibTeX RDF
11	Anuj Dawar, Danny Vagnozzi	Generalizations of k-Weisfeiler-Leman partitions and related graph invariants.	CoRR	2019	DBLP BibTeX RDF
11	Greg Kuperberg, Eric Samperton	Coloring invariants of knots and links are often intractable.	CoRR	2019	DBLP BibTeX RDF
11	Divya Gopinath, Ankur Taly, Hayes Converse, Corina S. Pasareanu	Finding Invariants in Deep Neural Networks.	CoRR	2019	DBLP BibTeX RDF
11	Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis	Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints.	CoRR	2019	DBLP BibTeX RDF
11	Marius Bozga, Radu Iosif, Joseph Sifakis	Structural Invariants for Parametric Verification of Systems with Almost Linear Architectures.	CoRR	2019	DBLP BibTeX RDF
11	Patrick Lühne	Discovering and Proving Invariants in Answer Set Programming and Planning.	CoRR	2019	DBLP BibTeX RDF
11	Anne Schreuder, C.-H. Luke Ong	Polynomial Probabilistic Invariants and the Optional Stopping Theorem.	CoRR	2019	DBLP BibTeX RDF
11	Nuri Cingillioglu, Alessandra Russo	Learning Invariants through Soft Unification.	CoRR	2019	DBLP BibTeX RDF
11	Sahil Bhatia, Saswat Padhi, Nagarajan Natarajan, Rahul Sharma 0001, Prateek Jain 0002	OASIS: ILP-Guided Synthesis of Loop Invariants.	CoRR	2019	DBLP BibTeX RDF
11	J. Christian Attiogbé, Jérôme Rocheteau	Architectural Invariants and Correctness of IoT-based Systems.	CoRR	2019	DBLP BibTeX RDF
11	Étienne André, Didier Lime, Mathias Ramparison	On the expressive power of invariants in parametric timed automata.	CoRR	2019	DBLP BibTeX RDF
11	Nicholas F. Marshall, Ti-Yen Lan, Tamir Bendory, Amit Singer	Image recovery from rotational and translational invariants.	CoRR	2019	DBLP BibTeX RDF
11	Yotam M. Y. Feldman, James R. Wilcox, Sharon Shoham, Mooly Sagiv	Inferring Inductive Invariants from Phase Structures.	CoRR	2019	DBLP BibTeX RDF
11	Emanuele D'Osualdo, Felix Stutz	Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions.	CoRR	2019	DBLP BibTeX RDF
11	Francesco Palmieri 0002	Network anomaly detection based on logistic regression of nonlinear chaotic invariants.	J. Netw. Comput. Appl.	2019	DBLP DOI BibTeX RDF
11	Yuedan Yao, Muhuo Liu, Francesco Belardo, Chao Yang 0003	Unified extremal results of topological indices and spectral invariants of graphs.	Discret. Appl. Math.	2019	DBLP DOI BibTeX RDF
11	Muhuo Liu, Kexiang Xu, Xiao-Dong Zhang 0001	Extremal graphs for vertex-degree-based invariants with given degree sequences.	Discret. Appl. Math.	2019	DBLP DOI BibTeX RDF
11	Erbo Li, Hanlin Mo, Dong Xu 0008, Hua Li 0009	Image Projective Invariants.	IEEE Trans. Pattern Anal. Mach. Intell.	2019	DBLP DOI BibTeX RDF
11	Yotam M. Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, Sharon Shoham	Bounded Quantifier Instantiation for Checking Inductive Invariants.	Log. Methods Comput. Sci.	2019	DBLP DOI BibTeX RDF
11	Dongchun Han, Hanbin Zhang	Zero-sum invariants on finite abelian groups with large exponent.	Discret. Math.	2019	DBLP DOI BibTeX RDF
11	Jing Huang 0011, Shuchao Li, Zheng Xie	Further results on the expected hitting time, the cover cost and the related invariants of graphs.	Discret. Math.	2019	DBLP DOI BibTeX RDF
11	Noam Greenberg, Rutger Kuyper, Dan Turetsky	Cardinal invariants, non-lowness classes, and Weihrauch reducibility.	Comput.	2019	DBLP DOI BibTeX RDF
11	Yi Zhang 0045, Xiang-Hua Zhai	Perturbation to Lie symmetry and adiabatic invariants for Birkhoffian systems on time scales.	Commun. Nonlinear Sci. Numer. Simul.	2019	DBLP DOI BibTeX RDF
11	Raoul R. Nigmatullin, Artem S. Vorobev, Aydar R. Nasybullin, Antonella D'Orazio, Guido Maione, Paolo Lino, Marco Grande	Advanced and sensitive method by discrete geometrical invariants for detection of differences between complex fluids.	Commun. Nonlinear Sci. Numer. Simul.	2019	DBLP DOI BibTeX RDF
11	Andrew Sogokon, Paul B. Jackson, Taylor T. Johnson	Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants.	J. Autom. Reason.	2019	DBLP DOI BibTeX RDF
11	Jörg Brendle, Michael Hrusák, Víctor Torres Pérez	Construction with opposition: cardinal invariants and games.	Arch. Math. Log.	2019	DBLP DOI BibTeX RDF
11	Lev Blechman, Eugenii Shustin	Refined Descendant Invariants of Toric Surfaces.	Discret. Comput. Geom.	2019	DBLP DOI BibTeX RDF
11	Michele Spasaro, Federico Alimenti, Domenico Zito	The Theory of Special Noise Invariants.	IEEE Trans. Circuits Syst. I Regul. Pap.	2019	DBLP DOI BibTeX RDF
11	Limei Zhang, Ting Gao, Fengli Yan	Relations among k-ME concurrence, negativity, polynomial invariants, and tangle.	Quantum Inf. Process.	2019	DBLP DOI BibTeX RDF
11	Laurentiu Paunescu, Mihai Tibar	Concentration of curvature and Lipschitz invariants of holomorphic functions of two variables.	J. Lond. Math. Soc.	2019	DBLP DOI BibTeX RDF
11	Luhong Diao, Zhenmeng Zhang, Yujie Liu, Dong Nan	Necessary Condition of Affine Moment Invariants.	J. Math. Imaging Vis.	2019	DBLP DOI BibTeX RDF
11	Thi-Huong Dao, Xuan-Truong Nguyen, Ninh-Thuan Truong	Preservation of Class Invariants in Refactoring UML Models.	Int. J. Softw. Eng. Knowl. Eng.	2019	DBLP DOI BibTeX RDF
11	Ina Koch	Petri Nets in Systems Biology: Transition Invariants, Maximal Common Transition Sets, Transition Clusters, Mauritius Maps, and MonaLisa.	Carl Adam Petri: Ideas, Personality, Impact	2019	DBLP DOI BibTeX RDF
11	Masami Hagiya, Kosuke Fukuda, Yoshinori Tanabe, Toshinori Saito	Automatically Generating Programming Questions Corresponding to Rubrics Using Assertions and Invariants.	SUZA	2019	DBLP DOI BibTeX RDF
11	Boris Ulitin, Eduard Babkin, Tatiana Babkina, Arsenii Vizgunov	Automated Formal Verification of Model Transformations Using the Invariants Mechanism.	BIR	2019	DBLP DOI BibTeX RDF
11	Grigory Fedyukovich, Sumanth Prabhu 0001, Kumar Madhukar, Aarti Gupta	Quantified Invariants via Syntax-Guided Synthesis.	CAV (1)	2019	DBLP DOI BibTeX RDF
11	Yotam M. Y. Feldman, James R. Wilcox, Sharon Shoham, Mooly Sagiv	Inferring Inductive Invariants from Phase Structures.	CAV (2)	2019	DBLP DOI BibTeX RDF
11	Klaus-Dieter Schewe	Consistency Enforcement for Static First-Order Invariants in Sequential Abstract State Machines.	ICFEM	2019	DBLP DOI BibTeX RDF
11	Kiyoshi Nakayama, Nikhil Muralidhar, Chenrui Jin, Ratnesh Sharma	Detection of False Data Injection Attacks in Cyber-Physical Systems using Dynamic Invariants.	ICMLA	2019	DBLP DOI BibTeX RDF
11	Muhammad Usman 0024, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid	A Study of Learning Data Structure Invariants Using Off-the-shelf Tools.	SPIN	2019	DBLP DOI BibTeX RDF
11	Mona Zehni, Shuai Huang, Ivan Dokmanic, Zhizhen Zhao	Geometric Invariants for Sparse Unknown View Tomography.	ICASSP	2019	DBLP DOI BibTeX RDF
11	Lenore D. Zuck, Kenneth L. McMillan	Invisible Invariants Are Neither.	From Reactive Systems to Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
11	Ezio Bartocci, Laura Kovács, Miroslav Stankovic	Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops.	ATVA	2019	DBLP DOI BibTeX RDF
11	Alessandro Neri 0002, Sven Puchinger, Anna-Lena Horlemann-Trautmann	Invariants and Inequivalence of Linear Rank-Metric Codes.	ISIT	2019	DBLP DOI BibTeX RDF
11	Cheng Feng 0004, Venkata Reddy Palleti, Aditya Mathur, Deeph Chana	A Systematic Framework to Generate Invariants for Anomaly Detection in Industrial Control Systems.	NDSS	2019	DBLP BibTeX RDF
11	Jitka Kostková, Jan Flusser, Matej Lébl, Matteo Pedone	Image Invariants to Anisotropic Gaussian Blur.	SCIA	2019	DBLP DOI BibTeX RDF
11	Lee-Yeng Ong, Siong-Hoe Lau, Voon Chet Koo	Automatic Detection on Appearance Changes using Local Moment Invariants.	ICCAE	2019	DBLP DOI BibTeX RDF
11	Ton Chanh Le, Guolong Zheng, ThanhVu Nguyen	SLING: using dynamic analysis to infer program invariants in separation logic.	PLDI	2019	DBLP DOI BibTeX RDF
11	Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah	I4: incremental inference of inductive invariants for verification of distributed protocols.	SOSP	2019	DBLP DOI BibTeX RDF
11	Daniel Neider, Shambwaditya Saha, Pranav Garg 0001, P. Madhusudan	Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants.	SAS	2019	DBLP DOI BibTeX RDF
11	Elvio Gilberto Amparore, Gianfranco Ciardo, Susanna Donatelli, Andrew S. Miner	i _\mathrm Rank : A Variable Order Metric for DEDS Subject to Linear Invariants.	TACAS (2)	2019	DBLP DOI BibTeX RDF
11	Joël Ouaknine	Program Invariants (Invited Talk).	CONCUR	2019	DBLP DOI BibTeX RDF
11	Dmitry Mordvinov, Grigory Fedyukovich	Property Directed Inference of Relational Invariants.	FMCAD	2019	DBLP DOI BibTeX RDF
11	Nikolay S. Kaleyski	An Update on Known Invariants of Vectorial Boolean Functions.	IWSDA	2019	DBLP DOI BibTeX RDF
11	Piergiuseppe Mallozzi, Ezequiel Castellano, Patrizio Pelliccione, Gerardo Schneider, Kenji Tei	A runtime monitoring framework to enforce invariants on reinforcement learning agents exploring complex environments.	RoSE@ICSE	2019	DBLP DOI BibTeX RDF
11	Zhen Yu Ding, Yiwei Lyu, Christopher Steven Timperley, Claire Le Goues	Leveraging program invariants to promote population diversity in search-based automatic program repair.	GI@ICSE	2019	DBLP DOI BibTeX RDF
11	Facundo Molina, Renzo Degiovanni, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias	Training binary classifiers as data structure invariants.	ICSE	2019	DBLP DOI BibTeX RDF
11	Dirk Beyer 0001	A data set of program invariants and error paths.	MSR	2019	DBLP DOI BibTeX RDF
11	Jan Flusser, Tomás Suk, Bo Yang	Orthogonal Affine Invariants from Gaussian-Hermite Moments.	CAIP (2)	2019	DBLP DOI BibTeX RDF
11	Darian M. Onchis, Codruta Istin, Pedro Real 0001	Refined Deep Learning for Digital Objects Recognition via Betti Invariants.	CAIP (1)	2019	DBLP DOI BibTeX RDF
11	Jitka Kostková, Jan Flusser	On the Null-Space of the Shape-Color Moment Invariants.	CAIP (1)	2019	DBLP DOI BibTeX RDF
11	Mnacho Echenim, Nicolas Peltier, Yanis Sellami	Ilinva: Using Abduction to Generate Loop Invariants.	FroCos	2019	DBLP DOI BibTeX RDF
11	Kailun Luo, Yongmei Liu 0001	Automatic Verification of FSA Strategies via Counterexample-Guided Local Search for Invariants.	IJCAI	2019	DBLP DOI BibTeX RDF
11	Étienne André, Didier Lime, Mathias Ramparison	On the Expressive Power of Invariants in Parametric Timed Automata.	ICECCS	2019	DBLP DOI BibTeX RDF
11	Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah	Towards Automatic Inference of Inductive Invariants.	HotOS	2019	DBLP DOI BibTeX RDF
11	Thomas Le Mézo	Bracketing largest invariant sets of dynamical systems: an application to drifting underwater robots in ocean currents. (Encadrement des plus grands ensembles invariants de systèmes dynamiques: une application aux robots sous-marins dérivant dans les courants océaniques).		2019	RDF
11	Leonie Amstein	Method development and application in computational systems biology: the concept of Manatee invariants to study the TNFR1 signaling pathway in the Petri net formalism (PDF / PS)		2019	RDF
11	Suhas Anand Lohit	Building Constraints, Geometric Invariants and Interpretability in Deep Learning: Applications in Computational Imaging and Vision.		2019	RDF
11	Aisha Alobaid, Hossein Salami, Raymond A. Adomaitis	On the computation and physical interpretation of semi-positive reaction network invariants.	Comput. Chem. Eng.	2018	DBLP DOI BibTeX RDF
11	Benjamin A. Burton, Clément Maria, Jonathan Spreer	Algorithms and complexity for Turaev-Viro invariants.	J. Appl. Comput. Topol.	2018	DBLP DOI BibTeX RDF
11	P. Ezudheen, Daniel Neider, Deepak D'Souza, Pranav Garg 0001, P. Madhusudan	Horn-ICE learning for synthesizing invariants and contracts.	Proc. ACM Program. Lang.	2018	DBLP DOI BibTeX RDF
11	Surendar Madhawa, P. Balakrishnan, Umamakeswari Arumugam	Employing invariants for anomaly detection in software defined networking based industrial internet of things.	J. Intell. Fuzzy Syst.	2018	DBLP DOI BibTeX RDF
11	Antonio Alarcón Paredes, Roberto Contreras-Garibay, Gustavo Adolfo Alonso-Silverio, Eric Rodríguez-Peralta	Naïve Screw Nut Classifier Based on Hu's Moment Invariants and Minimum Distance.	POLIBITS	2018	DBLP DOI BibTeX RDF