Search results for "Exceptions"

Hits ?▲	Authors	Title	Venue	Year	Link
16	Hui Chen 0001, Kostadin Damevski, David C. Shepherd, Nicholas A. Kraft	Modeling Hierarchical Usage Context for Software Exceptions based on Interaction Data.	CoRR	2019	DBLP BibTeX RDF
16	Vasanth Sarathy, Thomas Arnold 0001, Matthias Scheutz	When Exceptions are the Norm: Exploring the Role of Consent in HRI.	CoRR	2019	DBLP BibTeX RDF
16	James Griffioen, Zongming Fei, P. Sergio Rivera, Jacob Chappell, Mami Hayashida, Pinyi Shi, Charles Carpenter, Yongwook Song, Bhushan Chitre, Hussamuddin Nasir, Kenneth L. Calvert	Leveraging SDN to Enable Short-Term On-Demand Security Exceptions.	IM	2019	DBLP BibTeX RDF
16	Loris Bozzato, Thomas Eiter, Luciano Serafini	Reasoning with Justifiable Exceptions in Eℒ_\bot Contextualized Knowledge Repositories.	Description Logic, Theory Combination, and All That	2019	DBLP DOI BibTeX RDF
16	Naixing Wang, Chen Wang 0014, Kun-Han Tsai, Wu-Tung Cheng, Xijiang Lin, Mark Kassab, Irith Pomeranz	TEA: A Test Generation Algorithm for Designs with Timing Exceptions.	ATS	2019	DBLP DOI BibTeX RDF
16	James Renwick, Tom Spink, Björn Franke	Low-cost deterministic C++ exceptions for embedded systems.	CC	2019	DBLP DOI BibTeX RDF
16	Laura Giordano 0001, Valentina Gliozzi	Reasoning About Exceptions in Ontologies: An Approximation of the Multipreference Semantics.	ECSQARU	2019	DBLP DOI BibTeX RDF
16	Swarnendu Biswas, Rui Zhang, Michael D. Bond, Brandon Lucia	Rethinking Support for Region Conflict Exceptions.	IPDPS	2019	DBLP DOI BibTeX RDF
16	Gergely Nagy	Comparing Software Complexity of Monadic Error Handling and Using Exceptions.	MIPRO	2019	DBLP DOI BibTeX RDF
16	Karina Tachihara, Kenneth A. Norman, Nicholas B. Turk-Browne, Adele E. Goldberg	A generalization becomes suppressed over time in the context of exceptions.	CogSci	2019	DBLP BibTeX RDF
16	Loris Bozzato, Thomas Eiter, Luciano Serafini	Justifiable Exceptions in General Contextual Hierarchies.	CONTEXT	2019	DBLP DOI BibTeX RDF
16	Ignacio Laguna	FPChecker: Detecting Floating-Point Exceptions in GPU Applications.	ASE	2019	DBLP DOI BibTeX RDF
16	Chao Liu 0032, Jianbo Gao, Yue Li 0037, Zhong Chen 0001	Understanding Out of Gas Exceptions on Ethereum.	BlockSys	2019	DBLP DOI BibTeX RDF
16	Roberto Micalizio, Gian Luca Pozzato	Revision of Ontologies to Accommodate Exceptions: a Typicality-based Approach.	Fundam. Informaticae	2018	DBLP DOI BibTeX RDF
16	Marco Paviotti, Jesper Bengtson	Formally verifying exceptions for low-level code with separation logic.	J. Log. Algebraic Methods Program.	2018	DBLP DOI BibTeX RDF
16	Vincent Rahli, Mark Bickford	Validating Brouwer's continuity principle for numbers using named exceptions.	Math. Struct. Comput. Sci.	2018	DBLP DOI BibTeX RDF
16	Marcus Paul, Marie-Christin Fellner, Gerd T. Waldhauser, John Paul Minda, Nikolai Axmacher, Boris Suchan, Oliver T. Wolf	Stress Elevates Frontal Midline Theta in Feedback-based Category Learning of Exceptions.	J. Cogn. Neurosci.	2018	DBLP DOI BibTeX RDF
16	Burak Ekici	IMP with exceptions over decorated logic.	Discret. Math. Theor. Comput. Sci.	2018	DBLP DOI BibTeX RDF
16	Loris Bozzato, Thomas Eiter, Luciano Serafini	Enhancing context knowledge repositories with justifiable exceptions.	Artif. Intell.	2018	DBLP DOI BibTeX RDF
16	Zening Qu, Jessica Hullman	Keeping Multiple Views Consistent: Constraints, Validations, and Exceptions in Visualization Authoring.	IEEE Trans. Vis. Comput. Graph.	2018	DBLP DOI BibTeX RDF
16	Thomas Durieux, Benoit Cornu, Lionel Seinturier, Martin Monperrus	Dynamic Patch Generation for Null Pointer Exceptions using Metaprogramming.	CoRR	2018	DBLP BibTeX RDF
16	Mohammad Masudur Rahman 0001, Chanchal K. Roy	Recommending Relevant Sections from a Webpage about Programming Errors and Exceptions.	CoRR	2018	DBLP BibTeX RDF
16	Mohammad Masudur Rahman 0001, Shamima Yeasmin, Chanchal K. Roy	Towards a Context-Aware IDE-Based Meta Search Engine for Recommendation about Programming Errors and Exceptions.	CoRR	2018	DBLP BibTeX RDF
16	Laura Giordano 0001, Valentina Gliozzi	Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure.	CoRR	2018	DBLP BibTeX RDF
16	Lingling Fan 0003, Ting Su 0001, Sen Chen 0001, Guozhu Meng, Yang Liu 0003, Lihua Xu, Geguang Pu, Zhendong Su 0001	Large-Scale Analysis of Framework-Specific Exceptions in Android Apps.	CoRR	2018	DBLP BibTeX RDF
16	Loris Bozzato, Luciano Serafini, Thomas Eiter	Reasoning with Justifiable Exceptions in Contextual Hierarchies (Appendix).	CoRR	2018	DBLP BibTeX RDF
16	Pedro González García, Ángel Miguel García-Vico, Cristóbal J. Carmona, María José del Jesus	Improvement of subgroup descriptions in noisy data by detecting exceptions.	Prog. Artif. Intell.	2018	DBLP DOI BibTeX RDF
16	Pardis Moslemzadeh Tehrani, Johan Shamsuddin Bin Hj Sabaruddin, Dhiviya A. P. Ramanathan	Cross border data transfer: Complexity of adequate protection and its exceptions.	Comput. Law Secur. Rev.	2018	DBLP DOI BibTeX RDF
16	João Ricardo Lourenço, Bruno Cabral, Jorge Bernardino	PreX: A predictive model to prevent exceptions.	J. Syst. Softw.	2018	DBLP DOI BibTeX RDF
16	Juliana Oliveira, Deise Borges, Thaisa Silva, Nélio Cacho, Fernando Castor	Do android developers neglect error handling? a maintenance-Centric study on the relationship between android abstractions and uncaught exceptions.	J. Syst. Softw.	2018	DBLP DOI BibTeX RDF
16	Fabrizio Angiulli, Fabio Fassetti, Luigi Palopoli 0001, Domenico Ursino	A Tour from Regularities to Exceptions.	A Comprehensive Guide Through the Italian Database Research	2018	DBLP DOI BibTeX RDF
16	Pawel Kamocki, Erik Ketzan, Julia Wildgans, Andreas Witt	New exceptions for Text and Data Mining and their possible impact on the CLARIN infrastructurev.	CLARIN Annual Conference	2018	DBLP BibTeX RDF
16	Daniel P. Lupp, Evgenij Thorstensen	Mapping Data to Ontologies with Exceptions Using Answer Set Programming.	NIK	2018	DBLP BibTeX RDF
16	Gian Luca Pozzato	On Probabilities of Exceptions in Description Logics of Typicality.	CILC	2018	DBLP BibTeX RDF
16	Frédéric Cuppens, Nora Cuppens-Boulahia	Stratification Based Model for Security Policy with Exceptions and Contraries to Duty.	From Database to Cyber Security	2018	DBLP DOI BibTeX RDF
16	Alessio Bottrighi, Luca Piovesan, Paolo Terenziani	A General Framework for the Distributed Management of Exceptions and Comorbidities.	HEALTHINF	2018	DBLP DOI BibTeX RDF
16	Seong-Kyun Mok, Eun-Sun Cho	Building a CFG to Include Exceptions.	COMPSAC (1)	2018	DBLP DOI BibTeX RDF
16	Juliana Oliveira	Taming Exceptions in Android Applications.	ISSRE Workshops	2018	DBLP DOI BibTeX RDF
16	Olivera Savic, Nathaniel Blanco, Vladimir M. Sloutsky	Developmental Differences in the Status of Category Exceptions.	CogSci	2018	DBLP BibTeX RDF
16	Karina Tachihara, Kenneth A. Norman, Nicholas B. Turk-Browne, Adele E. Goldberg	A mouse-tracking study of how exceptions to a probabilistic generalization are learned.	CogSci	2018	DBLP BibTeX RDF
16	Laura Giordano 0001, Valentina Gliozzi	Reasoning About Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure.	PRUV@IJCAR	2018	DBLP BibTeX RDF
16	Daniela Briola, Viviana Mascardi, Massimiliano Gioseffi	OntologyBeanGenerator 5.0: Extending Ontology Concepts with Methods and Exceptions.	WOA	2018	DBLP BibTeX RDF
16	Diogo S. Mendonça, Tarcila G. da Silva, Daniel Ferreira de Oliveira, Julliany Sales Brandão, Hélio Lopes 0001, Simone D. J. Barbosa, Marcos Kalinowski, Arndt von Staa	Applying pattern-driven maintenance: a method to prevent latent unhandled exceptions in web applications.	ESEM	2018	DBLP DOI BibTeX RDF
16	Loris Bozzato, Luciano Serafini, Thomas Eiter	Reasoning with Justifiable Exceptions in Contextual Hierarchies.	KR	2018	DBLP BibTeX RDF
16	Lingling Fan 0003, Ting Su 0001, Sen Chen 0001, Guozhu Meng, Yang Liu 0003, Lihua Xu, Geguang Pu, Zhendong Su 0001	Large-scale analysis of framework-specific exceptions in Android apps.	ICSE	2018	DBLP DOI BibTeX RDF
16	Loris Bozzato, Thomas Eiter, Luciano Serafini	Enhancing Context Knowledge Repositories with Justifiable Exceptions (Extended Abstract).	IJCAI	2018	DBLP DOI BibTeX RDF
16	Ralph Duncan, Nima Gougol, Jim Frandeen	Mapping Exceptions to High-Level Source Code on a Heterogeneous Architecture.	PAAP	2018	DBLP DOI BibTeX RDF
16	Jani Raerinne	Explanations of exceptions in biology: corrective asymmetry versus autonomy.	Synth.	2017	DBLP DOI BibTeX RDF
16	Seiya Negami, Thomas W. Tucker	Bipartite Polyhedral Maps on Closed Surfaces are Distinguishing 3-Colorable with Few Exceptions.	Graphs Comb.	2017	DBLP DOI BibTeX RDF
16	Remco M. Dijkman, Geoffrey van IJzendoorn, Oktay Türetken, Meint de Vries	Exceptions in Business Processes in Relation to Operational Performance.	CoRR	2017	DBLP BibTeX RDF
16	Simone Hanazumi, Ana C. V. de Melo	A Formal Approach to implement java exceptions in cooperative systems.	J. Syst. Softw.	2017	DBLP DOI BibTeX RDF
16	Thomas H. Austin, Thomas Schmitz 0001, Cormac Flanagan	Multiple Facets for Dynamic Information Flow with Exceptions.	ACM Trans. Program. Lang. Syst.	2017	DBLP DOI BibTeX RDF
16	Deian Stefan, David Mazières, John C. Mitchell, Alejandro Russo	Flexible dynamic information flow control in the presence of exceptions.	J. Funct. Program.	2017	DBLP DOI BibTeX RDF
16	Jinfu Chen 0001, Saihua Cai, Dave Towey, Lili Zhu, Rubing Huang, Hilary Ackah-Arthur, Michael Omari	Detecting Implicit Security Exceptions Using an Improved Variable-Length Sequential Pattern Mining Method.	Int. J. Softw. Eng. Knowl. Eng.	2017	DBLP DOI BibTeX RDF
16	Tim Todman, Wayne Luk	In-Circuit Assertions and Exceptions for Reconfigurable Hardware Design.	Provably Correct Systems	2017	DBLP DOI BibTeX RDF
16	Loris Bozzato, Luciano Serafini, Gaetano Calabrese	CKR: Live Demo: Representing an Evolving Scenario by Contexts and Exceptions.	ISWC (Posters, Demos & Industry Tracks)	2017	DBLP BibTeX RDF
16	Minjia Zhang, Swarnendu Biswas, Michael D. Bond	Avoiding consistency exceptions under strong memory models.	ISMM	2017	DBLP DOI BibTeX RDF
16	Rüdiger Pryss, Manfred Reichert	Context-Based Prevention and Handling of Exceptions for Human-Centric Mobile Services.	AIMS@SERVICES	2017	DBLP DOI BibTeX RDF
16	Henryk Krawczyk, Dawid Zima	Extending Continuous Integration with Post-mortem Debug Automation of Unhandled Exceptions Occurred in Kernel or User Mode Applications.	DepCoS-RELCOMEX	2017	DBLP DOI BibTeX RDF
16	Thomas Durieux, Benoit Cornu, Lionel Seinturier, Martin Monperrus	Dynamic patch generation for null pointer exceptions using metaprogramming.	SANER	2017	DBLP DOI BibTeX RDF
16	Kun-Han Tsai, Srinivasan Gopalakrishnan	Test Coverage Analysis for Designs with Timing Exceptions.	ATS	2017	DBLP DOI BibTeX RDF
16	Gian Luca Pozzato	Reasoning in Description Logics with Typicalities and Probabilities of Exceptions.	ECSQARU	2017	DBLP DOI BibTeX RDF
16	Olivera Savic, Vladimir M. Sloutsky	Peculiarity doesn't trump ordinarity: On recognition memory for exceptions to the category rule.	CogSci	2017	DBLP BibTeX RDF
16	Christopher Vendome, Mario Linares Vásquez, Gabriele Bavota, Massimiliano Di Penta, Daniel M. Germán, Denys Poshyvanyk	Machine learning-based detection of open source license exceptions.	ICSE	2017	DBLP DOI BibTeX RDF
16	Maria Kechagia, Tushar Sharma 0001, Diomidis Spinellis	Towards a context dependent Java exceptions hierarchy.	ICSE (Companion Volume)	2017	DBLP DOI BibTeX RDF
16	Loris Bozzato, Luciano Serafini, Gaetano Calabrese	CKR: Live Demo: Using Contexts and Exceptions for Representing Evolving Knowledge States.	Description Logics	2017	DBLP BibTeX RDF
16	Minjia Zhang, Swarnendu Biswas, Michael D. Bond	POSTER: On the Problem of Consistency Exceptions in the Context of Strong Memory Models.	PPoPP	2017	DBLP DOI BibTeX RDF
16	Zack Coker, Kostadin Damevski, Claire Le Goues, Nicholas A. Kraft, David C. Shepherd, Lori L. Pollock	Behavior Metrics for Prioritizing Investigations of Exceptions.	ICSME	2017	DBLP DOI BibTeX RDF
16	Alessio Bottrighi, Giorgio Leonardi, Luca Piovesan, Paolo Terenziani	Knowledge-Based Support to the Treatment of Exceptions in Computer Interpretable Clinical Guidelines.	Int. J. Knowl. Based Organ.	2016	DBLP DOI BibTeX RDF
16	Harald Bastiaanse, Frank Veltman	Making the right exceptions.	Artif. Intell.	2016	DBLP DOI BibTeX RDF
16	Renu Bala, Saroj Ratnoo	A Genetic Algorithm Approach for Discovering Tuned Fuzzy Classification Rules with Intra- and Inter-Class Exceptions.	J. Intell. Syst.	2016	DBLP BibTeX RDF
16	Afshin Amighi, Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman	Provably correct control flow graphs from Java bytecode programs with exceptions.	Int. J. Softw. Tools Technol. Transf.	2016	DBLP DOI BibTeX RDF
16	Daniel P. Lupp, Evgenij Thorstensen	Mapping Data to Ontologies with Exceptions Using Answer Set Programming.	CoRR	2016	DBLP BibTeX RDF
16	Saad Bin Suhaim, Weimo Liu, Nan Zhang 0004	Discover Aggregates Exceptions over Hidden Web Databases.	CoRR	2016	DBLP BibTeX RDF
16	Petr Rockai, Jiri Barnat, Lubos Brim	Model checking C++ programs with exceptions.	Sci. Comput. Program.	2016	DBLP DOI BibTeX RDF
16	Emlee W. Nicholson, Bing Wei 0001	Degree conditions for weakly geodesic pancyclic graphs and their exceptions.	J. Comb. Optim.	2016	DBLP DOI BibTeX RDF
16	Christoph Rauch, Sergey Goncharov 0001, Lutz Schröder	Generic Hoare Logic for Order-Enriched Effects with Exceptions.	WADT	2016	DBLP DOI BibTeX RDF
16	Jian Tan, Daifeng Li	A Continuous Self-Checking Validation Framework on Processor Exceptions.	ISPDC	2016	DBLP DOI BibTeX RDF
16	Roberto Micalizio, Gianluca Pozzato	Typicality-based Revision for Handling Exceptions in Description Logics.	CILC	2016	DBLP BibTeX RDF
16	Shingo Okuno, Tasuku Hiraishi, Hiroshi Nakashima, Masahiro Yasugi, Jun Sese	Reducing Redundant Search in Parallel Graph Mining Using Exceptions.	IPDPS Workshops	2016	DBLP DOI BibTeX RDF
16	Roberto Micalizio, Gian Luca Pozzato	A Typicality-Based Revision to Handle Exceptions in Description Logics.	ECAI	2016	DBLP DOI BibTeX RDF
16	Yizhou Zhang 0001, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, Andrew C. Myers	Accepting blame for safe tunneled exceptions.	PLDI	2016	DBLP DOI BibTeX RDF
16	Bin Wen, Ziqiang Luo, Song Lin	Runtime Exceptions Handling for Collaborative SOA Applications.	CollaborateCom	2016	DBLP DOI BibTeX RDF
16	Mary Beth Kery, Claire Le Goues, Brad A. Myers	Examining programmer practices for locally handling exceptions.	MSR	2016	DBLP DOI BibTeX RDF
16	Hélène Leroux, David Andreu 0001, Karen Godary-Dejean	Handling Exceptions in Petri Net-Based Digital Architecture: From Formalism to Implementation on FPGAs.	IEEE Trans. Ind. Informatics	2015	DBLP DOI BibTeX RDF
16	Dinah Baer-Henney, Frank Kügler, Ruben Van de Vijver	The Interaction of Language-Specific and Universal Factors During the Acquisition of Morphophonemic Alternations With Exceptions.	Cogn. Sci.	2015	DBLP DOI BibTeX RDF
16	Seiya Negami	3-Regular Maps on Closed Surfaces are Nearly Distinguishing 3-Colorable with Few Exceptions.	Graphs Comb.	2015	DBLP DOI BibTeX RDF
16	Benoit Cornu, Thomas Durieux, Lionel Seinturier, Martin Monperrus	NPEFix: Automatic Runtime Repair of Null Pointer Exceptions in Java.	CoRR	2015	DBLP BibTeX RDF
16	Burak Ekici	IMP with exceptions over decorated logic.	CoRR	2015	DBLP BibTeX RDF
16	Benoit Cornu, Lionel Seinturier, Martin Monperrus	Exception handling analysis and transformation using fault injection: Study of resilience against unanticipated exceptions.	Inf. Softw. Technol.	2015	DBLP DOI BibTeX RDF
16	Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous, Jean-Claude Reynaud	Relative Hilbert-Post Completeness for Exceptions.	MACIS	2015	DBLP DOI BibTeX RDF
16	Swarnendu Biswas, Minjia Zhang, Michael D. Bond, Brandon Lucia	Valor: efficient, software-only region conflict exceptions.	OOPSLA	2015	DBLP DOI BibTeX RDF
16	Marcelo Medeiros Eler, Vinicius H. S. Durelli, André Takeshi Endo	Analyzing Exceptions in the Context of Test Data Generation Based on Symbolic Execution.	SEKE	2015	DBLP DOI BibTeX RDF
16	Rafael Lobo, Fernando Castor	Deadlocks as Runtime Exceptions.	SBLP	2015	DBLP DOI BibTeX RDF
16	Vahid Amintabar, Abbas Heydarnoori, Mohammad Ghafari	ExceptionTracer: a solution recommender for exceptions in an integrated development environment.	ICPC	2015	DBLP DOI BibTeX RDF
16	Marco Klindt, Kilian Amrhein	One Core Preservation System for All your Data. No Exceptions!	iPRES	2015	DBLP BibTeX RDF
16	Abhilash Bhandari, V. Krishna Nandivada	Loop Tiling in the Presence of Exceptions.	ECOOP	2015	DBLP DOI BibTeX RDF
16	Sara Finley	Learning Exceptions in Phonological Alternations.	CogSci	2015	DBLP BibTeX RDF
16	Davide Ancona, Daniela Briola, Viviana Mascardi	Protocols with Exceptions, Timeouts, and Handlers: A Uniform Framework for Monitoring Fail-Uncontrolled and Ambient Intelligence Systems.	WOA	2015	DBLP BibTeX RDF
16	Jose Alex Medeiros de Lima, Nélio Cacho	An Approach to Identify Exceptions Propagated by .NET Web Services.	SBCARS	2015	DBLP DOI BibTeX RDF