Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Tejaswini C. Herath, Myung-Seong Yim, John D'Arcy, Kichan Nam, H. Raghav Rao |
Examining employee security violations: moral disengagement and its environmental influences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Technol. People ![In: Inf. Technol. People 31(6), pp. 1135-1162, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Falak Nawaz, Naeem Khalid Janjua, Omar Khadeer Hussain, Farookh Khadeer Hussain, Elizabeth Chang 0001, Morteza Saberi |
Event-driven approach for predictive and proactive management of SLA violations in the Cloud of Things. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Gener. Comput. Syst. ![In: Future Gener. Comput. Syst. 84, pp. 78-97, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Jéferson Campos Nobre, Lisandro Zambenedetti Granville, Alexander Clemm, Alberto Gonzalez Prieto |
Autonomic Networking Use Case for Distributed Detection of Service Level Agreement (SLA) Violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 8316, pp. 1-16, February 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Mahdi Eslamimehr, Mohsen Lesani, George Edwards |
Efficient detection and validation of atomicity violations in concurrent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 137, pp. 618-635, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | François Leduc-Primeau, Frank R. Kschischang, Warren J. Gross |
Modeling and Energy Optimization of LDPC Decoder Circuits With Timing Violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 66(3), pp. 932-946, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Daniel B. Shank, Alyssa DeSanti |
Attributions of morality and mind to artificial intelligence after real-world moral violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Hum. Behav. ![In: Comput. Hum. Behav. 86, pp. 401-411, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Haoyu Luo, Jin Liu 0016, Xiao Liu 0004, Yun Yang 0001 |
Predicting temporal violations for parallel business cloud workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 48(4), pp. 775-795, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Mathias Payer |
How memory safety violations enable exploitation of programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Continuing Arms Race ![In: The Continuing Arms Race: Code-Reuse Attacks and Defenses, pp. 1-23, 2018, ACM / Morgan & Claypool, 978-1-97000-183-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Zeyu Ding 0001, Yuxin Wang, Guanhong Wang, Danfeng Zhang, Daniel Kifer |
Detecting Violations of Differential Privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, CCS 2018, Toronto, ON, Canada, October 15-19, 2018, pp. 475-489, 2018, ACM, 978-1-4503-5693-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Benjamin Bichsel, Timon Gehr, Dana Drachsler-Cohen, Petar Tsankov, Martin T. Vechev |
DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, CCS 2018, Toronto, ON, Canada, October 15-19, 2018, pp. 508-524, 2018, ACM, 978-1-4503-5693-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Hernan Aparicio, Pablo Ituero |
A 40nm Critical Path Monitor for the Detection of Setup and Hold Time Violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PATMOS ![In: 28th International Symposium on Power and Timing Modeling, Optimization and Simulation, PATMOS 2018, Platja d'Aro, Spain, July 2-4, 2018, pp. 13-18, 2018, IEEE, 978-1-5386-6365-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Wojciech Czabanski, Magiel Bruntink, Paul Martin 0002 |
Actionable Measurements - Improving The Actionability of Architecture Level Software Quality Violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BENEVOL ![In: Proceedings of the 17th Belgium-Netherlands Software Evolution Workshop, Delft, the Netherlands, December 10th - to - 11th, 2018., pp. 51-55, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
14 | Nasim Talebi, Mohsen M. Jozani, Tejaswini (Teju) Herath, H. Raghav Rao |
Using Cognitive Dissonance Theory to Explain Information Security Policy Violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMCIS ![In: 24th Americas Conference on Information Systems, AMCIS 2018, New Orleans, LA, USA, August 16-18, 2018, 2018, Association for Information Systems, 978-0-9966831-6-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
14 | Chris D. Monaco, Sean N. Brennan |
Ego-Motion Estimate Corruption Due to Violations of the Range Flow Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2018, Madrid, Spain, October 1-5, 2018, pp. 3964-3969, 2018, IEEE, 978-1-5386-8094-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Alper Karamanlioglu, Ferda Nur Alpaslan |
An Ontology-Based Expert System to Detect Service Level Agreement Violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMSD ![In: Business Modeling and Software Design - 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, Proceedings, pp. 362-371, 2018, Springer, 978-3-319-94213-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Xinwei Fu, Dongyoon Lee, Changhee Jung |
nAdroid: statically detecting ordering violations in Android applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: Proceedings of the 2018 International Symposium on Code Generation and Optimization, CGO 2018, Vösendorf / Vienna, Austria, February 24-28, 2018, pp. 62-74, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Christian Colombo 0001, Joshua Ellul, Gordon J. Pace |
Contracts over Smart Contracts: Recovering from Violations Dynamically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (4) ![In: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV, pp. 300-315, 2018, Springer, 978-3-030-03426-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Ahmed Atteya, Michael A. Kochte, Matthias Sauer 0002, Pascal Raiola, Bernd Becker 0001, Hans-Joachim Wunderlich |
Online prevention of security violations in reconfigurable scan networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETS ![In: 23rd IEEE European Test Symposium, ETS 2018, Bremen, Germany, May 28 - June 1, 2018, pp. 1-6, 2018, IEEE, 978-1-5386-3728-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Michael Vierhauser, Jane Cleland-Huang, Rick Rabiser, Thomas Krismayer, Paul Grünbacher |
Supporting Diagnosis of Requirements Violations in Systems of Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 26th IEEE International Requirements Engineering Conference, RE 2018, Banff, AB, Canada, August 20-24, 2018, pp. 325-335, 2018, IEEE Computer Society, 978-1-5386-7418-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Zhuo Sun, Reng Zeng, Xudong He |
A Method for Predicting Two-Variable Atomicity Violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS ![In: 2018 IEEE International Conference on Software Quality, Reliability and Security, QRS 2018, Lisbon, Portugal, July 16-20, 2018, pp. 103-110, 2018, IEEE, 978-1-5386-7757-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Harsh Desai 0001, Kevin Liu, Murat Kantarcioglu, Lalana Kagal |
Adjudicating Violations in Data Sharing Agreements Using Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iThings/GreenCom/CPSCom/SmartData ![In: IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData), iThings/GreenCom/CPSCom/SmartData 2018, Halifax, NS, Canada, July 30 - August 3, 2018, pp. 1553-1560, 2018, IEEE, 978-1-5386-7975-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Carlos André Batista de Carvalho, Rossana Maria de Castro Andrade, Nazim Agoulmine, Miguel Franklin de Castro |
Detection of Access Control Violations in the Secure Sharing of Cloud Storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLOSER ![In: Proceedings of the 8th International Conference on Cloud Computing and Services Science, CLOSER 2018, Funchal, Madeira, Portugal, March 19-21, 2018., pp. 124-135, 2018, SciTePress, 978-989-758-295-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | John Moriarty, Jure Vogrinc, Alessandro Zocca |
Frequency violations from random disturbances: an MCMC approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 57th IEEE Conference on Decision and Control, CDC 2018, Miami, FL, USA, December 17-19, 2018, pp. 1598-1603, 2018, IEEE, 978-1-5386-1395-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Chunyu Yang, Yan Liu, Jia Yu 0017 |
Exploring Violations of Programming Styles: Insights from Open Source Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSAI/ICIMT ![In: Proceedings of the 2018 2nd International Conference on Computer Science and Artificial Intelligence, CSAI 2018, the 10th International Conference on Information and Multimedia Technology, ICIMT 2018, Shenzhen, China, December 08-10, 2018, pp. 185-189, 2018, ACM, 978-1-4503-6606-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Lucas de Paris, Ricardo Reis 0001 |
An automated methodology to fix electromigration violations on a customized design flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LASCAS ![In: 9th IEEE Latin American Symposium on Circuits & Systems, LASCAS 2018, Puerto Vallarta, Mexico, February 25-28, 2018, pp. 1-4, 2018, IEEE, 978-1-5386-2311-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Reese Cullimore, Gwendolyn Rehrig, John M. Henderson, Fernanda Ferreira |
When less is not more: Violations of a Gricean maxim facilitate visual search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 40th Annual Meeting of the Cognitive Science Society, CogSci 2018, Madison, WI, USA, July 25-28, 2018, 2018, cognitivesciencesociety.org, 978-0-9911967-8-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
14 | David Kellen, Henrik Singmann, Sharon Yanxiu Chen, Samuel Winiger |
Assumption Violations in Forced-Choice Recognition Judgments: Implications from the Area Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 40th Annual Meeting of the Cognitive Science Society, CogSci 2018, Madison, WI, USA, July 25-28, 2018, 2018, cognitivesciencesociety.org, 978-0-9911967-8-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
14 | Catarina Moreira, Andreas Wichert |
Introducing Quantum-Like Influence Diagrams for Violations of the Sure Thing Principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QI ![In: Quantum Interaction - 11th International Conference, QI 2018, Nice, France, September 3-5, 2018, Revised Selected Papers, pp. 91-108, 2018, Springer, 978-3-030-35894-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Manoj V. Thomas, K. Chandrasekaran 0001, Gopal Mugeraya |
Agent-Based Approach for the Management of Dynamic QoS Violations in the Inter-Cloud Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KMO ![In: Knowledge Management in Organizations - 13th International Conference, KMO 2018, Žilina, Slovakia, August 6-10, 2018, Proceedings, pp. 477-488, 2018, Springer, 978-3-319-95203-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Mijung Kim, Shing-Chi Cheung, Sunghun Kim 0001 |
Which generated test failures are fault revealing? prioritizing failures based on inferred precondition violations using PAF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018, pp. 679-690, 2018, ACM, 978-1-4503-5573-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Yu Qiu, Zijing Tan, Kejia Yang, Weidong Yang, Xiangdong Zhou, Naiwang Guo |
Repairing Data Violations with Order Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASFAA (2) ![In: Database Systems for Advanced Applications - 23rd International Conference, DASFAA 2018, Gold Coast, QLD, Australia, May 21-24, 2018, Proceedings, Part II, pp. 283-300, 2018, Springer, 978-3-319-91457-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Maurizio Naldi |
Non-Parametric Bootstrap Detection of Availability Service Level Objective Violations in Cloud Storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TMA ![In: Network Traffic Measurement and Analysis Conference, TMA 2018, Vienna, Austria, June 26-29, 2018, pp. 1-7, 2018, IEEE, 978-3-903176-09-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Maryam Jameela, Hammad Afzal, Khawar Khurshid, Asad Waqar Malik |
Crowdsourced System to Report Traffic Violations - RoadCop: Bi-Modular System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEHITS ![In: Proceedings of the 4th International Conference on Vehicle Technology and Intelligent Transport Systems, VEHITS 2018, Funchal, Madeira, Portugal, March 16-18, 2018., pp. 315-322, 2018, SciTePress, 978-989-758-293-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Kostas Kolomvatsos, Maria G. Koziri, Thanasis Loukopoulos |
An Intelligent Scheme for the Identification of QoS Violations in Virtualized Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: IEEE 30th International Conference on Tools with Artificial Intelligence, ICTAI 2018, 5-7 November 2018, Volos, Greece., pp. 1040-1047, 2018, IEEE. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Pascal Raiola, Michael A. Kochte, Ahmed Atteya, Laura Rodríguez Gómez, Hans-Joachim Wunderlich, Bernd Becker 0001, Matthias Sauer 0002 |
Detecting and Resolving Security Violations in Reconfigurable Scan Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IOLTS ![In: 24th IEEE International Symposium on On-Line Testing And Robust System Design, IOLTS 2018, Platja D'Aro, Spain, July 2-4, 2018, pp. 91-96, 2018, IEEE, 978-1-5386-5992-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Kartik Nagar, Suresh Jagannathan |
Automated Detection of Serializability Violations Under Weak Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China, pp. 41:1-41:18, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-087-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Jassim Happa, Nick Moffat, Michael Goldsmith, Sadie Creese |
Run-Time Monitoring of Data-Handling Violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyberICPS/SECPRE@ESORICS ![In: Computer Security - ESORICS 2018 International Workshops, CyberICPS 2018 and SECPRE 2018, Barcelona, Spain, September 6-7, 2018, Revised Selected Papers, pp. 213-232, 2018, Springer, 978-3-030-12785-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Yu-Ching Li, Shih-Yao Lin 0001, Heng-Yi Lin, James Chien-Mo Li |
Diagnosis and repair of cells (DRC) responsible for power-supply-noise violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI-DAT ![In: 2018 International Symposium on VLSI Design, Automation and Test (VLSI-DAT), Hsinchu, Taiwan, April 16-19, 2018, pp. 1-4, 2018, IEEE, 978-1-5386-4260-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Eiji Adachi Barbosa, Alessandro Garcia 0001 |
Global-aware recommendations for repairing violations in exception handling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018, pp. 858, 2018, ACM, 978-1-4503-5638-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Kevin Moran, Boyang Li 0002, Carlos Bernal-Cárdenas, Dan Jelf, Denys Poshyvanyk |
Automated reporting of GUI design violations for mobile apps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018, pp. 165-175, 2018, ACM, 978-1-4503-5638-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Hooman Zabeti, Tamon Stephen, Bonnie Berger, Leonid Chindelevitch |
A Duality-Based Method for Identifying Elemental Balance Violations in Metabolic Network Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WABI ![In: 18th International Workshop on Algorithms in Bioinformatics, WABI 2018, August 20-22, 2018, Helsinki, Finland, pp. 1:1-1:13, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-082-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Pierre-Louis Aublin, Florian Kelbert, Dan O'Keeffe, Divya Muthukumaran, Christian Priebe, Joshua Lind, Robert Krahn, Christof Fetzer, David M. Eyers, Peter R. Pietzuch |
LibSEAL: revealing service integrity violations using trusted execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: Proceedings of the Thirteenth EuroSys Conference, EuroSys 2018, Porto, Portugal, April 23-26, 2018, pp. 24:1-24:15, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Aysa Fakheri Tabrizi, Nima Karimpour Darav, Shuchang Xu, Logan Rakai, Ismail Bustany, Andrew A. Kennings, Laleh Behjat |
A machine learning framework to identify detailed routing short violations from a placed netlist. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 55th Annual Design Automation Conference, DAC 2018, San Francisco, CA, USA, June 24-29, 2018, pp. 48:1-48:6, 2018, ACM, 978-1-5386-4114-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Angelo Ferrando 0001, Louise A. Dennis, Davide Ancona, Michael Fisher 0001, Viviana Mascardi |
Recognising Assumption Violations in Autonomous Systems Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10-15, 2018, pp. 1933-1935, 2018, International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
14 | Christian Schubert, Michael Borkowski, Stefan Schulte 0002 |
Trustworthy Detection and Arbitration of SLA Violations in the Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOCC ![In: Service-Oriented and Cloud Computing - 7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings, pp. 90-104, 2018, Springer, 978-3-319-99818-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Amit Datta |
Fairness and Privacy Violations in Black-Box Personalization Systems: Detection and Defenses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
DOI RDF |
|
14 | Antonio Bianchi |
Identifying and Mitigating Trust Violations in the Mobile Ecosystem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
14 | Catello Di Martino, Santonu Sarkar, Rajeshwari Ganesan, Zbigniew T. Kalbarczyk, Ravishankar K. Iyer |
Analysis and Diagnosis of SLA Violations in a Production SaaS Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 66(1), pp. 54-75, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Thilak L. Fernando, Geoffrey I. Webb |
SimUSF: an efficient and effective similarity measure that is invariant to violations of the interval scale assumption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Min. Knowl. Discov. ![In: Data Min. Knowl. Discov. 31(1), pp. 264-286, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Takashi Isozaki, Manabu Kuroki |
Learning Causal Graphs with Latent Confounders in Weak Faithfulness Violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 35(1), pp. 29-45, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Sudarat Nidsunkid, John J. Borkowski, Kamon Budsaba |
The effects of violations of the multivariate normality assumption in multivariate Shewhart and MEWMA control charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Qual. Reliab. Eng. Int. ![In: Qual. Reliab. Eng. Int. 33(8), pp. 2563-2576, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Adriana Alvarado Garcia, Alyson L. Young, Lynn Dombrowski |
On Making Data Actionable: How Activists Use Imperfect Data to Foster Social Change for Human Rights Violations in Mexico. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Hum. Comput. Interact. ![In: Proc. ACM Hum. Comput. Interact. 1(CSCW), pp. 19:1-19:19, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Matthew Campbell, Jordan Shropshire, Antonis C. Stylianou |
A stitch in time saves nine: the role of moral judgement in reducing internet policy violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bus. Inf. Syst. ![In: Int. J. Bus. Inf. Syst. 24(3), pp. 369-386, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Ya-Fen Chen, Yu-Jie Tan, Cheng-Gang Shao |
Experimental Design for Testing Local Lorentz Invariance Violations in Gravity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 9(10), pp. 219, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | E. A. Wasserman, Aleksandr Chakroff, Rebecca Saxe, Liane Young |
Illuminating the conceptual structure of the space of moral violations with searchlight representational similarity analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 159, pp. 371-387, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Alessandro Solimando, Ernesto Jiménez-Ruiz, Giovanna Guerrini |
Minimizing conservativity violations in ontology alignments: algorithms and evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 51(3), pp. 775-819, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Marcos Aurélio Pinto Cunha, Omayma Matoussi, Frédéric Pétrot |
Detecting Software Cache Coherence Violations in MPSoC Using Traces Captured on Virtual Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 16(2), pp. 30:1-30:21, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Samuel Hardman Taylor, Andrew M. Ledbetter |
Extending media multiplexity theory to the extended family: Communication satisfaction and tie strength as moderators of violations of media use expectations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Media Soc. ![In: New Media Soc. 19(9), pp. 1369-1387, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Grigorios Kalliatakis, Shoaib Ehsan, Klaus D. McDonald-Maier |
A Paradigm Shift: Detecting Human Rights Violations Through Web Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1703.10501, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Grigorios Kalliatakis, Shoaib Ehsan, Maria Fasli, Ales Leonardis, Juergen Gall, Klaus D. McDonald-Maier |
Detection of Human Rights Violations in Images: Can Convolutional Neural Networks help? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1703.04103, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Kui Liu 0001, Dongsun Kim 0001, Tegawendé F. Bissyandé, Shin Yoo, Yves Le Traon |
Mining Fix Patterns for FindBugs Violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1712.03201, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Kiran Sharma, Gunjan Sehgal, Bindu Gupta, Geetika Sharma, Arnab Chatterjee, Anirban Chakraborti, Gautam Shroff |
A complex network analysis of ethnic conflicts and human rights violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1705.03405, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Atsushi Shibagaki, Ichiro Takeuchi |
Stochastic Primal Dual Coordinate Method with Non-Uniform Sampling Based on Optimality Violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1703.07056, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Martin Ostoja-Starzewski |
Admitting Spontaneous Violations of the Second Law in Continuum Thermomechanics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 19(2), pp. 78, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Adil Maarouf, Bouchra El Qacimy, Abderrahim Marzouk, Abdelkrim Haqiq |
Defining and Evaluating A Novel Penalty Model for Managing Violations in the Cloud Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Grid High Perform. Comput. ![In: Int. J. Grid High Perform. Comput. 9(2), pp. 36-52, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Jéferson Campos Nobre, Lisandro Zambenedetti Granville |
Decentralized detection of violations of Service Level Agreements using Peer-to-Peer technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IM ![In: 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM), Lisbon, Portugal, May 8-12, 2017, pp. 835-840, 2017, IEEE, 978-3-901882-89-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Marie-Eve Joret, Marijn van Vliet, Flavio Camarrone, Marc M. Van Hulle |
How does the brain process mild versus strong violations in music? A pilot study using event-related potentials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSP ![In: 22nd International Conference on Digital Signal Processing, DSP 2017, London, United Kingdom, August 23-25, 2017, pp. 1-5, 2017, IEEE, 978-1-5386-1895-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Stefan Schoenen, Zoltán Ádám Mann, Andreas Metzger |
Using Risk Patterns to Identify Violations of Data Protection Policies in Cloud Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC Workshops ![In: Service-Oriented Computing - ICSOC 2017 Workshops - ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13-16, 2017, Revised Selected Papers, pp. 296-307, 2017, Springer, 978-3-319-91763-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Aji Ery Burhandenny, Hirohisa Aman, Minoru Kawahara |
Investigation of Coding Violations Focusing on Authorships of Source Files. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIT/CSII/BCD ![In: 5th International Conference on Applied Computing and Information Technology, 4th International Conference on Computational Science/Intelligence and Applied Informatics, 2nd International Conference on Big Data, Cloud Computing, Data Science & Engineering, ACIT/CSII/BCD 2017, Hamamatsu, Japan, July 9-13, 2017, pp. 248-253, 2017, IEEE, 978-1-5386-3302-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Yijing Li, Ben C. F. Choi |
Expecting the Unexpected in Security Violations in Mobile Apps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACIS ![In: 21st Pacific Asia Conference on Information Systems, PACIS 2017, Langkawi, Malaysia, July 16-20, 2017, pp. 78, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Dolière Francis Somé, Nataliia Bielova, Tamara Rezk |
On the Content Security Policy Violations due to the Same-Origin Policy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 26th International Conference on World Wide Web, WWW 2017, Perth, Australia, April 3-7, 2017, pp. 877-886, 2017, ACM, 978-1-4503-4913-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Ole Meyer, Florian Wessling, Christina Klüver |
Finding optimized configurations for variability-intensive systems without constraint violations using a Regulatory Algorithm (RGA). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEC ![In: 2017 IEEE Congress on Evolutionary Computation, CEC 2017, Donostia, San Sebastián, Spain, June 5-8, 2017, pp. 1908-1915, 2017, IEEE, 978-1-5090-4601-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Ying-Feng Wu, Yu-Lun Su, Charles H.-P. Wen |
TVM: Tabular VM migration for reducing hop violations of service chains in cloud datacenters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: IEEE International Conference on Communications, ICC 2017, Paris, France, May 21-25, 2017, pp. 1-6, 2017, IEEE, 978-1-4673-8999-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | John Hershberger 0001, Neeraj Kumar 0004, Subhash Suri |
Shortest Paths in the Plane with Obstacle Violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: 25th Annual European Symposium on Algorithms, ESA 2017, September 4-6, 2017, Vienna, Austria, pp. 49:1-49:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-049-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Boyang Li 0002, Denys Poshyvanyk, Mark Grechanik |
Automatically detecting integrity violations in database-centric applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPC ![In: Proceedings of the 25th International Conference on Program Comprehension, ICPC 2017, Buenos Aires, Argentina, May 22-23, 2017, pp. 251-262, 2017, IEEE Computer Society, 978-1-5386-0535-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Piyawat Lertvittayakumjorn, Natthawut Kertkeidkachorn, Ryutaro Ichise |
Resolving Range Violations in DBpedia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JIST ![In: Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings, pp. 121-137, 2017, Springer, 978-3-319-70681-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Steffen Höhenberger, Hendrik Scholta |
Will Government Forms Ever be Consistent? Detecting Violations in Form Structures by utilizing Graph Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIS ![In: 25th European Conference on Information Systems, ECIS 2017, Guimarães, Portugal, June 5-10, 2017, pp. 48, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Maria Silvia Abba Legnazzi, Cristina Rottondi, Giacomo Verticale |
Differentially private queries in crowdsourced databases for net neutrality violations detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICUFN ![In: Ninth International Conference on Ubiquitous and Future Networks, ICUFN 2017, Milan, Italy, July 4-7, 2017, pp. 868-873, 2017, IEEE, 978-1-5090-4749-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Chathurika Wickramage, Colin J. Fidge, Tony Sahama, Roy Wong |
Challenges for Log Based Detection of Privacy Violations during Healthcare Emergencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GLOBECOM ![In: 2017 IEEE Global Communications Conference, GLOBECOM 2017, Singapore, December 4-8, 2017, pp. 1-6, 2017, IEEE, 978-1-5090-5019-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | James M. Yearsley, Daier Yuan, Jennifer Trueblood |
Perceived similarity mediates violations of independence in probabilistic judgments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 39th Annual Meeting of the Cognitive Science Society, CogSci 2017, London, UK, 16-29 July 2017, 2017, cognitivesciencesociety.org, 978-0-9911967-6-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Yan Cai 0001, Lingwei Cao, Jing Zhao 0016 |
Adaptively generating high quality fixes for atomicity violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017, pp. 303-314, 2017, ACM, 978-1-4503-5105-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Aviv Kuvent, Shahar Maoz, Jan Oliver Ringert |
A symbolic justice violations transition system for unrealizable GR(1) specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017, pp. 362-372, 2017, ACM, 978-1-4503-5105-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Frits de Nijs, Erwin Walraven, Mathijs Michiel de Weerdt, Matthijs T. J. Spaan |
Bounding the Probability of Resource Constraint Violations in Multi-Agent MDPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA., pp. 3562-3568, 2017, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Marco Manna, Francesco Ricca, Giorgio Terracina |
Decomposing and pruning primary key violations from large data sets (discussion paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEBD ![In: Proceedings of the 25th Italian Symposium on Advanced Database Systems, Squillace Lido (Catanzaro), Italy, June 25-29, 2017., pp. 186, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Thiago Allison Ribeiro da Silva, Ricardo A. L. Rabêlo, Enza R. S. de Ferreira, Guilherme G. Lage |
An approach to determine a sequence of adjustments to eliminate voltage magnitude violations in transmission power systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: 2017 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2017, Banff, AB, Canada, October 5-8, 2017, pp. 798-803, 2017, IEEE, 978-1-5386-1645-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Carlos André Batista de Carvalho, Miguel Franklin de Castro, Rossana Maria de Castro Andrade |
Secure cloud storage service for detection of security violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGrid ![In: Proceedings of the 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGRID 2017, Madrid, Spain, May 14-17, 2017, pp. 715-718, 2017, IEEE Computer Society / ACM, 978-1-5090-6610-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Shinpei Hayashi, Fumiki Minami, Motoshi Saeki |
Inference-based Detection of Architectural Violations in MVC2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT ![In: Proceedings of the 12th International Conference on Software Technologies, ICSOFT 2017, Madrid, Spain, July 24-26, 2017., pp. 394-401, 2017, SciTePress, 978-989-758-262-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Tobias Olsson, Morgan Ericsson, Anna Wingkvist |
The relationship of code churn and architectural violations in the open source software JabRef. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA (Companion) ![In: 11th European Conference on Software Architecture, ECSA 2017, Companion Proceedings, Canterbury, United Kingdom, September 11-15, 2017, pp. 152-158, 2017, ACM, 978-1-4503-5217-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Ankit Choudhary, Shan Lu 0001, Michael Pradel |
Efficient detection of thread safety violations via coverage-guided generation of concurrent tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017, pp. 266-277, 2017, IEEE / ACM, 978-1-5386-3868-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Pascal Cuoq, Loïc Runarvot, Alexander Cherepanov |
Detecting Strict Aliasing Violations in the Wild. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation - 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings, pp. 14-33, 2017, Springer, 978-3-319-52233-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Irene Tollin, Francesca Arcelli Fontana, Marco Zanoni, Riccardo Roveda |
Change Prediction through Coding Rules Violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EASE ![In: Proceedings of the 21st International Conference on Evaluation and Assessment in Software Engineering, EASE 2017, Karlskrona, Sweden, June 15-16, 2017, pp. 61-64, 2017, ACM, 978-1-4503-4804-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Grigorios Kalliatakis, Shoaib Ehsan, Maria Fasli, Ales Leonardis, Juergen Gall, Klaus D. McDonald-Maier |
Detection of Human Rights Violations in Images: Can Convolutional Neural Networks Help?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISIGRAPP (5: VISAPP) ![In: Proceedings of the 12th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP 2017) - Volume 5: VISAPP, Porto, Portugal, February 27 - March 1, 2017., pp. 289-296, 2017, SciTePress, 978-989-758-226-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Sungseob Whang, Tymani Rachford, Dimitra Papagiannopoulou, Tali Moreshet, R. Iris Bahar |
Evaluating critical bits in arithmetic operations due to timing violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPEC ![In: 2017 IEEE High Performance Extreme Computing Conference, HPEC 2017, Waltham, MA, USA, September 12-14, 2017, pp. 1-7, 2017, IEEE, 978-1-5386-3472-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Faiz Ul Muram, Muhammad Atif Javed, Huy Tran, Uwe Zdun |
Towards a Framework for Detecting Containment Violations in Service Choreography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCC ![In: 2017 IEEE International Conference on Services Computing, SCC 2017, Honolulu, HI, USA, June 25-30, 2017, pp. 172-179, 2017, IEEE Computer Society, 978-1-5386-2005-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Nadya Markin, Eldho K. Thomas, Frédérique E. Oggier |
On group violations of inequalities in five subgroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Math. Commun. ![In: Adv. Math. Commun. 10(4), pp. 871-893, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Moritz Heene, Andrew Kyngdon, Philipp Sckopke |
Detecting Violations of Unidimensionality by Order-Restricted Inference Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Appl. Math. Stat. ![In: Frontiers Appl. Math. Stat. 2, pp. 3, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Mohammed Alodib |
QoS-Aware approach to monitor violations of SLAs in the IoT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Innov. Digit. Ecosyst. ![In: J. Innov. Digit. Ecosyst. 3(2), pp. 197-207, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Cristiano Amaral Maffort, Marco Túlio Valente, Ricardo Terra, Mariza Andrade da Silva Bigonha, Nicolas Anquetil, André C. Hora |
Mining architectural violations from version history. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 21(3), pp. 854-895, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Hongzhe Li, Jaesang Oh, Heejo Lee |
Detecting Violations of Security Requirements for Vulnerability Discovery in Source Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 99-D(9), pp. 2385-2389, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Horst Herrlich, Paul E. Howard, Eleftherios Tachtsis |
Finiteness Classes and Small Violations of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 57(3), pp. 375-388, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|