|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1355 occurrences of 878 keywords
|
|
|
Results
Found 1550 publication records. Showing 1550 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
23 | David C. Luckham, Wolfgang Polak |
Ada Exception Handling: An Axiomatic Approach. |
ACM Trans. Program. Lang. Syst. |
1980 |
DBLP DOI BibTeX RDF |
Ada |
17 | Eun-Sun Cho, Sumi Helal |
A Situation-Based Exception Detection Mechanism for Safety in Pervasive Systems. |
SAINT |
2011 |
DBLP DOI BibTeX RDF |
exception handlers, programming models for pervasive systems, pervasive computing, contexts, safety, exceptions, situations |
17 | Hugo Herbelin |
An Intuitionistic Logic that Proves Markov's Principle. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
Markov's principle, proof-as-program correspondence, exceptions, intuitionistic logic |
17 | Jens H. Weber-Jahnke, Adeniyi Onabajo |
Finding Defects in Natural Language Confidentiality Requirements. |
RE |
2009 |
DBLP DOI BibTeX RDF |
goal-based models, annotations, requirements analysis, conflicts, exceptions, incompleteness, defaults |
17 | Jun Shirako, Jisheng M. Zhao, V. Krishna Nandivada, Vivek Sarkar |
Chunking parallel loops in the presence of synchronization. |
ICS |
2009 |
DBLP DOI BibTeX RDF |
loop chunking, phasers, exceptions |
17 | Zhengyuan Ning, Xianwei Lai, Shanli Hu, Xiuli Wang |
N-ATL and ATL-G, Two Approaches for Goal Specification in Advanced Distributed Computing Systems. |
NCM (1) |
2008 |
DBLP DOI BibTeX RDF |
multi-agent cooperation logics, multi-agent systems, exceptions, goal, non-monotonic logic |
17 | Franck Pommereau |
Versatile boxes: a multi-purpose algebra of high-level Petri nets. |
SCSC |
2007 |
DBLP BibTeX RDF |
algebra of Petri nets, threads, exceptions |
17 | Michael D. Bond, Nicholas Nethercote, Stephen W. Kent, Samuel Z. Guyer, Kathryn S. McKinley |
Tracking bad apples: reporting the origin of null and undefined value errors. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
low-overhead run-time support, null pointer exceptions, undefined values, valgrind, java, debugging, managed languages |
17 | Johny Ghattas, Pnina Soffer, Mor Peleg |
Learning Business Process Models: A Case Study. |
Business Process Management Workshops |
2007 |
DBLP DOI BibTeX RDF |
generic process model, process flexibility, soft-goals, Learning, business process model, exceptions, goals, clinical guidelines, process adaptation |
17 | Qing Li 0001, Zhe Shan 0001, Patrick C. K. Hung, Dickson K. W. Chiu, S. C. Cheung 0001 |
Flows and views for scalable scientific process integration. |
Infoscale |
2006 |
DBLP DOI BibTeX RDF |
cross-organizational process view, web services, flows, exceptions |
17 | Chen Fu, Ana L. Milanova, Barbara G. Ryder, David Wonnacott |
Robustness Testing of Java Server Applications. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
def-use testing, test coverage metrics, Java, Reliability, exceptions |
17 | Peter J. Wild, Peter Johnson 0001, Hilary Johnson |
Towards a composite modelling approach for multitasking. |
TAMODIA |
2004 |
DBLP DOI BibTeX RDF |
exceptions interruptions, events, tasks, multitasking, goals |
17 | Chen Fu, Barbara G. Ryder, Ana L. Milanova, David Wonnacott |
Testing of java web services for robustness. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
def-use testing, test coverage metrics, java, exceptions |
17 | Jörg Kienzle, Alfred Strohmeier, Alexander B. Romanovsky |
Auction System Design Using Open Multithreaded Transactions. |
WORDS |
2002 |
DBLP DOI BibTeX RDF |
Fault Tolerance, Concurrency, Distribution, Transactions, Auctions, Exceptions |
17 | Martin Lippert, Cristina Videira Lopes |
A study on exception detecton and handling using aspect-oriented programming. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, contracts, exceptions |
17 | Philippe Audebaud, Elena Zucca |
Deriving Proof Rules from Continuation Semantics. |
Formal Aspects Comput. |
1999 |
DBLP DOI BibTeX RDF |
Hoare semantics, Continuations, Labels, Exceptions |
17 | R. W. Matzen, George E. Hedrick |
A new tool for SGML with applications for the World Wide Web. |
SAC |
1998 |
DBLP DOI BibTeX RDF |
WWW, WEB, HTML, SGML, exceptions, DTD |
17 | Mayan Moudgill, Stamatis Vassiliadis |
Precise Interrupts. |
IEEE Micro |
1996 |
DBLP DOI BibTeX RDF |
interrupt handlers, out-of-order issue processors, instruction level parallel processors, pipelining, exceptions, superscalar processors, traps, precise interrupts |
17 | Brian R. Gaines, Paul Compton |
Induction of Meta-knowledge about Knowledge Discovery. |
IEEE Trans. Knowl. Data Eng. |
1993 |
DBLP DOI BibTeX RDF |
meta-knowledge induction, ripple-down rule induction, clinical data, thyroid diagnosis, inductive knowledge discovery, real-world data, Garvan thyroid database, rules with exceptions, medical administrative data processing, machine learning, learning (artificial intelligence), expert system, knowledge discovery, metamodel, meta-modeling, inference mechanisms, induct, error rates, medical diagnosis, medical diagnostic computing, medical expert systems |
17 | Jong P. Yoon, Larry Kerschberg |
A Framework for Knowledge Discovery and Evolution in Databases. |
IEEE Trans. Knowl. Data Eng. |
1993 |
DBLP DOI BibTeX RDF |
databases, query processing, relational database, relational databases, knowledge discovery, rules, database theory, deductive database, deductive databases, exceptions, database query, knowledge evolution |
17 | Giovanni Sartor |
A Simple Computational Model for Nonmonotonic and Adversarial Legal Reasoning. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
legal system, rules and exceptions, knowledge representation, arguments, nonmonotonic reasoning |
17 | Wen-mei W. Hwu, Pohua P. Chang |
Efficient Instruction Sequencing with Inline Target Insertion. |
IEEE Trans. Computers |
1992 |
DBLP DOI BibTeX RDF |
instruction sequencing, inline target insertion, delayed branches, squashing, branch slots, program counter, parallel programming, compiler, pipeline, interrupts, program compilers, pipeline processing, exceptions |
17 | Christian S. Jensen, Leo Mark |
Queries on Change in an Extended Relational Model. |
IEEE Trans. Knowl. Data Eng. |
1992 |
DBLP DOI BibTeX RDF |
detailed change history, backlog relations, compact active domain, data structures, data structures, relational databases, CAD, patterns, relational algebra, exceptions, CASE, statistical databases, scientific databases, error handling, extended relational model |
17 | Carsten Vogt |
A Buffer-Based Method for storage Allocation in an Object-Oriented System. |
IEEE Trans. Computers |
1990 |
DBLP DOI BibTeX RDF |
buffer-based method, free storage management, storage descriptor, free blocks, relocation costs, storage fragmentation, optimal parameter values, object-oriented programming, exception handling, storage management, buffer storage, exceptions, storage allocation, storage allocation, object-oriented system |
16 | Daniel Bogdoll, Jing Qin, Moritz Nekolla, Ahmed Abouelazm, Tim Joseph, J. Marius Zöllner |
Informed Reinforcement Learning for Situation-Aware Traffic Rule Exceptions. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Taylor Allred, Xinyi Li, Ashton Wiersdorf, Ben Greenman, Ganesh Gopalakrishnan |
FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Pierre Lermusiaux, Benoît Montagu |
Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation. |
ESOP (2) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Ignacio Laguna, Anh Tran, Ganesh Gopalakrishnan |
Finding inputs that trigger floating-point exceptions in heterogeneous computing via Bayesian optimization. |
Parallel Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Cara Su-Yi Leong, Tal Linzen |
Language Models Can Learn Exceptions to Syntactic Rules. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Amin Ghadesi, Maxime Lamothe, Heng Li 0007 |
What Causes Exceptions in Machine Learning Applications? Mining Machine Learning-Related Stack Traces on Stack Overflow. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Yoshihiro Oyama, Hirotaka Kokubo |
Forced continuation of malware execution beyond exceptions. |
J. Comput. Virol. Hacking Tech. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Mingu Kang, Suntae Kim, Duksan Ryu, Jaehyuk Cho |
Which Exceptions Do We Have to Catch in the Python Code for AI Projects? |
Int. J. Softw. Eng. Knowl. Eng. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Walter Cazzola, Luca Favalli |
Exceptions all Over the Shop: Modular, Customizable, Language-Independent Exception Handling Layer. |
SLE |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Gabriele Sacco |
Reasoning in Description Logics with Exceptions (extended abstract). |
JOWO |
2023 |
DBLP BibTeX RDF |
|
16 | Jana Hofmann, Emanuele Vannacci, Cédric Fournet, Boris Köpf, Oleksii Oleksenko |
Speculation at Fault: Modeling and Testing Microarchitectural Leakage of CPU Exceptions. |
USENIX Security Symposium |
2023 |
DBLP BibTeX RDF |
|
16 | Victor Duta, Fabian Freyer, Fabio Pagani, Marius Muench, Cristiano Giuffrida |
Let Me Unwind That For You: Exceptions to Backward-Edge Protection. |
NDSS |
2023 |
DBLP BibTeX RDF |
|
16 | Kumar Manas, Adrian Paschke |
Legal Compliance Checking of Autonomous Driving with Formalized Traffic Rule Exceptions. |
ICLP Workshops |
2023 |
DBLP BibTeX RDF |
|
16 | Emily Allaway, Jena D. Hwang, Chandra Bhagavatula, Kathleen R. McKeown, Doug Downey, Yejin Choi 0001 |
Penguins Don't Fly: Reasoning about Generics through Instantiations and Exceptions. |
EACL |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Elinor Rubin-McGregor, Brent Harrison, Cory Siler |
Enhancing Character Depth through Personality Exceptions for Narrative Planners. |
AIIDE |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Siddharth Gupta 0003, Yuanlong Li, Qingxuan Kang, Abhishek Bhattacharjee, Babak Falsafi, Yunho Oh, Mathias Payer |
Imprecise Store Exceptions. |
ISCA |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Matteo Baldoni, Cristina Baroglio, Roberto Micalizio, Stefano Tedeschi 0001 |
Robust JaCaMo Applications via Exceptions and Accountability. |
AAMAS |
2023 |
DBLP BibTeX RDF |
|
16 | Ting Su 0001, Lingling Fan 0003, Sen Chen 0001, Yang Liu 0003, Lihua Xu, Geguang Pu, Zhendong Su 0001 |
Why My App Crashes? Understanding and Benchmarking Framework-Specific Exceptions of Android Apps. |
IEEE Trans. Software Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Emily Allaway, Jena D. Hwang, Chandra Bhagavatula, Kathleen R. McKeown, Doug Downey, Yejin Choi 0001 |
Penguins Don't Fly: Reasoning about Generics through Instantiations and Exceptions. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Zhijing Jin, Sydney Levine, Fernando Gonzalez, Ojasv Kamal, Maarten Sap, Mrinmaya Sachan, Rada Mihalcea, Josh Tenenbaum 0001, Bernhard Schölkopf |
When to Make Exceptions: Exploring Language Models as Accounts of Human Moral Judgment. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Sonal Mahajan, Mukul R. Prasad |
Providing Real-time Assistance for Repairing Runtime Exceptions using Stack Overflow Posts. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
16 | Theresa L. Adu, Thomas Van der Walt |
Knowledge of students of the exceptions and limitations clause in copyright administration in academic libraries in Ghana. |
J. Libr. Inf. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Rongfan Li, Bihuan Chen 0001, Fengyi Zhang, Chao Sun, Xin Peng 0001 |
Detecting Runtime Exceptions by Deep Code Representation Learning with Attention-Based Graph Neural Networks. |
SANER |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Sonal Mahajan, Mukul R. Prasad |
Providing Real-time Assistance for Repairing Runtime Exceptions using Stack Overflow Posts. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Sairo R. dos Santos, Tiago Rodrigo Kepe, Francis B. Moreira 0001, Paulo C. Santos 0001, Marco A. Z. Alves |
Advancing Near-Data Processing with Precise Exceptions and Efficient Data Fetching. |
ISPASS |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Lei Rao, Shaoying Liu, Ai Liu |
Testing Program Segments to Detect Runtime Exceptions in Java. |
SOFL+MSVL |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Mateja Perovic, Emily Heffernan, Gillian Einstein, Michael L. Mack |
Category learning across the menstrual cycle: Learning exceptions to the rule varies by hormonal milieu. |
CogSci |
2022 |
DBLP BibTeX RDF |
|
16 | Olivera Savic, Vladimir M. Sloutsky |
Category Exceptions Change Category Boundaries. |
CogSci |
2022 |
DBLP BibTeX RDF |
|
16 | Yongzhen Xie, Michael L. Mack |
Differentiating Exceptions in Rule-Plus-Exception Category Learning. |
CogSci |
2022 |
DBLP BibTeX RDF |
|
16 | Zhijing Jin, Sydney Levine, Fernando Gonzalez Adauto, Ojasv Kamal, Maarten Sap, Mrinmaya Sachan, Rada Mihalcea, Josh Tenenbaum 0001, Bernhard Schölkopf |
When to Make Exceptions: Exploring Language Models as Accounts of Human Moral Judgment. |
NeurIPS |
2022 |
DBLP BibTeX RDF |
|
16 | Junhee Lee, Seongjoon Hong, Hakjoo Oh |
NPEX: Repairing Java Null Pointer Exceptions without Tests. |
ICSE |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Ignacio Laguna, Ganesh Gopalakrishnan |
Finding Inputs that Trigger Floating-Point Exceptions in GPUs via Bayesian Optimization. |
SC |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Florian Stertz, Karolin Winter, Stefanie Rinderle-Ma |
Discovering Instance Spanning Exceptions from Process Execution Logs. |
CBI (2) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Hongning Miao, Shaoying Liu |
Automatic Localization of Potential Faults for Java Runtime Exceptions. |
DSA |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Anasse Chafik |
Defeasible temporal logics for the specification and verification of exception-tolerant systems. (Defeasible temporal logics pour la spécification et la vérifications des systèmes tolérants aux exceptions). |
|
2022 |
RDF |
|
16 | Yankai Wang, Shilong Wang, Ling Kang, Sibao Wang |
An effective dynamic service composition reconfiguration approach when service exceptions occur in real-life cloud manufacturing. |
Robotics Comput. Integr. Manuf. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Lidong Fu, Wenbo Zhang 0001, Xiaobo Tan, Hongbo Zhu |
An Algorithm for Detection of Traffic Attribute Exceptions Based on Cluster Algorithm in Industrial Internet of Things. |
IEEE Access |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Yusuke Kimura, Takumi Akazaki, Shinji Kikuchi, Sonal Mahajan, Mukul R. Prasad |
Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
16 | Jinhua Cui 0002, Jason Zhijingcheng Yu, Shweta Shinde, Prateek Saxena, Zhiping Cai |
SmashEx: Smashing SGX Enclaves Using Exceptions. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
16 | Dan E. Willard |
About the characterization of a fine line that separates generalizations and boundary-case exceptions for the Second Incompleteness Theorem under semantic tableau deduction. |
J. Log. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Abhishek Bichhawat, Vineet Rajani, Deepak Garg 0001, Christian Hammer 0001 |
Permissive runtime information flow control in the presence of exceptions. |
J. Comput. Secur. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Jinhua Cui 0002, Jason Zhijingcheng Yu, Shweta Shinde, Prateek Saxena, Zhiping Cai |
SmashEx: Smashing SGX Enclaves Using Exceptions. |
CCS |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Martin Odersky, Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták |
Safer exceptions for Scala. |
SCALA@SPLASH |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Lin Xu, Hao Zhong 0001 |
Detecting Inconsistent Thrown Exceptions. |
ICPC |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Emily Heffernan, Michael L. Mack |
Learning exceptions to the rule in human and model via hippocampal encoding. |
CogSci |
2021 |
DBLP BibTeX RDF |
|
16 | Anqi Wang |
Directionality Effects and Exceptions in Learning Phonological Alternations. |
CogSci |
2021 |
DBLP BibTeX RDF |
|
16 | Tolga Ünlü, Lynsay A. Shepherd, Natalie Coull, Colin McLean |
Poster: Angry Birding: Evaluating Application Exceptions as Attack Canaries. |
EuroS&P |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Robert Rubbens, Sophie Lathouwers, Marieke Huisman |
Modular Transformation of Java Exceptions Modulo Errors. |
FMICS |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Yusuke Kimura, Takumi Akazaki, Shinji Kikuchi, Sonal Mahajan, Mukul R. Prasad |
Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions. |
ASE |
2021 |
DBLP DOI BibTeX RDF |
|
16 | David A. Tomassi, Cindy Rubio-González |
On the Real-World Effectiveness of Static Bug Detectors at Finding Null Pointer Exceptions. |
ASE |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Farima Farmahinifarahani, Yadong Lu, Vaibhav Saini, Pierre Baldi, Cristina V. Lopes |
D-REX: Static Detection of Relevant Runtime Exceptions with Location Aware Transformer. |
SCAM |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Francesco Pontiggia, Michele Chiari, Matteo Pradella |
Verification of Programs with Exceptions Through Operator Precedence Automata. |
SEFM |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Nam Do 0001, Ellie Pavlick |
Are Rotten Apples Edible? Challenging Commonsense Inference Ability with Exceptions. |
ACL/IJCNLP (Findings) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Laura Giordano 0001, Valentina Gliozzi |
Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure. |
Fundam. Informaticae |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Chao Liu 0032, Jianbo Gao, Yue Li 0037, Huihui Wang 0001, Zhong Chen 0001 |
Studying gas exceptions in blockchain-based cloud applications. |
J. Cloud Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Fatmah Yousef Assiri, Hanan Elazhary |
Automated Java exceptions explanation using natural language generation techniques. |
Comput. Appl. Eng. Educ. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Sonal Mahajan, Negarsadat Abolhassani, Mukul R. Prasad |
Recommending Stack Overflow Posts for Fixing Runtime Exceptions using Failure Scenario Matching. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
16 | Foyzul Hassan, Chetan Bansal, Nachiappan Nagappan, Thomas Zimmermann 0001, Ahmed Hassan Awadallah |
An Empirical Study of Software Exceptions in the Field using Search Logs. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
16 | Itziar Sobrino-García |
Copyright in the Scientific Community. The Limitations and Exceptions in the European Union and Spanish Legal Frameworks. |
Publ. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Carlos Tomé Cortiñas, Marco Vassena, Alejandro Russo |
Securing Asynchronous Exceptions. |
CSF |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Karina Tachihara, Adele E. Goldberg, Kenneth A. Norman |
Learning Generalizations and Exceptions: the Good, the Bad and the Unpredictable. |
CogSci |
2020 |
DBLP BibTeX RDF |
|
16 | Daniel Silliman, Sean Snoddy, Matt Wetzel, Kenneth J. Kurtz |
Costly Exceptions: Deviant Exemplars Reduce Category Compression. |
CogSci |
2020 |
DBLP BibTeX RDF |
|
16 | Sonal Mahajan, Negarsadat Abolhassani, Mukul R. Prasad |
Recommending stack overflow posts for fixing runtime exceptions using failure scenario matching. |
ESEC/SIGSOFT FSE |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Loris Bozzato, Luciano Serafini, Thomas Eiter |
Reasoning with Justifiable Exceptions in Contextual Hierarchies. |
ECAI |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Danail Penev, Phil Trinder |
Comparing Reliability Mechanisms for Secure Web Servers: Comparing Actors, Exceptions and Futures in Scala. |
WEBIST |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Foyzul Hassan, Chetan Bansal, Nachiappan Nagappan, Thomas Zimmermann 0001, Ahmed Hassan Awadallah |
An Empirical Study of Software Exceptions in the Field using Search Logs. |
ESEM |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Dan E. Willard |
On the Tender Line Separating Generalizations and Boundary-Case Exceptions for the Second Incompleteness Theorem Under Semantic Tableaux Deduction. |
LFCS |
2020 |
DBLP DOI BibTeX RDF |
|
16 | D. V. Leontev, D. I. Kharitonov, D. S. Odyakova, R. V. Parakhin |
An Approach to Using Templates for Modeling Exceptions in Terms of Petri Nets. |
CSOC (1) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Jian Zhang, Xu Wang 0007, Hongyu Zhang 0002, Hailong Sun 0001, Yanjun Pu, Xudong Liu 0001 |
Learning to Handle Exceptions. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Péter Bereczky, Dániel Horpácsi, Simon J. Thompson |
Machine-checked natural semantics for Core Erlang: exceptions and side effects. |
Erlang Workshop |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Jing Duan, Shujuan Jiang, Qiao Yu, Kai Lu, Xu Zhang, Yiwen Yao |
An Automatic Localization Tool for Null Pointer Exceptions. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Cleyton M. O. Rodrigues, Eunice Palmeira da Silva, Fred Freitas, Italo Jose da Silva Oliveira, Ivan Varzinczak |
LEGIS: A Proposal to Handle Legal Normative Exceptions and Leverage Inference Proofs Readability. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
16 | Gian Luca Pozzato |
Typicalities and probabilities of exceptions in nonmotonic Description Logics. |
Int. J. Approx. Reason. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Hui Chen 0001, Kostadin Damevski, David C. Shepherd, Nicholas A. Kraft |
Modeling hierarchical usage context for software exceptions based on interaction data. |
Autom. Softw. Eng. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Remco M. Dijkman, Oktay Türetken, Geoffrey van IJzendoorn, Meint de Vries |
Business processes exceptions in relation to operational performance. |
Bus. Process. Manag. J. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Francesco Olivieri, Guido Governatori, Claudio Tomazzoli, Matteo Cristani |
Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes. |
DICE-FOPARA@ETAPS |
2019 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 1550 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|