Search results for "validation"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Ioanna E. Manataki, Kostas Zografos	A System Dynamics Approach for Airport Terminal Performance Evaluation.	MSVVEIS	2006	DBLP BibTeX RDF
13	Josko Dvornik, Eno Tireli	Simulation Modelling Performance Dynamics of Ship Gas Turbine at the Load of the Ship's Synchronous Generator.	MSVVEIS	2006	DBLP BibTeX RDF
13	Salvis Dagis, Sergejs Arhipovs	The Static Model of Latvian Forest Management Planning and Capital Value Estimation.	MSVVEIS	2006	DBLP BibTeX RDF
13	Inita Sile, Sergejs Arhipovs	The Development of the Precedent Model for the Latvia Forest Management Planning Processes.	MSVVEIS	2006	DBLP BibTeX RDF
13	Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang 0001, Wei Dong 0006	Model Checking Suspendible Business Processes via Statechart Diagrams and CSP.	MSVVEIS	2006	DBLP BibTeX RDF
13	Dominik Jungo, David Buchmann, Ulrich Ultes-Nitsche	Testing of Semantic Properties in XML Documents.	MSVVEIS	2006	DBLP BibTeX RDF
13	Pavel Vasilyev	Simulator for Real-Time Abstract State Machines.	MSVVEIS	2006	DBLP BibTeX RDF
13	Vincent Chapurlat, Saber Aloui	How to Detect Risks with a Formal Approach? From Property Specification to Risk Emergence.	MSVVEIS	2006	DBLP BibTeX RDF
13	Frank Nießner	Specification of Deterministic Regular Liveness Properties.	MSVVEIS	2006	DBLP BibTeX RDF
13	Kais Klai, Samir Tata, Issam Chebbi	An Observation-based Algorithm for Workflow Matching.	MSVVEIS	2006	DBLP BibTeX RDF
13	Alta van der Merwe, Paula Kotzé, Johannes C. Cronjé	The Usefulness of a Generic Process Model Structure.	MSVVEIS	2006	DBLP BibTeX RDF
13	Aurona Gerber, Andries Barnard, Alta van der Merwe	Design and Evaluation Criteria for Layered Architectures.	MSVVEIS	2006	DBLP BibTeX RDF
13	Simon J. Hook, William B. Clodius, Lee K. Balick, Ronald E. Alley, Ali Abtahi, Robert C. Richards, S. Geoffrey Schladow	In-Flight Validation of Mid- and Thermal Infrared Data From the Multispectral Thermal Imager (MTI) Using an Automated High-Altitude Validation Site at Lake Tahoe CA/NV, USA.	IEEE Trans. Geosci. Remote. Sens.	2005	DBLP DOI BibTeX RDF
13	Ulrich Ultes-Nitsche, Juan Carlos Augusto, Joseph Barjis (eds.)	Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, In conjunction with ICEIS 2005, Miami, FL, USA, May 2005	MSVVEIS	2005	DBLP BibTeX RDF
13	Moustapha Alhaj-Dibo	Validation de données et diagnostic des systèmes incertains à l'aide de l'analyse par intervalles. (Data validation and diagnosis of uncertain systems using interval analysis).		2005	RDF
13	Lobna Kriaa	Modélisation et validation des systèmes hétérogènes : définition d'un modèle d'exécution. (Modeling and validation of heterogeneous system : execution model definition).		2005	RDF
13	David D. Hwang, Shenglin Yang, Ingrid Verbauwhede, Patrick Schaumont	Multilevel design validation in a secure embedded system.	HLDVT	2005	DBLP DOI BibTeX RDF
13	Jorge Campos, Hussain Al-Asaad	MVP: a mutation-based validation paradigm.	HLDVT	2005	DBLP DOI BibTeX RDF
13	Manuel I. Capel, Juan Antonio Holgado Terriza, Agustín Escámez	An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry Case.	MSVVEIS	2005	DBLP BibTeX RDF
13	Joselito Medina Marín, Xiaoou Li	An Active Rule Base Simulator based on Petri Nets.	MSVVEIS	2005	DBLP BibTeX RDF
13	Allen Goldberg, Klaus Havelund	Automated Runtime Verification with Eagle.	MSVVEIS	2005	DBLP BibTeX RDF
13	Macario Polo Usaola, Andres Flores	Towards Run-time Component Integration on Ubiquitous Systems.	MSVVEIS	2005	DBLP BibTeX RDF
13	Jaime Ramírez, Angélica de Antonio	Consistency Verification of a Non-monotonic Deductive System based on OWL Lite.	MSVVEIS	2005	DBLP BibTeX RDF
13	Frédéric Gervais, Marc Frappier, Régine Laleau	How to Synthesize Relational Database Transactions From EB3 Attribute Definitions?	MSVVEIS	2005	DBLP BibTeX RDF
13	Nan Niu, Steve M. Easterbrook	On the Use of Model Checking in Verification of Evolving Agile Software Frameworks: An Exploratory Case Study.	MSVVEIS	2005	DBLP BibTeX RDF
13	Wing Lok Yeung, Karl R. P. H. Leung	Deriving Test Cases from B Machines Using Class Vectors.	MSVVEIS	2005	DBLP BibTeX RDF
13	Juan Carlos Augusto	Verification of Smart Homes Specifications which are based on ECA Rules.	MSVVEIS	2005	DBLP BibTeX RDF
13	Syed M. Rahman, Akram Salah 0001	Teaching Software Testing in Introductory CS Courses and Improving Software Quality.	MSVVEIS	2005	DBLP BibTeX RDF
13	Josko Dvornik, Ante Munitic, Frane Mitrovic	The Port-Transshipment System Dynamics Software Simulator.	MSVVEIS	2005	DBLP BibTeX RDF
13	Xudong He	A Framework for Ensuring System Dependability from Design to Implementation.	MSVVEIS	2005	DBLP BibTeX RDF
13	Andres Flores, Macario Polo	Towards Application Suitability for PvC Environments.	MSVVEIS	2005	DBLP BibTeX RDF
13	Joseph Barjis	An Example of Business Process Simulation Using ARENA.	MSVVEIS	2005	DBLP BibTeX RDF
13	Dejan Gradisar, Gasper Music	Petri-net modeling of production systems based on production management data.	MSVVEIS	2005	DBLP BibTeX RDF
13	Kåre J. Kristoffersen, Yvonne Dittrich	Expanding Database Systems into self-verifying Entities.	MSVVEIS	2005	DBLP BibTeX RDF
13	Joshua J. Pauli, Dianxiang Xu	Trade-off Analysis of Misuse Case-based Secure Software Architectures: A Case Study.	MSVVEIS	2005	DBLP BibTeX RDF
13	Josko Dvornik, Srdan Dvornik, Eno Tireli	Computing Simulation and Heuristic Optimization of the Marine Diesel Drive Generating.	MSVVEIS	2005	DBLP BibTeX RDF
13	Dominik Jungo, David Buchmann, Ulrich Ultes-Nitsche	A Unit Testing Framework for Network Configurations.	MSVVEIS	2005	DBLP BibTeX RDF
13	Thierry Nicola, Frank Nießner, Ulrich Ultes-Nitsche	Model-checking Inherently Fair Linear-time Properties.	MSVVEIS	2005	DBLP BibTeX RDF
13	Simon J. Hook, Gyanesh Chander, Julia A. Barsi, Ronald E. Alley, Ali Abtahi, Frank D. Palluconi, Brian L. Markham, Robert C. Richards, S. Geoffrey Schladow, Dennis L. Helder	In-flight validation and recovery of water surface temperature with Landsat-5 thermal infrared data using an automated high-altitude lake validation site at Lake Tahoe.	IEEE Trans. Geosci. Remote. Sens.	2004	DBLP DOI BibTeX RDF
13	Yamine Aït Ameur, Benoit Breholée, Patrick Girard 0002, Laurent Guittet, Francis Jambon	Formal Verification and Validation of Interactive Systems Specifications - From Informal Specifications to Formal Validation.	Human Error, Safety and Systems Development	2004	DBLP DOI BibTeX RDF
13	Juan Carlos Augusto, Ulrich Ultes-Nitsche (eds.)	Verification and Validation of Enterprise Information Systems, Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems, VVEIS 2004, In conjunction with ICEIS 2004, Porto, Portugal, April 2004	VVEIS	2004	DBLP BibTeX RDF
13	Menouer Boubekeur	Validation de Spécifications de Circuits Asynchrones : Méthodes et outils. (Validation of Asynchronous Circuits Specifications: Methods and tools).		2004	RDF
13	Jorge Campos, Hussain Al-Asaad	Mutation-based validation of high-level microprocessor implementations.	HLDVT	2004	DBLP DOI BibTeX RDF
13	Fulvio Corno, Julio Pérez Acle, Mattia Ramasso, Matteo Sonza Reorda, Massimo Violante	Validation of the dependability of CAN-based networked systems.	HLDVT	2004	DBLP DOI BibTeX RDF
13	Samar Abdi, Daniel Gajski	Model validation for mapping specification behaviors to processing elements.	HLDVT	2004	DBLP DOI BibTeX RDF
13	Praveen K. Murthy, Sreeranga P. Rajan, Koichiro Takayama	High level hardware validation using hierarchical message sequence charts.	HLDVT	2004	DBLP DOI BibTeX RDF
13	Radu Mateescu 0001	A Generic Framework for Model Checking Software Architectures.	VVEIS	2004	DBLP BibTeX RDF
13	Miguel J. Hornos	Towards a More Intuitive Specification and Automatic Verification of System Properties with FBT: A Tool for Translating Interval Formulas into Büchi Automata.	VVEIS	2004	DBLP BibTeX RDF
13	Bill Mitchell, Robert Thomson 0002, Paul Bristow	Model Synthesis from Imprecise Specifications.	VVEIS	2004	DBLP BibTeX RDF
13	José Creissac Campos, Michael D. Harrison, Karsten Loer	Verifying user interface behaviour with model checking.	VVEIS	2004	DBLP BibTeX RDF
13	Gian-Luigi Ferrari 0002, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto	Verication On The Web Of Mobile Systems.	VVEIS	2004	DBLP BibTeX RDF
13	Raees Ahmad Khan, Khurram Mustafa	High Level Design Quality Assessment of Object Oriented Codes.	VVEIS	2004	DBLP BibTeX RDF
13	Marisa A. Sanchez, Juan Carlos Augusto, Miguel Felder	Fault-based Testing of E-Commerce Applications.	VVEIS	2004	DBLP BibTeX RDF
13	Jaime Ramírez, Angélica de Antonio	Checking Integrity Constraints in Deductive Systems based on Production Rules and a Description Logic Terminology.	VVEIS	2004	DBLP BibTeX RDF
13	Il-Gon Kim, Jin-Young Choi	New S/Key System against Dictionary Attack: A Case Study in Casper and CSP/FDR.	VVEIS	2004	DBLP BibTeX RDF
13	Y. Tang, Jing-Bing Zhang, Chak-Huah Tan, Ming Mao Wong, Bryan Tsong-Jye Ng	A Multi-Stage Approach to Asymmetric Legacy Information Integration.	VVEIS	2004	DBLP BibTeX RDF
13	W. L. Yeung	A Dual-Formalism Approach to Checking Consistency of Class and State Diagrams in UML.	VVEIS	2004	DBLP BibTeX RDF
13	Kenro Yatake, Toshiaki Aoki, Takuya Katayama	Collaboration-based verification of Object-Oriented models in HOL.	VVEIS	2004	DBLP BibTeX RDF
13	John A. van der Poll, Paula Kotzé	Reasoning about the Properties of an Enterprise Information System.	VVEIS	2004	DBLP BibTeX RDF
13	Lizhang Qin, Xiaoping Jia, Hongming Liu	A Hypothesis-Based Approach to Detecting Runtime Violations.	VVEIS	2004	DBLP BibTeX RDF
13	Manuel I. Capel, José R. Balsas, Juan Antonio Holgado Terriza	Systematic Design of Real-Time Systems Based on CSP+T Process Algebra.	VVEIS	2004	DBLP BibTeX RDF
13	Agustín Yagüe, Pedro Pablo Alarcón, Juan Garbajosa, Alexei Lisounkin, Gerhard Schreck	Construction of Verified Models for Systems Construction of Verified Models for Systems Represented as Networks.	VVEIS	2004	DBLP BibTeX RDF
13	Michel Gevers, Xavier Bombois, Benoît Codrons, Gérard Scorletti, Brian D. O. Anderson	Model validation for control and controller validation in a prediction error identification framework - Part I: theory.	Autom.	2003	DBLP DOI BibTeX RDF
13	Michel Gevers, Xavier Bombois, Benoît Codrons, Gérard Scorletti, Brian D. O. Anderson	Model validation for control and controller validation in a prediction error identification framework - Part II: illustrations.	Autom.	2003	DBLP DOI BibTeX RDF
13	Rainer Knauf, Avelino J. Gonzalez, Setsuo Tsuruta	Utilizing Validation Experience for System Validation.	FLAIRS	2003	DBLP BibTeX RDF
13	Olivier Barre	Contribution à l'étude des formulations de calcul de la force magnétique en magnétostatique, approche numérique et validation expérimentale. (Contribution to the study of magnetic force formulations in magneto static field, numerical point of view and experimental validation).		2003	RDF
13	Sabina Orlowska	Conception et prédiction des caractéristiques diélectriques des matériaux composites à deux et trois phases par la modélisation et la validation expérimentale. (Conception and Prediction of Dielectric Characteristics of Two- and Three- Phase Composite Materials Through Modeling and Experimental Validation).		2003	RDF
13	Olga Goloubeva, Matteo Sonza Reorda, Massimo Violante	High-level test generation for hardware testing and software validation.	HLDVT	2003	DBLP DOI BibTeX RDF
13	Sandeep K. Shukla, Ramesh Karri, Seth Copen Goldstein, Forrest Brewer, Kaustav Banerjee, Sankar Basu	Nano, quantum, and molecular computing: are we ready for the validation and test challenges?	HLDVT	2003	DBLP DOI BibTeX RDF
13	Gabriela Nicolescu	Spécification et validation des systèmes hétérogènes embarqués. (Specification and validation for heterogeneous embedded systems).		2002	RDF
13	Bob Bentley	High level validation of next-generation microprocessors.	HLDVT	2002	DBLP DOI BibTeX RDF
13	Gethin Norman, David Parker 0001, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh K. Gupta 0001	Formal analysis and validation of continuous-time Markov chain based system level power management strategies.	HLDVT	2002	DBLP DOI BibTeX RDF
13	Gérard Berry, Lionel Blanc, Amar Bouali, Jerome Dormoy	Top-level validation of system-on-chip in Esterel Studio.	HLDVT	2002	DBLP DOI BibTeX RDF
13	Piotr Gawkowski, Janusz Sosnowski	Experimental validation of fault detection and fault tolerance mechanisms.	HLDVT	2002	DBLP DOI BibTeX RDF
13	Setsuo Tsuruta, Takashi Onoyama	Intelligent Systems Validation Tool Based on Bi-Directional Many-Sided Explanation Typed Multi-Step Validation Method.	FLAIRS	2001	DBLP BibTeX RDF
13	Christophe Paoli	Validation de descriptions VHDL fondée sur des techniques issues du domaine du test de logiciels. (Validation of VHDL descriptions based on software testing techniques).		2001	RDF
13	Prabhat Mishra 0001, Nikil D. Dutt, Alex Nicolau	Automatic validation of pipeline specifications.	HLDVT	2001	DBLP DOI BibTeX RDF
13	Farzan Fallah, Indradeep Ghosh	Observability enhanced coverage analysis of C programs for functional validation.	HLDVT	2001	DBLP DOI BibTeX RDF
13	Noppanunt Utamaphethai, Ronald D. Blanton, John Paul Shen	Relating buffer-oriented microarchitecture validation to high-level pipeline functionality.	HLDVT	2001	DBLP DOI BibTeX RDF
13	Hajime Yamashita, Hiroto Yasuura, Eko Fajar, Yun Cao	Variable size analysis and validation of computation quality.	HLDVT	2000	DBLP DOI BibTeX RDF
13	Debashis Panigrahi, Clark N. Taylor, Sujit Dey	Interface based hardware/software validation of a system-on-chip.	HLDVT	2000	DBLP DOI BibTeX RDF
13	Christophe Paoli, Marie-Laure Nivet, Jean François Santucci	Use of constraint solving in order to generate test vectors for behavioral validation.	HLDVT	2000	DBLP DOI BibTeX RDF
13	Rajesh Radhakrishnan, Elena Teica, Ranga Vemuri	An approach to high-level synthesis system validation using formally verified transformations.	HLDVT	2000	DBLP DOI BibTeX RDF
13	Anca I. Vermesan, Frans Coenen (eds.)	Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway	EUROVAV	1999	DBLP BibTeX RDF
13	Lydie du Bousquet	Test fonctionnel statistique de logiciels spécifiés en Lustre ; application à la validation de services téléphoniques. (Statistical functional testing of systems specified in Lustre; application to the validation of telecommunication features).		1999	RDF
13	Pedro Nicolau Faria Da Fonseca	Modélisation et validation des algorithmes non-déterministes de synchronisation des horloges. (Modelling and validation of non-deterministic clock synchronization algorithms).		1999	RDF
13	Michael Schroeder 0001	Verification of Business Processes for a Correspondence Handling Center Using CCS.	EUROVAV	1999	DBLP BibTeX RDF
13	Antoni Ligeza	Intelligent Data and Knowledge Analysis and Verification: Towards a Taxonomy of Some Specific Problems.	EUROVAV	1999	DBLP BibTeX RDF
13	Jan Vanthienen, Ana María Moreno García	Illustrating Knowledge Base Restructuring and Verification in a Real World Application.	EUROVAV	1999	DBLP BibTeX RDF
13	Florence Sellini, Pierre-Alain Yvars	A Priori Verification of Product Models in Mechanical Design.	EUROVAV	1999	DBLP BibTeX RDF
13	Giovanna Dondossola	Formal Methods for the Engineering and Certification of Safety-critical Knowledge-based Systems.	EUROVAV	1999	DBLP BibTeX RDF
13	Jeffrey M. Voas	User Participation-based Software Certification.	EUROVAV	1999	DBLP BibTeX RDF
13	Trevor J. M. Bench-Capon, Dean M. Jones	PRONTO - Ontology-based Evaluation of Knowledge Based Systems.	EUROVAV	1999	DBLP BibTeX RDF
13	Robin Boswell, Susan Craw	Organising Knowledge Refinement Operators.	EUROVAV	1999	DBLP BibTeX RDF
13	Jesús Cardeñosa Lera, David Escorial	KBS First Prototype V&V Process Plan as a Way to Produce Reliable Requirements.	EUROVAV	1999	DBLP BibTeX RDF
13	Rune Steinberg, Roar A. Fjellheim, Stale A. Olsen	Design Patterns for Safety-critical Knowledge Based Systems.	EUROVAV	1999	DBLP BibTeX RDF
13	Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo, Luis de Ledesma	Computer Algebra Based Verification and Knowledge Extraction in RBS - Application to Medical Fitness Criteria.	EUROVAV	1999	DBLP BibTeX RDF
13	Silvie Spreeuwenberg, Rik Gerrits	A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base.	EUROVAV	1999	DBLP BibTeX RDF
13	Nirmalie Wiratunga, Susan Craw	Incorporating Backtracking Search with Knowledge Refinement.	EUROVAV	1999	DBLP BibTeX RDF
13	David Cachera	Validation formelle des langages à parallélisme de données. (Formal Validation of Data-Parallel Languages).		1998	RDF