Search results for "assertions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
8	Tomas Kalibera, Pavel Parízek, Michal Malohlava, Martin Schoeberl	Exhaustive testing of safety critical Java.	JTRES	2010	DBLP DOI BibTeX RDF	SCJ, model checking, real-time Java, Java PathFinder
8	Massimiliano Pala	A proposal for collaborative internet-scale trust infrastructures deployment: the public key system (PKS).	IDtrust	2010	DBLP DOI BibTeX RDF	distributed systems, peer-to-peer, PKI, federated identities
8	Huiping Cao, Yan Qi 0002, K. Selçuk Candan, Maria Luisa Sapino	Feedback-driven result ranking and query refinement for exploring semi-structured data collections.	EDBT	2010	DBLP DOI BibTeX RDF	data-centric XML, feature cover, inter-dependent structural feature, relevance feedback
8	James E. Katz, Ronald E. Rice	Technical opinion - Falling into the net: main street America playing games and making friends online.	Commun. ACM	2009	DBLP DOI BibTeX RDF
8	Daniele Apiletti, Giulia Bruno, Elisa Ficarra, Elena Baralis	Extraction of Constraints from Biological Data.	Biomedical Data and Applications	2009	DBLP DOI BibTeX RDF
8	Andreas Klenk, Holger Kinkelin, Christoph Eunicke, Georg Carle	Preventing identity theft with electronic identity cards and the trusted platform module.	EUROSEC	2009	DBLP DOI BibTeX RDF	authentication with TPM, electronic ID, identity system
8	Mathias Ricken, Robert Cartwright	ConcJUnit: unit testing for concurrent programs.	PPPJ	2009	DBLP DOI BibTeX RDF	Java, concurrent programming, unit testing, JUnit
8	Mark Greaves	The Growing Semantic Web.	ECML/PKDD (1)	2009	DBLP DOI BibTeX RDF
8	Olivier Bouissou, Eric Goubault, Sylvie Putot, Karim Tekkal, Franck Védrine	HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment.	CAV	2009	DBLP DOI BibTeX RDF
8	Jason B. Alonso, Catherine Havasi, Henry Lieberman	PerspectiveSpace: Opinion Modeling with Dimensionality Reduction.	UMAP	2009	DBLP DOI BibTeX RDF
8	Mauro Pezzè, Jochen Wuttke	Automatic Generation of Runtime Failure Detectors from Property Templates.	Software Engineering for Self-Adaptive Systems	2009	DBLP DOI BibTeX RDF
8	Ken Kaneiwa, Philip H. P. Nguyen	Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring.	ISWC	2009	DBLP DOI BibTeX RDF
8	Jianfeng Du, Guilin Qi, Qiu Ji	Goal-Directed Module Extraction for Explaining OWL DL Entailments.	ISWC	2009	DBLP DOI BibTeX RDF
8	Olga Morawczynski	Examining the Usage and Impact of Transformational M-Banking in Kenya.	HCI (14)	2009	DBLP DOI BibTeX RDF	M-PESA, m-banking, livelihoods, transformational technologies, migration, impact
8	Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, Dirk Leinenbach, Michal Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies	VCC: A Practical System for Verifying Concurrent C.	TPHOLs	2009	DBLP DOI BibTeX RDF
8	Jesper Bengtson, Joachim Parrow	Psi-calculi in Isabelle.	TPHOLs	2009	DBLP DOI BibTeX RDF
8	Andrew McCreight	Practical Tactics for Separation Logic.	TPHOLs	2009	DBLP DOI BibTeX RDF
8	Maria Jump, Kathryn S. McKinley	Dynamic shape analysis via degree metrics.	ISMM	2009	DBLP DOI BibTeX RDF	degree metrics, dynamic invariants, dynamic shape analysis
8	Serge Autexier, Dominik Dietrich	Atomic Metadeduction.	KI	2009	DBLP DOI BibTeX RDF
8	Chris Hawblitzel, Erez Petrank	Automated verification of practical garbage collectors.	POPL	2009	DBLP DOI BibTeX RDF	verification, garbage collection
8	Christian Dax, Felix Klaedtke, Martin Lange	On Regular Temporal Logics with Past, .	ICALP (2)	2009	DBLP DOI BibTeX RDF
8	Marta Z. Kwiatkowska	On Quantitative Software Verification.	SPIN	2009	DBLP DOI BibTeX RDF
8	Tzilla Elrad	Aspect Oriented Approach for Capturing and Verifying Distributed Properties.	Languages: From Formal to Natural	2009	DBLP DOI BibTeX RDF
8	Nighat Yasmin, Murali Sitaraman	Compositional performance prediction exemplified using generic object finalization analysis.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	performance prediction, compositional analysis
8	Mohammad Raza, Cristiano Calcagno, Philippa Gardner	Automatic Parallelization with Separation Logic.	ESOP	2009	DBLP DOI BibTeX RDF
8	Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi 0001	On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals.	ICISS	2009	DBLP DOI BibTeX RDF
8	Aurélie C. Lozano, Naoki Abe, Yan Liu 0002, Saharon Rosset	Grouped graphical Granger modeling methods for temporal causal modeling.	KDD	2009	DBLP DOI BibTeX RDF	temporal causal modeling, variable group selection, boosting, graphical modeling, Granger causality
8	Alek Opitz, Hartmut König	Predicting Free Computing Capacities on Individual Machines.	GPC	2009	DBLP DOI BibTeX RDF	grid computing, measures, prediction, desktop grids
8	Fred Cohen	Analysis of Redundant Traces for Consistency: With Examples from Electronic Messaging and Graphical Images.	COMPSAC (2)	2009	DBLP DOI BibTeX RDF
8	Jan Smans, Bart Jacobs 0002, Frank Piessens	Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic.	ECOOP	2009	DBLP DOI BibTeX RDF
8	Shumpei Akai, Shigeru Chiba	Extending AspectJ for separating regions.	GPCE	2009	DBLP DOI BibTeX RDF	synchronization, aspect-oriented programming, region, feature-oriented programming
8	Erik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko C. J. D. van Eekelen, Sjaak Smetsers	Preemption Abstraction.	FMICS	2009	DBLP DOI BibTeX RDF
8	Fang Wu, Dennis M. Wilkinson, Bernardo A. Huberman	Feedback Loops of Attention in Peer Production.	CSE (4)	2009	DBLP DOI BibTeX RDF
8	Régis Alenda, Nicola Olivetti, Camilla Schwind	Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus.	TABLEAUX	2009	DBLP DOI BibTeX RDF
8	Andrei Voronkov, Iman Narasamdya	Inter-program Properties.	SAS	2009	DBLP DOI BibTeX RDF	assertion function, invariant, translation validation
8	Matthias Heizmann, Jochen Hoenicke, Andreas Podelski	Refinement of Trace Abstraction.	SAS	2009	DBLP DOI BibTeX RDF
8	Frédéric Prost, Chaouki Zerrari	Reasoning about Entanglement and Separability in Quantum Higher-Order Functions.	UC	2009	DBLP DOI BibTeX RDF
8	Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer 0001	A comparative study of programmer-written and automatically inferred contracts.	ISSTA	2009	DBLP DOI BibTeX RDF	dynamic contract inference, eiffel
8	Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer	An annotation assistant for interactive debugging of programs with common synchronization idioms.	PADTAD	2009	DBLP DOI BibTeX RDF	synchronization idioms, concurrent programs, atomicity
8	Christos Dimoulas, Riccardo Pucella, Matthias Felleisen	Future contracts.	PPDP	2009	DBLP DOI BibTeX RDF	software reliability, contracts, behavioral specifications, higher-order functions
8	Hidenori Kurokawa	Tableaux and Hypersequents for Justification Logic.	LFCS	2009	DBLP DOI BibTeX RDF
8	Morten Kühnrich, Uwe Nestmann	On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
8	Paulo Trigo, Helder Coelho	Agent Inferencing Meets the Semantic Web.	EPIA	2009	DBLP DOI BibTeX RDF
8	Zurab Khasidashvili, Daher Kaiss, Doron Bustan	A compositional theory for post-reboot observational equivalence checking of hardware.	FMCAD	2009	DBLP DOI BibTeX RDF
8	Zurab Khasidashvili, Gavriel Gavrielov, Tom Melham	Assume-guarantee validation for STE properties within an SVA environment.	FMCAD	2009	DBLP DOI BibTeX RDF
8	David W. Chadwick	FileSpace: an alternative to CardSpace that supports multiple token authorisation and portability between devices.	IDtrust	2009	DBLP DOI BibTeX RDF	information cards, authorisation, federated identity management, X.509 certificates, CardSpace
8	Kyu Il Kim, Won Gil Choi, Eun-Ju Lee, Ung-Mo Kim	A Secure Delegation Model Based on Multi-agent in Pervasive Environments.	KES-AMSTA	2009	DBLP DOI BibTeX RDF	Delegation, XACML, SAML, Pervasive Environment
8	Zhiming Cui, Wei Fang, Xuefeng Xian, Shukui Zhang, Pengpeng Zhao	Extension of OWL with Dynamic Fuzzy Logic.	APWeb/WAIM Workshops	2009	DBLP DOI BibTeX RDF	dynamic fuzzy logic, ontology, semantic web, OWL
8	Emile H. L. Aarts, Frits Grotenhuis	Ambient Intelligence 2.0: Towards Synergetic Prosperity.	AmI	2009	DBLP DOI BibTeX RDF	People-Centric Design, Synergetic Prosperity, Ambient Intelligence
8	Guillem Rull, Carles Farré, Ernest Teniente, Toni Urpí	MVT: a schema mapping validation tool.	EDBT	2009	DBLP DOI BibTeX RDF
8	Yuri Gurevich, Arnab Roy 0001	Operational Semantics for DKAL: Application and Analysis.	TrustBus	2009	DBLP DOI BibTeX RDF
8	Iman Narasamdya, Michaël Périn	Certification of Smart-Card Applications in Common Criteria.	FASE	2009	DBLP DOI BibTeX RDF
8	Kathryn E. Gray, Alan Mycroft	Logical Testing.	FASE	2009	DBLP DOI BibTeX RDF
8	Malak T. Al-Nory, Alexander Brodsky 0001, Hadon Nash	A Service Composition Framework for Decision Making under Uncertainty.	ICEIS	2009	DBLP DOI BibTeX RDF	Modelling for stochastic programming, Supply chain optimization, Decision Support Systems, Object-oriented simulation
8	Norman Jacobson, Suzanne K. Schaefer	Pair programming in CS1: overcoming objections to its adoption.	ACM SIGCSE Bull.	2008	DBLP DOI BibTeX RDF	lab exams, on-computer exams, CS1, pair programming
8	Bhaskar Pal, Ansuman Banerjee, Arnab Sinha, Pallab Dasgupta	Accelerating Assertion Coverage With Adaptive Testbenches.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
8	Marc Boule, Zeljko Zilic	Automata-based assertion-checker synthesis of PSL properties.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	assertion checkers, emulation, hardware, automata, PSL, Assertion-Based Verification
8	Grant Martin	Learning to assert yourself [review of Creating Assertion-Based IP (H.D. Foster and A.C. Krolnik; 2008)].	IEEE Des. Test Comput.	2008	DBLP DOI BibTeX RDF
8	Florian Luisier, Thierry Blu	SURE-LET Multichannel Image Denoising: Interscale Orthonormal Wavelet Thresholding.	IEEE Trans. Image Process.	2008	DBLP DOI BibTeX RDF
8	Florencio G. Asenjo	Opposition and Circularity.	Oppositional Concepts in Computational Intelligence	2008	DBLP DOI BibTeX RDF
8	Jonathan Lawry	An Overview of Computing with Words using Label Semantics.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
8	Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács	Valigator: A Verification Tool with Bound and Invariant Generation.	LPAR	2008	DBLP DOI BibTeX RDF
8	Andreas Podelski, Andrey Rybalchenko, Thomas Wies	Heap Assumptions on Demand.	CAV	2008	DBLP DOI BibTeX RDF
8	Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis	Towards Abstraction for DynAlloy Specifications.	ICFEM	2008	DBLP DOI BibTeX RDF
8	Stephen H. Bach, Marcus A. Maloof	Paired Learners for Concept Drift.	ICDM	2008	DBLP DOI BibTeX RDF
8	Mariano Ceccato, Jasvir Nagra, Paolo Tonella	Distributing Trust Verification to Increase Application Performance.	PDP	2008	DBLP DOI BibTeX RDF	remote trust, smartcard, tamper resistant
8	Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo	A practical type analysis for verification of modular prolog programs.	PEPM	2008	DBLP DOI BibTeX RDF	modular logic programs, verification, scalability, logic programming, program analysis, abstract interpretation, types
8	Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri	Uncertainty Reasoning for Ontologies with General TBoxes in Description Logic.	URSW (LNCS Vol.)	2008	DBLP DOI BibTeX RDF
8	Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Li Ma 0002, Edith Schonberg, Kavitha Srinivas, Xingzhi Sun	Scalable Grounded Conjunctive Query Evaluation over Large and Expressive Knowledge Bases.	ISWC	2008	DBLP DOI BibTeX RDF
8	Matthias Nickles, Ruth Cobos	An Approach to Description Logic with Support for Propositional Attitudes and Belief Fusion.	URSW (LNCS Vol.)	2008	DBLP DOI BibTeX RDF	Context Logic, Provenance Annotation, Semantic Web, OWL, Voting, Knowledge Integration
8	Matthew Arnold, Martin T. Vechev, Eran Yahav	QVM: an efficient runtime for detecting defects in deployed systems.	OOPSLA	2008	DBLP DOI BibTeX RDF	algorithms, reliability, virtual machines
8	Klaus Havelund	Runtime Verification of C Programs.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
8	Yann Régis-Gianas, François Pottier	A Hoare Logic for Call-by-Value Functional Programs.	MPC	2008	DBLP DOI BibTeX RDF
8	Henrique Rebêlo, Sérgio Soares, Ricardo Massa Ferreira Lima, Leopoldo Ferreira, Márcio Cornélio	Implementing Java modeling language contracts with AspectJ.	SAC	2008	DBLP DOI BibTeX RDF	JML compiler, aspect-oriented programming, AspectJ, design by contract, JML language
8	Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen	Testing Concurrent Objects with Application-Specific Schedulers.	ICTAC	2008	DBLP DOI BibTeX RDF
8	Heekyong Park, Jinwook Choi	Modeling korean clinical records as a simple temporal constraint satisfaction problem.	JCDL	2008	DBLP DOI BibTeX RDF	clinical records, discharge summaries, simple constraint satisfaction problem, stp, temporal information
8	Ramtilak Vemu, Abhijit Jas, Jacob A. Abraham, Srinivas Patil, Rajesh Galivanche	A low-cost concurrent error detection technique for processor control logic.	DATE	2008	DBLP DOI BibTeX RDF
8	Djones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Tobias Kirsten, Volker Schönknecht, Stephan Reitemeyer	Verification of Temporal Properties in Automotive Embedded Software.	DATE	2008	DBLP DOI BibTeX RDF
8	Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva 0001	Calculating Invariants as Coreflexive Bisimulations.	AMAST	2008	DBLP DOI BibTeX RDF	coalgebraic reasoning, pointfree transform, proof obligations, program calculation
8	Chenguang Luo, Guanhua He, Shengchao Qin	A Heap Model for Java Bytecode to Support Separation Logic.	APSEC	2008	DBLP DOI BibTeX RDF
8	Du Zhang, Hong Zhu 0002	When Is Inconsistency Considered Harmful: Temporal Characterization of Knowledge Base Inconsistency.	IDEAL	2008	DBLP DOI BibTeX RDF	KB inconsistency, temporal inconsistency, conflicting intervals, interval temporal logic
8	Adrian Lienhard, Tudor Gîrba, Orla Greevy, Oscar Nierstrasz	Test Blueprint - Exposing Side Effects in Execution Traces to Support Writing Unit Tests.	CSMR	2008	DBLP DOI BibTeX RDF
8	Ansuman Banerjee, Kausik Datta, Pallab Dasgupta	CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications.	ATVA	2008	DBLP DOI BibTeX RDF
8	Jaroslaw Domaszewicz, Michal Koziuk, Radoslaw Olgierd Schoeneich	Context-Addressable Messaging Service with Ontology-Driven Addresses.	OTM Conferences (2)	2008	DBLP DOI BibTeX RDF
8	Kazunori Iwasa, Masahiko Narita, Makiko Shimamura	Realizing Interoperable Infrastructure for Electronic Business Systems and Local Government Systems.	II3E	2008	DBLP DOI BibTeX RDF
8	Bogdan Alexe, Laura Chiticariu, Renée J. Miller, Daniel Pepper, Wang Chiew Tan	Muse: a system for understanding and designing mappings.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	data examples, design, refinement, data exchange, schema mappings, data translation
8	Hüseyin Aysan, Sasikumar Punnekkat, Radu Dobrin	Error Modeling in Dependable Component-Based Systems.	COMPSAC	2008	DBLP DOI BibTeX RDF	error classification, dependability, component-based systems, error propagation, error modeling
8	Hakim Belhaouari, Frédéric Peschanski	A Lightweight Container Architecture for Runtime Verification.	RV	2008	DBLP DOI BibTeX RDF
8	Wladimir Araujo, Lionel C. Briand, Yvan Labiche	Concurrent Contracts for Java in JML.	ISSRE	2008	DBLP DOI BibTeX RDF
8	Vicenç Beltran 0001, Jordi Torres, Eduard Ayguadé	Understanding tuning complexity in multithreaded and hybrid web servers.	IPDPS	2008	DBLP DOI BibTeX RDF
8	Limin Jia 0001, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, Steve Zdancewic	AURA: a programming language for authorization and audit.	ICFP	2008	DBLP DOI BibTeX RDF	access control, type systems, audit, authorization logic
8	Karsten Loesing, Werner Sandmann, Christian Wilms, Guido Wirtz	Performance Measurements and Statistics of Tor Hidden Services.	SAINT	2008	DBLP DOI BibTeX RDF	Performance, Privacy, Anonymity, Statistical Analysis, Empirical Measurements
8	Roman Kuznets	Self-referentiality of Justified Knowledge.	CSR	2008	DBLP DOI BibTeX RDF
8	Jonathan de Halleux, Nikolai Tillmann	Parameterized Unit Testing with Pex.	TAP	2008	DBLP DOI BibTeX RDF
8	Linda M. Seiter	Balancing Quantification and Obliviousness in the Design of Aspect-Oriented Frameworks.	ICSR	2008	DBLP DOI BibTeX RDF
8	Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück	Principles of a reversible programming language.	Conf. Computing Frontiers	2008	DBLP DOI BibTeX RDF	backward determinism, inverse semantics, fast fourier transform, reversible computing, turing completeness
8	Keshav Pingali	Data-parallel abstractions for irregular programs.	Conf. Computing Frontiers	2008	DBLP DOI BibTeX RDF	set iterators, multicore programming, optimistic parallelism, irregular programs
8	Claudia d'Amato, Nicola Fanizzi, Floriana Esposito	Non-parametric Statistical Learning Methods for Inductive Classifiers in Semantic Knowledge Bases.	ICSC	2008	DBLP DOI BibTeX RDF	Non-parametric statistical learning methods, Semantic Web, Description Logics, Dissimilarity Measures
8	Rafael Caballero 0001, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz	Similarity-based reasoning in qualified logic programming.	PPDP	2008	DBLP DOI BibTeX RDF	qualification domains, similarity relations
8	Alexander Brodsky 0001, Malak T. Al-Nory, Hadon Nash	Service Composition Language to Unify Simulation and Optimization of Supply Chains.	HICSS	2008	DBLP DOI BibTeX RDF