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 |
|