Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|