Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Matti Nykänen, Raul Hakli, Satu Eloranta, Olli Niinivaara |
How to deal with unbelievable assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 78(3-4), pp. 323-360, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Carlo Nicolai |
A Note on Typed Truth and Consistency Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 45(1), pp. 89-119, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Pouya Taatizadeh, Nicola Nicolici |
Automated Selection of Assertions for Bit-Flip Detection During Post-Silicon Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35(12), pp. 2118-2130, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Antara Ain, Antonio Anastasio Bruto da Costa, Pallab Dasgupta |
Feature Indented Assertions for Analog and Mixed-Signal Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35(11), pp. 1928-1941, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Martha Anne Flinders Lewis, Jonathan Lawry |
The Utility of Hedged Assertions in the Emergence of Shared Categorical Labels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1601.06755, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
16 | Victor Yodaiken |
Parametric equations for temporal style assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1612.01630, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
16 | Omar Amin, Youssef Ramzy, Omar Ibrahem, Ahmed Fouad 0001, Khaled Mohamed, Mohamed Abdelsalam |
System Verilog Assertions Synthesis Based Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTV ![In: 17th International Workshop on Microprocessor and SOC Test and Verification, MTV 2016, Austin, TX, USA, December 12-13, 2016, pp. 65-70, 2016, IEEE Computer Society, 978-1-4673-8924-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Bartosz Frackowiak, Robert Dabrowski |
Using LINQ as a universal tool for defining architectural assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FedCSIS (Position Papers) ![In: Position Papers of the 2016 Federated Conference on Computer Science and Information Systems, FedCSIS 2016, Gdańsk, Poland, September 11-14, 2016., pp. 275-282, 2016, 978-83-60810-93-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Christopher B. Harris, Ian G. Harris |
GLAsT: Learning formal grammars to translate natural language specifications into hardware assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2016 Design, Automation & Test in Europe Conference & Exhibition, DATE 2016, Dresden, Germany, March 14-18, 2016, pp. 966-971, 2016, IEEE, 978-3-9815-3707-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
16 | Alessandro Danese, Graziano Pravadelli, Ivan Zandona |
Automatic generation of power state machines through dynamic mining of temporal assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2016 Design, Automation & Test in Europe Conference & Exhibition, DATE 2016, Dresden, Germany, March 14-18, 2016, pp. 606-611, 2016, IEEE, 978-3-9815-3707-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
16 | Florenc Demrozi, Graziano Pravadelli, Francesco Stefanni |
Automatic generation of self-adaptive transactors from PSL assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: 2016 Forum on Specification and Design Languages, FDL 2016, Bremen, Germany, September 14-16, 2016, pp. 1-7, 2016, IEEE, 979-10-92279-17-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Yumin Zhou, Oliver Bringmann 0001, Wolfgang Rosenstiel |
Flexible in-silicon checking of run-time programmable assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IOLTS ![In: 22nd IEEE International Symposium on On-Line Testing and Robust System Design, IOLTS 2016, Sant Feliu de Guixols, Spain, July 4-6, 2016, pp. 78-83, 2016, IEEE, 978-1-5090-1507-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Gautham S. Harinarayan, Manmohan Rana, Nitin Pant, Manish Bansal, Sarthak Sharma, Nishant Kaundal |
Automated Full Chip SPICE simulations with self-checking assertions for last mile verification & first pass Silicon of mixed signal SoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoCC ![In: 29th IEEE International System-on-Chip Conference, SOCC 2016, Seattle, WA, USA, September 6-9, 2016, pp. 183-188, 2016, IEEE, 978-1-5090-1367-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Giorgio Delzanno |
Reachability Predicates for Graph Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems - 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings, pp. 63-76, 2016, Springer, 978-3-319-45993-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Khaled Khalifa, Khaled Salah 0001 |
An RTL power optimization technique based on System Verilog assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UEMCON ![In: 7th IEEE Annual Ubiquitous Computing, Electronics & Mobile Communication Conference, UEMCON 2016, New York City, NY, USA, October 20-22, 2016, pp. 1-4, 2016, IEEE, 978-1-5090-1496-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Xavier Oriol, Ernest Teniente, Guillem Rull |
TINTIN: a Tool for INcremental INTegrity checking of Assertions in SQL Server. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Proceedings of the 19th International Conference on Extending Database Technology, EDBT 2016, Bordeaux, France, March 15-16, 2016, Bordeaux, France, March 15-16, 2016., pp. 632-635, 2016, OpenProceedings.org, 978-3-89318-070-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Tara E. Thomas, Anmol J. Bhattad, Subrata Mitra, Saurabh Bagchi |
Sirius: Neural Network Based Probabilistic Assertions for Detecting Silent Data Corruption in Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 35th IEEE Symposium on Reliable Distributed Systems, SRDS 2016, Budapest, Hungary, September 26-29, 2016, pp. 41-50, 2016, IEEE Computer Society, 978-1-5090-3513-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | John Turri |
Selfless assertions: some empirical evidence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 192(4), pp. 1221-1233, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Hasan Sohofi, Zainalabedin Navabi |
System-level assertions: approach for electronic system-level verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Comput. Digit. Tech. ![In: IET Comput. Digit. Tech. 9(3), pp. 142-152, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Peter Hawke, Shane Steinert-Threlkeld |
Informational Dynamics of 'Might' Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LORI ![In: Logic, Rationality, and Interaction - 5th International Workshop, LORI 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings, pp. 143-155, 2015, Springer, 978-3-662-48560-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Valéria Magalhães Pequeno, Vânia Maria Ponte Vidal, Tiago Vinuto, Helena Galhardas |
Automatic Generation of R2R Mappings from Correspondence Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBBD (Short Papers) ![In: XXX Simpósio Brasileiro de Banco de Dados - Short Papers, Petrópolis, Rio de Janeiro, Brasil, October 13-16, 2015., pp. 33-38, 2015, SBC. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
16 | Lingjun Li, Guoliang Xue, Xinxin Zhao |
The Power of Whispering: Near Field Assertions via Acoustic Communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaCCS ![In: Proceedings of the 10th ACM Symposium on Information, Computer and Communications Security, ASIA CCS '15, Singapore, April 14-17, 2015, pp. 627-632, 2015, ACM, 978-1-4503-3245-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Alessandro Danese, Francesca Filini, Graziano Pravadelli |
A time-window based approach for dynamic assertions mining on control signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI-SoC ![In: 2015 IFIP/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2015, Daejeon, South Korea, October 5-7, 2015, pp. 246-251, 2015, IEEE, 978-1-4673-9140-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Alessandro Danese, Francesca Filini, Tara Ghasempouri, Graziano Pravadelli |
Automatic Generation and Qualification of Assertions on Control Signals: A Time Window-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI-SoC (Selected Papers) ![In: VLSI-SoC: Design for Reliability, Security, and Low Power - 23rd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2015, Daejeon, Korea, October 5-7, 2015, Revised Selected Papers, pp. 193-221, 2015, Springer, 978-3-319-46096-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Alessandro Danese, Tara Ghasempouri, Graziano Pravadelli |
Automatic extraction of assertions from execution traces of behavioural models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE 2015, Grenoble, France, March 9-13, 2015, pp. 67-72, 2015, ACM, 978-3-9815370-4-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
16 | Hsuan-Ming Chou, Hong-Chang Wu, Yi-Chiao Chen, Jean Tsao, Shih-Chieh Chang |
Hybrid coverage assertions for efficient coverage analysis across simulation and emulation environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: The 20th Asia and South Pacific Design Automation Conference, ASP-DAC 2015, Chiba, Japan, January 19-22, 2015, pp. 594-599, 2015, IEEE, 978-1-4799-7792-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Guillermo Rodríguez-Navas, Avenir Kobetski, Daniel Sundmark, Thomas Gustafsson |
Offline Analysis of Independent Guarded Assertions in Automotive Integration Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCC/CSS/ICESS ![In: 17th IEEE International Conference on High Performance Computing and Communications, HPCC 2015, 7th IEEE International Symposium on Cyberspace Safety and Security, CSS 2015, and 12th IEEE International Conference on Embedded Software and Systems, ICESS 2015, New York, NY, USA, August 24-26, 2015, pp. 1066-1073, 2015, IEEE, 978-1-4799-8937-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Gustafsson, Mats Skoglund, Avenir Kobetski, Daniel Sundmark |
Automotive system testing by independent guarded assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: Eighth IEEE International Conference on Software Testing, Verification and Validation, ICST 2015 Workshops, Graz, Austria, April 13-17, 2015, pp. 1-7, 2015, IEEE Computer Society, 978-1-4799-1885-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Mohamed Hanafy 0001, Hazem Said, Ayman M. Wahba |
Complete Properties Extraction from Simulation Traces for Assertions Auto-generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NATW ![In: 24th IEEE North Atlantic Test Workshop, NATW 2015, Johnson City, NY, USA, May 11-13, 2015, pp. 1-6, 2015, IEEE, 978-1-4673-7417-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Cheng Chen 0001, Daniel L. Pullen, John R. Talburt |
A visualization system to support clerical review, correction, and confirmation assertions in entity identity information management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIQ ![In: Proceedings of the 20th International Conference on Information Quality, ICIQ 2015, Cambridge, MA, USA, July 24, 2015., 2015, MIT Information Quality Program, 978-1-5108-2017-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
16 | Maicon Stihler, Altair Olivo Santin, Arlindo L. Marcon Jr. |
Managing distributed UCONabc policies with authorization assertions and policy templates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: 2015 IEEE Symposium on Computers and Communication, ISCC 2015, Larnaca, Cyprus, July 6-9, 2015, pp. 619-624, 2015, IEEE Computer Society, 978-1-4673-7194-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Yingfei Xiong 0001, Dan Hao 0001, Lu Zhang 0023, Tao Zhu, Muyao Zhu, Tian Lan |
Inner oracles: input-specific assertions on internal states. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30 - September 4, 2015, pp. 902-905, 2015, ACM, 978-1-4503-3675-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Yucheng Zhang, Ali Mesbah 0001 |
Assertions are strongly correlated with test suite effectiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30 - September 4, 2015, pp. 214-224, 2015, ACM, 978-1-4503-3675-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Zhe Hou, Rajeev Goré, Alwen Tiu |
Automated Theorem Proving for Assertions in Separation Logic with All Connectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings, pp. 501-516, 2015, Springer, 978-3-319-21400-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Werner Ceusters, William R. Hogan |
An ontological analysis of diagnostic assertions in electronic healthcare records. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICBO ![In: Proceedings of the International Conference on Biomedical Ontology, ICBO 2015, Lisbon, Portugal, July 27-30, 2015., 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
16 | Matthias Wenzl, Christian Fibich, Peter Rössler, Herbert Taucher, Martin Matschnig |
Logic synthesis of assertions for saftey-critical applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIT ![In: IEEE International Conference on Industrial Technology, ICIT 2015, Seville, Spain, March 17-19, 2015, pp. 1581-1586, 2015, IEEE, 978-1-4799-7800-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Masahiro Fujita |
Automatic identification of assertions and invariants with small numbers of test vectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 33rd IEEE International Conference on Computer Design, ICCD 2015, New York City, NY, USA, October 18-21, 2015, pp. 463-466, 2015, IEEE Computer Society, 978-1-4673-7166-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Fabrizio Pastore, Leonardo Mariani |
ZoomIn: Discovering Failures by Detecting Wrong Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (1) ![In: 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 1, pp. 66-76, 2015, IEEE Computer Society, 978-1-4799-1934-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Antara Ain, Pallab Dasgupta |
Monitoring AMS Simulation: From Assertions to Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSID ![In: 28th International Conference on VLSI Design, VLSID 2015, Bangalore, India, January 3-7, 2015, pp. 429-434, 2015, IEEE Computer Society, 978-1-4799-6658-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Rafael Caballero 0001, Manuel Montenegro, Herbert Kuchen, Vincent von Hof |
Checking Java Assertions Using Automated Test-Case Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers, pp. 221-226, 2015, Springer, 978-3-319-27435-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Jan Tobias Mühlberg, David H. White 0001, Mike Dodds, Gerald Lüttgen, Frank Piessens |
Learning Assertions to Verify Linked-List Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings, pp. 37-52, 2015, Springer, 978-3-319-22968-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Tim Todman, Stephan Stilkerich, Wayne Luk |
Using Statistical Assertions to Guide Self-Adaptive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Reconfigurable Comput. ![In: Int. J. Reconfigurable Comput. 2014, pp. 724585:1-724585:8, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Manfred Broy |
Verifying of interface assertions for infinite state Mealy machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 80(7), pp. 1298-1322, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Ning Zhou, Xinyan Gao, Jinzhao Wu, Jianchao Wei, Dakui Li |
Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Math. ![In: J. Appl. Math. 2014, pp. 194574:1-194574:15, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Owen Sacco, John G. Breslin |
In users we trust: towards social user interactions based Trust Assertions for the Social Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soc. Netw. Anal. Min. ![In: Soc. Netw. Anal. Min. 4(1), pp. 229, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Carla Purdy, Chandan Singh, Rashna Seli |
Fixing power bugs at RTL stage using PSL assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MWSCAS ![In: IEEE 57th International Midwest Symposium on Circuits and Systems, MWSCAS 2014, College Station, TX, USA, August 3-6, 2014, pp. 218-221, 2014, IEEE, 978-1-4799-4134-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Thomas S. Heinze, Wolfram Amme, Simon Moser |
Message Assertions and Predicate-Based Control-Flow Unfolding Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZEUS ![In: Proceedings of the 6th Central-European Workshop on Services and their Composition, ZEUS 2014, Potsdam, Germany, February 20-21, 2014., pp. 17-20, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh |
Extending Dolev-Yao with Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISS ![In: Information Systems Security - 10th International Conference, ICISS 2014, Hyderabad, India, December 16-20, 2014, Proceedings, pp. 50-68, 2014, Springer, 978-3-319-13840-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Ziad A. Al-Sharif, Clinton L. Jeffery, Mahmoud H. Said |
Debugging with Dynamic Temporal Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE Workshops ![In: 25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014, pp. 257-262, 2014, IEEE Computer Society, 978-1-4799-7377-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Xi Zheng 0001 |
Physically informed assertions for cyber physical systems development and debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom Workshops ![In: 2014 IEEE International Conference on Pervasive Computing and Communication Workshops, PerCom 2014 Workshops, Budapest, Hungary, March 24-28, 2014, pp. 181-183, 2014, IEEE Computer Society, 978-1-4799-2736-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Chen Huo, James Clause |
Improving oracle quality by detecting brittle assertions and unused inputs in tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014, pp. 621-631, 2014, ACM, 978-1-4503-3056-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Adrian Sampson, Pavel Panchekha, Todd Mytkowicz, Kathryn S. McKinley, Dan Grossman, Luis Ceze |
Expressing and verifying probabilistic assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '14, Edinburgh, United Kingdom - June 09 - 11, 2014, pp. 112-122, 2014, ACM, 978-1-4503-2784-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Mathias Soeken, Christopher B. Harris, Nabila Abdessaied, Ian G. Harris, Rolf Drechsler |
Automating the translation of assertions using natural language processing techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Proceedings of the 2014 Forum on Specification and Design Languages, FDL 2014, Munich, Germany, October 14-16, 2014, pp. 1-8, 2014, IEEE, 978-2-9530504-9-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Mohamed Ben Hammouda, Philippe Coussy, Loïc Lagadec |
A design approach to automatically synthesize ANSI-C assertions during High-Level Synthesis of hardware accelerators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: IEEE International Symposium on Circuits and Systemss, ISCAS 2014, Melbourne, Victoria, Australia, June 1-5, 2014, pp. 165-168, 2014, IEEE, 978-1-4799-3431-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia |
On the reuse of RTL assertions in SystemC TLM verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATW ![In: 15th Latin American Test Workshop - LATW 2014, Fortaleza, Brazil, March 12-15, 2014, pp. 1-6, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | David Sheridan, Lingyi Liu, Hyungsul Kim, Shobha Vasudevan |
A Coverage Guided Mining Approach for Automatic Generation of Succinct Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSID ![In: 2014 27th International Conference on VLSI Design, VLSID 2014, and 2014 13th International Conference on Embedded Systems, Mumbai, India, January 5-9, 2014, pp. 68-73, 2014, IEEE Computer Society, 978-1-4799-2513-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Jonathan Anderson, Robert N. M. Watson, David Chisnall, Khilan Gudka, Ilias Marinos, Brooks Davis |
TESLA: temporally enhanced system logic assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: Ninth Eurosys Conference 2014, EuroSys 2014, Amsterdam, The Netherlands, April 13-16, 2014, pp. 19:1-19:14, 2014, ACM, 978-1-4503-2704-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Viraj Athavale, Sai Ma, Samuel Hertz, Shobha Vasudevan |
Code Coverage of Assertions Using RTL Source Code Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: The 51st Annual Design Automation Conference 2014, DAC '14, San Francisco, CA, USA, June 1-5, 2014, pp. 61:1-61:6, 2014, ACM, 978-1-4503-2730-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Carna Radojicic, Christoph Grimm 0001, Florian Schupfer, Michael Rathmair |
Verification of Mixed-Signal Systems with Affine Arithmetic Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: VLSI Design 2013, pp. 239064:1-239064:14, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Xinyan Gao, Ning Zhou, Jinzhao Wu, Dakui Li |
Wu's Characteristic Set Method for SystemVerilog Assertions Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Math. ![In: J. Appl. Math. 2013, pp. 740194:1-740194:14, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Samuel Hertz, David Sheridan, Shobha Vasudevan |
Mining Hardware Assertions With Guidance From Static Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32(6), pp. 952-965, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Lingyi Liu, Shobha Vasudevan |
Automatic Generation of System Level Assertions from Transaction Level Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 29(5), pp. 669-684, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Jules Desharnais, Ali Mili 0001 |
Invariant assertions, invariant relations, and invariant functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 78(9), pp. 1212-1239, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Khaled Bsaïes, Ali Mili 0001 |
Invariant functions and invariant relations: An alternative to invariant assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 48, pp. 1-36, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Elodie Cassan |
Descartes' Theory of Judgement: Warranted Assertions, the Key to Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Judgement and the Epistemic Foundation of Logic ![In: Judgement and the Epistemic Foundation of Logic, pp. 39-47, 2013, Springer, 978-94-007-5136-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Katell Morin-Allory, Fatemeh Negin Javaheri, Dominique Borrione |
Fast prototyping from assertions: A pragmatic approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013, pp. 23-32, 2013, IEEE, 978-1-4799-0903-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Eliot Handelman, Andie Sigler |
Key Induction and Key Mapping Using Pitch-Class Set Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCM ![In: Mathematics and Computation in Music - 4th International Conference, MCM 2013, Montreal, QC, Canada, June 12-14, 2013. Proceedings, pp. 115-127, 2013, Springer, 978-3-642-39356-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Jewel H. Ward, Hao Xu 0006, Mike C. Conway, Terrell G. Russell, Antoine de Torcy |
Using Metadata to Facilitate Understanding and Certification of Assertions about the Preservation Properties of a Preservation System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTSR ![In: Metadata and Semantics Research - 7th Research Conference, MTSR 2013, Thessaloniki, Greece, November 19-22, 2013. Proceedings, pp. 87-98, 2013, Springer, 978-3-319-03436-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Junji Zhi, Vahid Garousi |
On Adequacy of Assertions in Automated Test Suites: An Empirical Investigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013, pp. 382-391, 2013, IEEE Computer Society, 978-1-4799-1324-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Tim Todman, Wayne Luk |
Runtime assertions and exceptions for streaming systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: 23rd International Conference on Field programmable Logic and Applications, FPL 2013, Porto, Portugal, September 2-4, 2013, pp. 1-4, 2013, IEEE, 978-1-4799-0004-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Duc-Hiep Chu, Joxan Jaffar |
Path-sensitive resource analysis compliant with assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013, pp. 15:1-15:10, 2013, IEEE, 978-1-4799-1443-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Owen Sacco, John G. Breslin, Stefan Decker |
Fine-Grained Trust Assertions for Privacy Management in the Social Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TrustCom/ISPA/IUCC ![In: 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2013 / 11th IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA-13 / 12th IEEE International Conference on Ubiquitous Computing and Communications, IUCC-2013, Melbourne, Australia, July 16-18, 2013, pp. 218-225, 2013, IEEE Computer Society, 978-0-7695-5022-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Chen-Hsuan Lin, Lingyi Liu, Shobha Vasudevan |
Generating concise assertions with complete coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Great Lakes Symposium on VLSI 2013 (part of ECRC), GLSVLSI'13, Paris, France, May 2-4, 2013, pp. 185-190, 2013, ACM, 978-1-4503-2032-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Cyril Grouin |
Building A Contrasting Taxa Extractor for Relation Identification from Assertions: BIOlogical Taxonomy & Ontology Phrase Extraction System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioNLP@ACL (Shared Task) ![In: Proceedings of the BioNLP Shared Task 2013 Workshop, Sofia, Bulgaria, August 9, 2013, pp. 144-152, 2013, Association for Computational Linguistics, 978-1-937284-55-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Casey Lynnette Overby, Emily Beth Devine, Peter Tarczy-Hornoch, Ira J. Kalet |
Deriving rules and assertions from pharmacogenomics knowledge resources in support of patient drug metabolism efficacy predictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Medical Informatics Assoc. ![In: J. Am. Medical Informatics Assoc. 19(5), pp. 840-850, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Minh Ngoc Dinh, David Abramson 0001, Chao Jin, Donny Kurniawan, Andrew Gontarek, Bob Moench, Luiz De Rose |
Debugging Scientific Applications With Statistical Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Proceedings of the International Conference on Computational Science, ICCS 2012, Omaha, Nebraska, USA, 4-6 June, 2012, pp. 1940-1949, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Subhankar Mukherjee 0001, Pallab Dasgupta |
Computing Minimal Debugging Windows in Failure Traces of AMS Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 31(11), pp. 1776-1781, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Viacheslav Izosimov, Giuseppe Di Guglielmo, Michele Lora, Graziano Pravadelli, Franco Fummi, Zebo Peng, Masahiro Fujita |
Time-Constraint-Aware Optimization of Assertions in Embedded Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 28(4), pp. 469-486, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Subhankar Mukherjee 0001, Pallab Dasgupta, Siddhartha Mukhopadhyay, Scott Little, John Havlicek, Srikanth Chandrasekaran |
Synchronizing AMS Assertions with AMS Simulation: From Theory to Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 17(4), pp. 38:1-38:25, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Jacob Thamsborg, Lars Birkedal, Hongseok Yang |
Two for the Price of One: Lifting Separation Logic Assertions ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 8(3), 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Doron Bustan, Dmitry Korchemny, Erik Seligman, Jin Yang 0006 |
SystemVerilog Assertions: Past, Present, and Future SVA Standardization Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test Comput. ![In: IEEE Des. Test Comput. 29(2), pp. 23-31, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli |
On the use of assertions for embedded-software dynamic verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDECS ![In: IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2012, Tallinn, Estonia, April 18-20, 2012, pp. 330-335, 2012, IEEE, 978-1-4673-1187-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Alexei Czeskis, Michael Dietz, Tadayoshi Kohno, Dan S. Wallach, Dirk Balfanz |
Strengthening user authentication through opportunistic cryptographic identity assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: the ACM Conference on Computer and Communications Security, CCS'12, Raleigh, NC, USA, October 16-18, 2012, pp. 404-414, 2012, ACM, 978-1-4503-1651-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Michael Sirivianos, Kyungbaek Kim, Jian Wei Gan, Xiaowei Yang 0001 |
Assessing the veracity of identity assertions via OSNs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMSNETS ![In: Fourth International Conference on Communication Systems and Networks, COMSNETS 2012, Bangalore, India, January 3-7, 2012, pp. 1-10, 2012, IEEE, 978-1-4673-0296-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Daniel Schwartz-Narbonne, Georg Weissenbacher, Sharad Malik |
Parallel Assertions for Architectures with Weak Memory Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 254-268, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Jimmy Lauret, Hélène Waeselynck, Jean-Charles Fabre |
Detection of Interferences in Aspect-Oriented Programs Using Executable Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE Workshops ![In: 23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Dallas, TX, USA, November 27-30, 2012, pp. 165-170, 2012, IEEE Computer Society, 978-1-4673-5048-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Marc Frappier, Amel Mammar |
An Assertions-Based Approach to Verifying the Absence Property Pattern. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 23rd IEEE International Symposium on Software Reliability Engineering, ISSRE 2012, Dallas, TX, USA, November 27-30, 2012, pp. 361-370, 2012, IEEE Computer Society, 978-1-4673-4638-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Andrew P. Gibson, Jesse C. J. van Dam, Erik A. Schultes, Marco Roos, Barend Mons |
Towards Computational Evaluation of Evidence for Scientific Assertions with Nanopublications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT4LS ![In: Proceedings of the 5th International Workshop on Semantic Web Applications and Tools for Life Sciences, Paris, France, November 28-30, 2012, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Jennifer Golbeck, Hal Warren, Eva Winer |
Making trusted attribute assertions online with the publish trust framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PST ![In: Tenth Annual International Conference on Privacy, Security and Trust, PST 2012, Paris, France, July 16-18, 2012, pp. 155-156, 2012, IEEE Computer Society, 978-1-4673-2323-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati 0001, Marco Ruzzi, Domenico Fabio Savo |
Inconsistency-Tolerant First-Order Rewritability of DL-Lite with Identification and Denial Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Minh Ngoc Dinh, David Abramson 0001, Chao Jin, Andrew Gontarek, Bob Moench, Luiz De Rose |
Scalable parallel debugging with statistical assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2012, New Orleans, LA, USA, February 25-29, 2012, pp. 311-312, 2012, ACM, 978-1-4503-1160-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Mohamed Nassim Seghir, Martin Brain |
Simplifying the Verification of Quantified Array Assertions via Code Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation, 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers, pp. 194-212, 2012, Springer, 978-3-642-38196-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Martin Doerr, Athina Kritsotaki, Katerina Boutsika |
Factual argumentation - a core model for assertions making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Journal on Computing and Cultural Heritage ![In: ACM Journal on Computing and Cultural Heritage 3(3), pp. 8:1-8:34, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Amandine Périnet, Natalia Grabar, Thierry Hamon |
Identification of assertions in the medical texts: application to the relation {patient, medical problem}. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trait. Autom. des Langues ![In: Trait. Autom. des Langues 52(1), pp. 97-132, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | John Curreri, Greg Stitt, Alan D. George |
High-Level Synthesis of In-Circuit Assertions for Verification, Debugging, and Timing Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Reconfigurable Comput. ![In: Int. J. Reconfigurable Comput. 2011, pp. 406857:1-406857:17, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Kirk Roberts, Sanda M. Harabagiu |
A flexible framework for deriving assertions from electronic medical records. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Medical Informatics Assoc. ![In: J. Am. Medical Informatics Assoc. 18(5), pp. 568-573, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Özlem Uzuner, Brett R. South, Shuying Shen, Scott L. DuVall |
2010 i2b2/VA challenge on concepts, assertions, and relations in clinical text. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Medical Informatics Assoc. ![In: J. Am. Medical Informatics Assoc. 18(5), pp. 552-556, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Min Jiang 0007, Yukun Chen, Mei Liu, S. Trent Rosenbloom, Subramani Mani, Joshua C. Denny, Hua Xu 0001 |
A study of machine-learning-based approaches to extract clinical entities and their assertions from discharge summaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Medical Informatics Assoc. ![In: J. Am. Medical Informatics Assoc. 18(5), pp. 601-606, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Ramtilak Vemu, Jacob A. Abraham |
CEDA: Control-Flow Error Detection Using Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 60(9), pp. 1233-1245, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Control-flow errors, software-based detection, fault tolerance, error detection |
16 | Subhankar Mukherjee 0001, Pallab Dasgupta, Siddhartha Mukhopadhyay |
Auxiliary Specifications for Context-Sensitive Monitoring of AMS Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 30(10), pp. 1446-1457, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|