Search results for "exceptions"

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