Search results for "assertion"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos, João Abreu, Luís S. Reis	Checking the Conformance of Java Classes Against Algebraic Specifications.	ICFEM	2006	DBLP DOI BibTeX RDF
9	Ilkay Ulusoy, Christopher M. Bishop	Comparison of Generative and Discriminative Techniques for Object Detection and Classification.	Toward Category-Level Object Recognition	2006	DBLP DOI BibTeX RDF
9	Noah Bamford, Rekha Bangalore, Eric Chapman, Hector Chavez, Rajeev Dasari, Yinfang Lin, Edgar Jimenez	Challenges in System on Chip Verification.	MTV	2006	DBLP DOI BibTeX RDF
9	Stephen B. Stancliff, John M. Dolan, Ashitey Trebi-Ollennu	Mission Reliability Estimation for Multirobot Team Design.	IROS	2006	DBLP DOI BibTeX RDF
9	Matteo Slanina, Henny B. Sipma, Zohar Manna	Proving ATL* Properties of Infinite-State Systems.	ICTAC	2006	DBLP DOI BibTeX RDF
9	Sayantan Das, Rizi Mohanty, Pallab Dasgupta, P. P. Chakrabarti 0001	Synthesis of system verilog assertions.	DATE Designers' Forum	2006	DBLP DOI BibTeX RDF
9	Nicola Bombieri, Franco Fummi, Graziano Pravadelli	On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL.	DATE	2006	DBLP DOI BibTeX RDF
9	Yintang Dai, Shiyong Zhang	Multi-Agent based Data Integration in Real-world.	CIT	2006	DBLP DOI BibTeX RDF	Multi-Agent System (MAS), Data Integration, Data Warehouse
9	Zhaozhong Ni, Zhong Shao	Certified assembly programming with embedded code pointers.	POPL	2006	DBLP DOI BibTeX RDF	embedded code pointers, hoare logic, proof-carrying code, higher-order functions
9	Kohei Honda 0001, Martin Berger 0001, Nobuko Yoshida	Descriptive and Relative Completeness of Logics for Higher-Order Functions.	ICALP (2)	2006	DBLP DOI BibTeX RDF
9	Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic 0001	A Counterexample-Guided Refinement Tool for Open Procedural Programs.	SPIN	2006	DBLP DOI BibTeX RDF	CSP, software model checking, game semantics, abstraction refinement, FDR
9	Yurie Hara	Dake-wa : Exhaustifying Assertions.	JSAI	2006	DBLP DOI BibTeX RDF
9	Rubén Barrio, Xavier Perramon, Jaime Delgado	Use of SAML for Single Sign-On Access to Multimedia Contents in a Peer-to-Peer Network.	OTM Workshops (1)	2006	DBLP DOI BibTeX RDF
9	Jun Wang	A Web Services Secure Conversation Establishment Protocol Based on Forwarded Trust.	ICWS	2006	DBLP DOI BibTeX RDF
9	William M. Fleischman	Meta-informatics and ethical issues in computing.	ITiCSE	2006	DBLP DOI BibTeX RDF	computing in public education, surveillance, digital divide
9	Donglin Liang, Kai Xu 0002	Testing Scenario Implementation with Behavior Contracts.	COMPSAC (1)	2006	DBLP DOI BibTeX RDF
9	Gunnar Kudrjavets, Nachiappan Nagappan, Thomas Ball	Assessing the Relationship between Software Assertions and Faults: An Empirical Investigation.	ISSRE	2006	DBLP DOI BibTeX RDF
9	Tao Xie 0001	Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking.	ECOOP	2006	DBLP DOI BibTeX RDF
9	Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar	Deterministic Dynamic Monitors for Linear-Time Assertions.	FATES/RV	2006	DBLP DOI BibTeX RDF
9	Salman Baset, Eli Brosh, Vishal Misra, Dan Rubenstein, Henning Schulzrinne	Understanding the behavior of TCP for real-time CBR workloads.	CoNEXT	2006	DBLP DOI BibTeX RDF
9	Nicola Bombieri, Franco Fummi, Graziano Pravadelli	Hardware Design and Simulation for Verification.	SFM	2006	DBLP DOI BibTeX RDF
9	Stefan Andrei, Albert Mo Kim Cheng	Optimization of Real-Time Systems Timing Specifications.	RTCSA	2006	DBLP DOI BibTeX RDF	optimization, formal method, timing constraint
9	Robert Bruce Findler, Matthias Blume	Contracts as Pairs of Projections.	FLOPS	2006	DBLP DOI BibTeX RDF
9	Anupam Chattopadhyay, Arnab Sinha, Diandian Zhang, Rainer Leupers, Gerd Ascheid, Heinrich Meyr	Integrated Verification Approach during ADL-Driven Processor Design.	IEEE International Workshop on Rapid System Prototyping	2006	DBLP DOI BibTeX RDF
9	Raimondas Lencevicius, Edu Metz	Performance assertions for mobile devices.	ISSTA	2006	DBLP DOI BibTeX RDF	performance, mobile devices, assertions
9	Rance Cleaveland, Scott A. Smolka, Steve Sims	An Instrumentation-Based Approach to Controller Model Validation.	ASWSD	2006	DBLP DOI BibTeX RDF
9	George Economakos	Behavioral synthesis with SystemC and PSL assertions for interface specification.	ISCAS	2006	DBLP DOI BibTeX RDF
9	Barnaby Fisher, James Cussens	Inductive Mercury Programming.	ILP	2006	DBLP DOI BibTeX RDF
9	Sajda Qureshi, Arthur de Leeuw	Mobilizing Intellectual Bandwidth in a Distributed Virtual Organization: The Missing Links.	HICSS	2006	DBLP DOI BibTeX RDF
9	Craig A. Chin, Armando Barreto, Miguel Alonso Jr.	Electromyogram-Based Cursor Control System for Users with Motor Disabilities.	ICCHP	2006	DBLP DOI BibTeX RDF
9	Peter Lamb, Robert Power, Gavin Walker, Michael Compton	Role-based access control for data service integration.	SWS	2006	DBLP DOI BibTeX RDF	access control, data integration
9	Jeffery I. Zucker	Primitive Recursive Selection Functions over Abstract Algebras.	CiE	2006	DBLP DOI BibTeX RDF
9	Elisa Bertino, Abhilasha Bhargav-Spantzel, Anna Cinzia Squicciarini	Policy Languages for Digital Identity Management in Federation Systems.	POLICY	2006	DBLP DOI BibTeX RDF
9	Anne H. Anderson	Domain-Independent, Composable Web Services Policy Assertions.	POLICY	2006	DBLP DOI BibTeX RDF
9	Aaron R. Bradley, Zohar Manna, Henny B. Sipma	What's Decidable About Arrays?	VMCAI	2006	DBLP DOI BibTeX RDF
9	Sergei N. Artëmov, Roman Kuznets	Logical Omniscience Via Proof Complexity.	CSL	2006	DBLP DOI BibTeX RDF
9	Tomasz Haupt, Anand Kalyanasundaram, Igor Zhuk	Architecture for a Secure Distributed Repository.	GRID	2006	DBLP DOI BibTeX RDF
9	Patrice Chalin	Are Practitioners Writing Contracts?	RODIN Book	2006	DBLP DOI BibTeX RDF	program assertions, empirical study, design by contract, Eiffel
9	Dong Seong Kim 0001, Taek-Hyun Shin, Byungil Lee, Jong Sou Park	Access Control and Authorization for Security of RFID Multi-domain Using SAML and XACML.	CIS	2006	DBLP DOI BibTeX RDF
9	Fuyan Liu, Shaoyi Lu	A Feature Selection Algorithm Based on Discernibility Matrix.	CIS	2006	DBLP DOI BibTeX RDF
9	Harry M. Sneed	Selective Regression Testing of a Host to DotNet Migration.	ICSM	2006	DBLP DOI BibTeX RDF	DotNet, SQLServer, XML, Regression Testing, Assertions, File Comparison
9	Jongil Jeong, Weehyuk Yu, Dongkyoo Shin, Dongil Shin, Kiyoung Moon, Jaeseung Lee	Integration of Single Sign-On and Role-Based Access Control Profiles for Grid Computing.	APWeb	2006	DBLP DOI BibTeX RDF	Grid, role-based access control, XACML, single sign-on, SAML
9	Elena I. Gaura, Robert M. Newman	Wireless Sensor Networks: The Quest for Planetary Field Sensing.	LCN	2006	DBLP DOI BibTeX RDF
9	Seungwon Shin, Jaeyeon Jung, Hari Balakrishnan	Malware prevalence in the KaZaA file-sharing network.	Internet Measurement Conference	2006	DBLP DOI BibTeX RDF	KaZaA, virus prevalence, peer-to-peer
9	Shujuan Jiang, Yongping Zhang, Dashun Yan, Yuanpeng Jiang	An approach to automatic testing exception handling.	ACM SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	program mutation, software testing, exception handling, software faults injection
9	Majid Fozunbal, Steven W. McLaughlin, Ronald W. Schafer	On space-time-frequency coding over MIMO-OFDM systems.	IEEE Trans. Wirel. Commun.	2005	DBLP DOI BibTeX RDF
9	Engin Erzin, Yücel Yemez, A. Murat Tekalp	Multimodal speaker identification using an adaptive classifier cascade based on modality reliability.	IEEE Trans. Multim.	2005	DBLP DOI BibTeX RDF
9	Michael Rathjen	An ordinal analysis of parameter free Pi12-comprehension.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF
9	Jianhua Wu 0004, Leif Kobbelt	Efficient spectral watermarking of large meshes with orthogonal basis functions.	Vis. Comput.	2005	DBLP DOI BibTeX RDF	Large-mesh watermarking, Digital watermarking, Radial basis functions, Spectral decomposition
9	Michael Pellauer, Mieszko Lis, Don Baltus, Rishiyur S. Nikhil	Synthesis of synchronous assertions with guarded atomic actions.	MEMOCODE	2005	DBLP DOI BibTeX RDF
9	Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Manfred Pinkal, Jörg H. Siekmann, Magdalena Wolska	Natural Language Dialog with a Tutor System for Mathematical Proofs.	Cognitive Systems	2005	DBLP DOI BibTeX RDF
9	Hugues Bersini	Why the First Glass of Wine Is Better Than the Seventh.	ICARIS	2005	DBLP DOI BibTeX RDF
9	Lunjin Lu	Use of correctness assertions in declarative diagnosis.	SAC	2005	DBLP DOI BibTeX RDF	correctness assertions, declarative diagnosis, logic programs
9	Bettina Larsen, Michael E. Milakovich	Citizen Relationship Management and E-Government.	EGOV	2005	DBLP DOI BibTeX RDF
9	Hans Jochen Scholl	Organizational Transformation Through E-Government: Myth or Reality?	EGOV	2005	DBLP DOI BibTeX RDF
9	M. S. Dinesh, K. Chidananda Gowda, P. Nagabhushan	Fuzzy-Symbolic Analysis for Classification of Symbolic Data.	PReMI	2005	DBLP DOI BibTeX RDF	Fuzzy-Symbolic data analysis, Fuzzy hierarchical analysis, Symbolic distance measures
9	Sarfraz Khurshid, Iván García, Yuk Lai Suen	Repairing Structurally Complex Data.	SPIN	2005	DBLP DOI BibTeX RDF
9	Eric McCready	On the Meaning of Japanese Yo.	JSAI Workshops	2005	DBLP DOI BibTeX RDF
9	Aaron R. Bradley, Zohar Manna	Termination and Invariance Analysis of Loops.	ATVA	2005	DBLP DOI BibTeX RDF
9	Cristiano Calcagno, Philippa Gardner, Matthew Hague	From Separation Logic to First-Order Logic.	FoSSaCS	2005	DBLP DOI BibTeX RDF
9	Flávio Oliveira Silva 0001, João A. A. Pacheco, Pedro Frosi Rosa	A Web Service Authentication Control System Based on SRP and SAML.	ICWS	2005	DBLP DOI BibTeX RDF
9	Kevin R. B. Butler, Patrick D. McDaniel	Understanding Mutable Internet Pathogens, or How I Learned to Stop Worrying and Love Parasitic Behavior.	ICISS	2005	DBLP DOI BibTeX RDF
9	Wolfram Büttner	Is Formal Verification Bound to Remain a Junior Partner of Simulation?	CHARME	2005	DBLP DOI BibTeX RDF
9	Daniel Sánchez 0001, Andrea Tettamanzi	Reasoning and Quantification in Fuzzy Description Logics.	WILF	2005	DBLP DOI BibTeX RDF
9	Patrice Godefroid, Nils Klarlund, Koushik Sen	DART: directed automated random testing.	PLDI	2005	DBLP DOI BibTeX RDF	software testing, interfaces, program verification, random testing, automated test generation
9	Kevin Camera, Hayden Kwok-Hay So, Robert W. Brodersen	An integrated debugging environment for reprogrammble hardware systems.	AADEBUG	2005	DBLP DOI BibTeX RDF
9	Christian Lindig	Random testing of C calling conventions.	AADEBUG	2005	DBLP DOI BibTeX RDF	calling convention, compiler, composition, C, consistency, random testing
9	Jun Luo, Sanguthevar Rajasekaran	A Framework for Mining Association Rules.	KES (4)	2005	DBLP DOI BibTeX RDF
9	Ilkay Ulusoy, Christopher M. Bishop	Generative versus Discriminative Methods for Object Recognition.	CVPR (2)	2005	DBLP DOI BibTeX RDF
9	Curtis W. Keller, Diptikalyan Saha, Samik Basu 0001, Scott A. Smolka	FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs.	TACAS	2005	DBLP DOI BibTeX RDF
9	Stefan Andrei, Albert Mo Kim Cheng, Wei-Ngan Chin, Mihai Lupu	Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting.	IEEE Real-Time and Embedded Technology and Applications Symposium	2005	DBLP DOI BibTeX RDF
9	Philip Robinson, Christian Schaefer, Thomas Walter 0001	POSSET - Policy-Driven Secure Session Transfer.	ISPEC	2005	DBLP DOI BibTeX RDF
9	Marc Lohmann, Stefan Sauer 0001, Gregor Engels	Executable Visual Contracts.	VL/HCC	2005	DBLP DOI BibTeX RDF
9	Casey K. Fung, Patrick C. K. Hung, Richard C. Linger, Gwendolyn H. Walton	Extending Business Process Execution Language for Web Services with Service Level Agreements Expressed in Computational Quality Attributes.	HICSS	2005	DBLP DOI BibTeX RDF	Flow-Service-Quality engineering, Computational Quality Attributes, WSLA, Web services, SLA, SOAP, WSDL, UDDI, BPEL4WS
9	David W. Eccles, Paul T. Groth	Creating Expert Problem Solving Systems.	HICSS	2005	DBLP DOI BibTeX RDF
9	Matthias Hein 0001, Jean-Yves Audibert, Ulrike von Luxburg	From Graphs to Manifolds - Weak and Strong Pointwise Consistency of Graph Laplacians.	COLT	2005	DBLP DOI BibTeX RDF
9	Andrea Zisman, Thomas Ellman	2nd Workshop on the state of the art in automated software engineering.	ASE	2005	DBLP DOI BibTeX RDF
9	Josef Berger	The Fan Theorem and Uniform Continuity.	CiE	2005	DBLP DOI BibTeX RDF
9	Hyungsoo Jung 0001, Dongin Shin, Hyuck Han, Jai Wug Kim, Heon Young Yeom, Jongsuk Lee	Design and Implementation of Multiple Fault-Tolerant MPI over Myrinet (M^3).	SC	2005	DBLP DOI BibTeX RDF
9	C. A. R. Hoare	The Verifying Compiler, a Grand Challenge for Computing Research.	VMCAI	2005	DBLP DOI BibTeX RDF
9	Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti 0001	Syntactic Transformation of Assume-Guarantee Assertions: From Sub-Modules to Modules.	VLSI Design	2005	DBLP DOI BibTeX RDF
9	Arlo Belshee	Promiscuous Pairing and Beginner's Mind: Embrace Inexperience.	AGILE	2005	DBLP DOI BibTeX RDF
9	Patrice Chalin	Logical Foundations of Program Assertions: What do Practitioners Want?.	SEFM	2005	DBLP DOI BibTeX RDF
9	David A. Naumann	Observational Purity and Encapsulation.	FASE	2005	DBLP DOI BibTeX RDF
9	Xi Chen 0024, Harry Hsieh, Felice Balarin, Yosinori Watanabe	Logic of constraints: a quantitative performance and functional constraint formalism.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
9	Patrice Godefroid, Sarfraz Khurshid	Exploring very large state spaces using genetic algorithms.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Genetic algorithms, Model checking, Verification, Heuristics, State-space exploration
9	Prabhat Mishra 0001, Nikil D. Dutt, Narayanan Krishnamurthy, Magdy S. Abadir	A Top-Down Methodology for Microprocessor Validation.	IEEE Des. Test Comput.	2004	DBLP DOI BibTeX RDF
9	Ahti-Veikko Pietarinen	Peirce's Diagrammatic Logic in IF Perspective.	Diagrams	2004	DBLP DOI BibTeX RDF
9	Ahmed Sobeih, Mahesh Viswanathan 0001, Jennifer C. Hou	Check and simulate: a case for incorporating model checking in network simulation.	MEMOCODE	2004	DBLP DOI BibTeX RDF
9	Brian Bailey	Is formal being squeezed out of functional verification?	MEMOCODE	2004	DBLP DOI BibTeX RDF
9	Lennart Beringer, Martin Hofmann 0001, Alberto Momigliano, Olha Shkaravska	Automatic Certification of Heap Consumption.	LPAR	2004	DBLP DOI BibTeX RDF
9	Bernd Schoeller, Tobias Widmer, Bertrand Meyer 0001	Making Specifications Complete Through Models.	Architecting Systems with Trustworthy Components	2004	DBLP DOI BibTeX RDF
9	Jean-Thierry Lapresté, Frédéric Jurie, Michel Dhome, François Chaumette	An Efficient Method to Compute the Inverse Jacobian Matrix in Visual Servoing.	ICRA	2004	DBLP DOI BibTeX RDF
9	Elisa Bertino, Anna Cinzia Squicciarini	A Flexible Access Control Model for Web Services.	FQAS	2004	DBLP DOI BibTeX RDF
9	R. Paul Wiegand, Jayshree Sarma	Spatial Embedding and Loss of Gradient in Cooperative Coevolutionary Algorithms.	PPSN	2004	DBLP DOI BibTeX RDF
9	Luciano Baresi, Carlo Ghezzi, Sam Guinea	Smart monitors for composed services.	ICSOC	2004	DBLP DOI BibTeX RDF	pre- and post-conditions, xlinkIt, quality of service, web services, monitoring, composition, exception handling, BPEL, NET, functional requirements
9	Alexander Lazovik, Marco Aiello 0001, Mike P. Papazoglou	Associating assertions with business processes and monitoring their execution.	ICSOC	2004	DBLP DOI BibTeX RDF	service and AI computing, theoretical frameworks for service representation and composition, monitoring, management, quality, service delivery
9	Ali Hamie	Translating the Object Constraint Language into the Java Modelling Language.	SAC	2004	DBLP DOI BibTeX RDF	UML, constraints, reasoning, OCL, JML
9	Gethin Norman	Analysing Randomized Distributed Algorithms.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
9	Stephen Bailey, Erich Marschner, Jayaram Bhasker, Jim Lewis, Peter J. Ashenden	Improving Design and Verification Productivity with VHDL-200x.	DATE	2004	DBLP DOI BibTeX RDF