Search results for "model-based verification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Issa Traoré, Demissie B. Aredo	Enhancing Structured Review with Model-Based Verification.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	Structured review, prototype verification system (PVS), model-based verification, UML, formal methods, OCL, validation and verification
2	Honghua Cao, Shi Ying, Dehui Du	Towards Model-based Verification of BPEL with Model Checking.	CIT	2006	DBLP DOI BibTeX RDF
2	Demissie B. Aredo, Olaf Owe	Model-Based Verification in the Development of Dependable Systems.	ITCC	2005	DBLP DOI BibTeX RDF	Model-based Verification, Model-checking, UML, Formal Methods, PVS, Dependable System
1	Chun-Hsian Huang, Pao-Ann Hsiung	Model-Based Verification and Estimation Framework for Dynamically Partially Reconfigurable Systems.	IEEE Trans. Industrial Informatics	2011	DBLP DOI BibTeX RDF
1	Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane	Model-Based Verification and Analysis for Real-Time Systems.	Software and Systems Safety - Specification and Verification	2011	DBLP DOI BibTeX RDF
1	Sebastian Siegl, Philipp Caliebe	Improving model-based verification of embedded systems by analyzing component dependences.	SIES	2011	DBLP DOI BibTeX RDF
1	Kota Hara, Takaharu Kurokawa	Human pose estimation using patch-based candidate generation and model-based verification.	FG	2011	DBLP DOI BibTeX RDF
1	Hesham Shokry, Mike Hinchey	Model-Based Verification of Embedded Software.	IEEE Computer	2009	DBLP DOI BibTeX RDF
1	Ina Schaefer, Arnd Poetzsch-Heffter	Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems.	SEFM	2008	DBLP DOI BibTeX RDF
1	Rance Cleaveland	Model-Based Verification of Automotive Control Software.	FMICS	2008	DBLP DOI BibTeX RDF
1	Ralf Fachet	Unified Modeling Style and Unified Process Architecture: Model-Driven Design and Model-Based Verification Key to Safety and Cost-reduction.	Software Engineering (Workshops)	2008	DBLP BibTeX RDF
1	Hongxin Hu, Gail-Joon Ahn	Enabling verification and conformance testing for access control model.	SACMAT	2008	DBLP DOI BibTeX RDF	model-based verification, access control, model-based testing, alloy, SAT solver
1	Howard Foster, Philip Mayer	Leveraging Integrated Tools for Model-Based Analysis of Service Compositions.	ICIW	2008	DBLP DOI BibTeX RDF	Model-Based Verification, Modelling, SOA, Validation, Tools, Services, Eclipse
1	Yasuhiro Ito, Yutaka Sugawara, Mary Inaba, Kei Hiraki	CVC: The C to RTL compiler for callback-based verification model.	FPL	2008	DBLP DOI BibTeX RDF
1	Rafael Ramirez, Andrew E. Santosa	A Framework for Separation of Concerns in Concurrent Programming.	COMPSAC	2007	DBLP DOI BibTeX RDF
1	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer	LTSA-WS: a tool for model-based verification of web service compositions and choreography.	ICSE	2006	DBLP DOI BibTeX RDF	model-checking, web service compositions, choreography, BPEL4WS, WS-CDL
1	Il-Gon Kim, Hyun Seok Kim, Ji-Yeon Lee, Jin-Young Choi, Inhye Kang	Secrecy Analysis of Purchase Transaction in Electronic Purses.	AINA	2006	DBLP DOI BibTeX RDF
1	David P. Gilliam, John D. Powell, Matt Bishop, Chris Andrew, Sameer Jog	Security Verification Techniques Applied to PatchLink COTS Software.	WETICE	2006	DBLP DOI BibTeX RDF
1	Pao-Ann Hsiung, Yen-Hung Lin	Model-based Verification of Safety-Critical Systems.	SEKE	2005	DBLP BibTeX RDF
1	Gabor Madl, Sherif Abdelwahed	Model-based analysis of distributed real-time embedded system composition.	EMSOFT	2005	DBLP DOI BibTeX RDF
1	Rafael Ramirez, Andrew E. Santosa	Formal Verification of Concurrent and Distributed Constraint-Based Java Programs.	ICECCS	2005	DBLP DOI BibTeX RDF
1	David P. Gilliam, John D. Powell, Matt Bishop	Application of Lightweight Formal Methods to Software Security.	WETICE	2005	DBLP DOI BibTeX RDF
1	Rafael Ramirez, Juanjo Martinez	Brief Announcement: constraint-based synchronization and verification of concurrent programs.	PODC	2004	DBLP DOI BibTeX RDF	verification, constraints, concurrent programming
1	Rafael Ramirez, Juanjo Martinez	Constraint-Based Synchronization and Verification of Distributed Java Programs.	ICLP	2004	DBLP DOI BibTeX RDF
1	Gregor Engels, Jochen Malte Küster, Reiko Heckel, Marc Lohmann	Model-Based Verification and Validation of Properties.	Electr. Notes Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer	Model-based Verification of Web Service Compositions.	ASE	2003	DBLP DOI BibTeX RDF
1	Frédéric Lang	Compositional Verification Using SVL Scripts.	TACAS	2002	DBLP DOI BibTeX RDF
1	Mar Marcos, Angel P. Del Pobil, Sabine Moisan	Model-based verification of knowledge-based systems: a case study.	IEE Proceedings - Software	2000	DBLP BibTeX RDF
1	Guy Leduc, Olivier Bonaventure, Luc Léonard, E. Koerner, Charles Pecheur	Model-Based Verification of a Security Protocol for Conditional Access to Services.	Formal Methods in System Design	1999	DBLP DOI BibTeX RDF
1	Jean-Claude Fernandez, Joseph Sifakis, Robert de Simone	Model-Based Verification Methods and Tools (Abstract).	CONCUR	1994	DBLP DOI BibTeX RDF
1	David G. Lowe	The viewpoint consistency constraint.	International Journal of Computer Vision	1987	DBLP DOI BibTeX RDF