Search results for "PVS"

Hits ?▲	Authors	Title	Venue	Year	Link
20	Naoki Noguchi, Mamoru Sawahashi, Satoshi Nagata	Cell search time performance using PVS transmit diversity in heterogeneous networks with the same frequency spectrum.	APCC	2015	DBLP DOI BibTeX RDF
20	Robert M. Hyatt	A Solution to Short PVS Caused by Exact Hash Matches.	J. Int. Comput. Games Assoc.	2014	DBLP DOI BibTeX RDF
20	Mariano M. Moscato, Carlos López Pombo, Marcelo F. Frias	Dynamite: A tool for the verification of alloy models based on PVS.	ACM Trans. Softw. Eng. Methodol.	2014	DBLP DOI BibTeX RDF
20	Andréia Borges Avelar, André Luiz Galdino, Flávio Leonardo Cavalcanti de Moura, Mauricio Ayala-Rincón	First-order unification in the PVS proof assistant.	Log. J. IGPL	2014	DBLP DOI BibTeX RDF
20	Sabrina Titri, Cherif Larbes, Kamal Youcef-Toumi	Rapid prototyping of PVS into FPGA: From model based design to FPGA/ASICs implementation.	IDT	2014	DBLP DOI BibTeX RDF
20	William Denman, César A. Muñoz	Automated Real Proving in PVS via MetiTarski.	FM	2014	DBLP DOI BibTeX RDF
20	Mohammad Chehreghani Bozchalui, Chenrui Jin, Ratnesh K. Sharma	Rolling Stochastic Optimization based operation of distribution systems with PVs and Energy Storages.	ISGT	2014	DBLP DOI BibTeX RDF
20	Ariane Alves Almeida, Carlos H. Llanos, Janier Arias-Garcia, Mauricio Ayala-Rincón	Verification of Hardware Implementations through Correctness of their Recursive Definitions in PVS.	SBCCI	2014	DBLP DOI BibTeX RDF
20	Yufei Tang, Jun Yang 0019, Jun Yan 0007, Zhili Zeng, Haibo He	Frequency control using on-line learning method for island smart grid with EVs and PVs.	IJCNN	2014	DBLP DOI BibTeX RDF
20	Fabian M. Uriarte, Robert E. Hebner	Residential Smart Grids: Before and after the appearance of PVs and EVs.	SmartGridComm	2014	DBLP DOI BibTeX RDF
20	Paolo Masci 0001, Yi Zhang 0051, Paul L. Jones, Paul Curzon, Harold W. Thimbleby	Formal Verification of Medical Device User Interfaces Using PVS.	FASE	2014	DBLP DOI BibTeX RDF
20	Mauricio Ayala-Rincón, Yuri Santos Rego	Formalization in PVS of Balancing Properties Necessary for Proving Security of the Dolev-Yao Cascade Protocol Model.	J. Formaliz. Reason.	2013	DBLP DOI BibTeX RDF
20	Patrick Oladimeji, Paolo Masci 0001, Paul Curzon, Harold W. Thimbleby	PVSio-web: a tool for rapid prototyping device user interfaces in PVS.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2013	DBLP DOI BibTeX RDF
20	Hanne Gottliebsen, Ruth Hardy, Olga Lightfoot, Ursula Martin	Applications of real number theorem proving in PVS.	Formal Aspects Comput.	2013	DBLP DOI BibTeX RDF
20	Paolo Masci 0001, Anaheed Ayoub, Paul Curzon, Insup Lee 0001, Oleg Sokolsky, Harold W. Thimbleby	Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS.	SAFECOMP	2013	DBLP DOI BibTeX RDF
20	Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng	Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS.	FTSCS	2013	DBLP DOI BibTeX RDF
20	Sjaak Smetsers, Erik Barendsen	Verifying Functional Formalizations - A Type-Theoretical Case Study in PVS.	The Beauty of Functional Code	2013	DBLP DOI BibTeX RDF
20	Anand Bhojan, Zeng Qiang, Akkihebbal L. Ananda	Energy efficient multi-player smartphone gaming using 3D spatial subdivisioning and pvs techniques.	IMMPD@ACM Multimedia	2013	DBLP DOI BibTeX RDF
20	Pierre Neron	Square Root and Division Elimination in PVS.	ITP	2013	DBLP DOI BibTeX RDF
20	Paolo Masci 0001, Dominic Furniss, Paul Curzon, Michael D. Harrison, Ann Blandford	Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain.	SERENE	2012	DBLP DOI BibTeX RDF
20	Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen	Generating Verifiable Java Code from Verified PVS Specifications.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
20	Paolo Masci 0001, Huayi Huang, Paul Curzon, Michael D. Harrison	Using PVS to Investigate Incidents through the Lens of Distributed Cognition.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
20	Heber Herencia-Zapana, Romain Jobredeaux, Sam Owre, Pierre-Loïc Garoche, Eric Feron, Gilberto Pérez 0001, Pablo Ascariz	PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
20	Paolo Masci 0001, Paul Curzon, Ann Blandford, Dominic Furniss	Modelling Distributed Cognition Systems in PVS.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2011	DBLP DOI BibTeX RDF
20	Concetta Pilotto, Jerome White	Towards a verification framework for faulty message passing systems in PVS.	Innov. Syst. Softw. Eng.	2011	DBLP DOI BibTeX RDF
20	César A. Muñoz, Ramiro A. Demasi	Advanced Theorem Proving Techniques in PVS and Applications.	LASER Summer School	2011	DBLP DOI BibTeX RDF
20	Cristian Dima, Carl Wellington, Stewart J. Moorehead, Levi Lister, Joan Campoy, Carlos Vallespí, Boyoon Jung, Michio Kise, Zachary Bonefas	PVS: A system for large scale outdoor perception performance evaluation.	ICRA	2011	DBLP DOI BibTeX RDF
20	Khalid Latif 0002, Amir-Mohammad Rahmani, Liang Guang, Tiberiu Seceleanu, Hannu Tenhunen	PVS-NoC: Partial Virtual Channel Sharing NoC Architecture.	PDP	2011	DBLP DOI BibTeX RDF
20	Xia Yin, Qingguo Xu, Kunliang Han	Modeling Predicate Abstraction of Timed Automata in PVS.	iThings/CPSCom	2011	DBLP DOI BibTeX RDF
20	Sam Owre, Natarajan Shankar	Solving the First Verified Software Competition Problems Using PVS.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
20	Han Zhu, Huibiao Zhu, Si Liu 0001, Jian Guo 0005	Towards Denotational Semantics for Verilog in PVS.	SSIRI (Companion)	2011	DBLP DOI BibTeX RDF
20	Bart Jacobs 0001, Ronny Wichers Schreur	Logical Formalisation and Analysis of the Mifare Classic Card in PVS.	ITP	2011	DBLP DOI BibTeX RDF
20	Renaud Clavel, Laurence Pierre, Régis Leveugle	Towards Robustness Analysis Using PVS.	ITP	2011	DBLP DOI BibTeX RDF
20	Essam K. Hussain, Christopher M. Bingham, David A. Stone	Grid connected PVs & Wind Turbine with a wide range of reactive power control and active filter capability.	ISGT Europe	2011	DBLP DOI BibTeX RDF
20	Shamim Ripon, Alice Miller 0001	Verification of Symmetry Detection using PVS.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2010	DBLP DOI BibTeX RDF
20	Shamim Ripon, Michael J. Butler	Formalizing cCSP Synchronous Semantics in PVS	CoRR	2010	DBLP BibTeX RDF
20	Johannes Eriksson, Ralph-Johan Back	Applying PVS Background Theories and Proof Strategies in Invariant Based Programming.	ICFEM	2010	DBLP DOI BibTeX RDF
20	Dominic Richards, David R. Lester	A Prototype Embedding of Bluespec SystemVerilog in the PVS Theorem Prover.	NASA Formal Methods	2010	DBLP BibTeX RDF
20	Concetta Pilotto, Jerome White	Verification of Faulty Message Passing Systems with Continuous State Space in PVS.	NASA Formal Methods	2010	DBLP BibTeX RDF
20	Jingang Niu, Shenghui Su	Design Verification of BJUT Library Management System with PVS.	CIS	2010	DBLP DOI BibTeX RDF
20	Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun 0002, Lindsay Groves	Formal Verification of Semistructured Data Models in PVS.	J. Univers. Comput. Sci.	2009	DBLP DOI BibTeX RDF
20	Ricky W. Butler	Formalization of the Integral Calculus in the PVS Theorem Prover.	J. Formaliz. Reason.	2009	DBLP DOI BibTeX RDF
20	Shimmi Asokan, G. Santhosh Kumar, N. Jaya Lal	Modeling of ALFA Programs Using PVS Theorem Prover.	ARTCom	2009	DBLP DOI BibTeX RDF
20	Geng Chen, Lei Luo 0004, Rong Gong, Shenglin Gui	Dependability Analysis for AADL Models by PVS.	DASC	2009	DBLP DOI BibTeX RDF
20	André Luiz Galdino, Mauricio Ayala-Rincón	A Theory for Abstract Reduction Systems in PVS.	CLEI Electron. J.	2008	DBLP DOI BibTeX RDF
20	André Luiz Galdino, Mauricio Ayala-Rincón	A PVS Theory for Term Rewriting Systems.	LSFA	2008	DBLP DOI BibTeX RDF
20	Shamim Ripon, Michael J. Butler	PVS Embedding of cCSP Semantic Models and Their Relationship.	AVoCS	2008	DBLP DOI BibTeX RDF
20	Maria Garcia-Boronat, Carmen M. Diez-Rivero, Ellis L. Reinherz, Pedro A. Reche	PVS: a web server for protein sequence variability analysis tuned to facilitate conserved epitope discovery.	Nucleic Acids Res.	2008	DBLP DOI BibTeX RDF
20	Natarajan Shankar	Fixpoints and Search in PVS.	LASER Summer School	2008	DBLP DOI BibTeX RDF
20	Jianxun Liu, Ting Li	PVS-WDBM: A Workflow Data Batch-Operation Model based on Partial Vector Space.	SKG	2008	DBLP DOI BibTeX RDF
20	Hongping Lim, Myla Archer	Translation Templates to Support Strategy Development in PVS.	STRATEGIES@IJCAR	2006	DBLP DOI BibTeX RDF
20	Francisco Cháves, Marc Daumas	A library of Taylor models for PVS automatic proof checker	CoRR	2006	DBLP BibTeX RDF
20	Qingguo Xu, Huaikou Miao	Modeling Timed Automata Theory in PVS.	Software Engineering Research and Practice	2006	DBLP BibTeX RDF
20	Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun 0002, Lindsay Groves	A PVS Approach to Verifying ORA-SS Data Models.	SEKE	2006	DBLP BibTeX RDF
20	Marcel Kyas, Jozef Hooman	Compositional Verification of Timed Components using PVS.	Software Engineering	2006	DBLP BibTeX RDF
20	Qingguo Xu, Huaikou Miao	Formal Verification Framework for Safety of Real-Time System based on Timed Automata Model in PVS.	IASTED Conf. on Software Engineering	2006	DBLP BibTeX RDF
20	Neil Evans, Steve A. Schneider	Verifying security protocols with PVS: widening the rank function approach.	J. Log. Algebraic Methods Program.	2005	DBLP DOI BibTeX RDF
20	Ruth Hardy	Interactions Between PVS and Maple in Symbolic Analysis of Control Systems.	Calculemus	2005	DBLP DOI BibTeX RDF
20	Taeho Kim, David W. J. Stringer-Calvert, Sung Deok Cha	Formal verification of functional properties of a SCR-style software requirements specification using PVS.	Reliab. Eng. Syst. Saf.	2005	DBLP DOI BibTeX RDF
20	Sayan Mitra, Myla Archer	PVS Strategies for Proving Abstraction Properties of Automata.	STRATEGIES@IJCAR	2004	DBLP DOI BibTeX RDF
20	Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler	Formalizing UML Models and OCL Constraints in PVS.	SFEDL@ETAPS	2004	DBLP DOI BibTeX RDF
20	Taeho Kim, Sung Deok Cha	Comment on: development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application.	Reliab. Eng. Syst. Saf.	2004	DBLP DOI BibTeX RDF
20	Han Seong Son, Poong-Hyun Seong	Reply to "Comment on: Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application".	Reliab. Eng. Syst. Saf.	2004	DBLP DOI BibTeX RDF
20	Thomas Genet, Thomas P. Jensen, Vikash Kodati, David Pichardie	A Java Card CAP converter in PVS.	COCV@ETAPS	2003	DBLP DOI BibTeX RDF
20	Han Seong Son, Poong Hyun Seong	Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application.	Reliab. Eng. Syst. Saf.	2003	DBLP DOI BibTeX RDF
20	David R. Lester, Paul Gowland	Using PVS to validate the algorithms of an exact arithmetic.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
20	Demissie B. Aredo	A Framework for Semantics of UML Sequence Diagrams in PVS.	J. Univers. Comput. Sci.	2002	DBLP BibTeX RDF
20	Jonathan M. Ford, Ian A. Mason	Operational Techniques in PVS - A Preliminary Evaluation.	CATS	2001	DBLP DOI BibTeX RDF
20	Taeho Kim, Sung Deok Cha	Automated structural analysis of SCR-style software requirements specifications using PVS.	Softw. Test. Verification Reliab.	2001	DBLP DOI BibTeX RDF
20	Marieke Huisman	Reasoning about Java programs in higher order logic using PVS and Isabelle.		2001	RDF
20	Vlad Rusu	Verifying a Sliding Window Protocol using PVS.	FORTE	2001	DBLP BibTeX RDF
20	Adriaan de Groot, Jozef Hooman	Analyzing the Light Control System with PVS.	J. Univers. Comput. Sci.	2000	DBLP DOI BibTeX RDF
20	Issa Traoré	An Outline of PVS Semantics for UML Statecharts.	J. Univers. Comput. Sci.	2000	DBLP BibTeX RDF
20	Myla Archer	TAME: Using PVS strategies for special-purpose theorem proving.	Ann. Math. Artif. Intell.	2000	DBLP DOI BibTeX RDF
20	Sam Owre, Harald Rueß	Integrating WS1S with PVS.	CAV	2000	DBLP DOI BibTeX RDF
20	Vladlen Koltun, Yiorgos Chrysanthou, Daniel Cohen-Or	Virtual Occluders: An Efficient Intermediate PVS Representation.	Rendering Techniques	2000	DBLP DOI BibTeX RDF
20	Georg Droschl	A Case Study on the Application of PVS to Requirements Analysis.	Australas. J. Inf. Syst.	1999	DBLP BibTeX RDF
20	Ulrich Hensel, Bart Jacobs 0001	Coalgebraic Theories of Sequences in PVS.	J. Log. Comput.	1999	DBLP DOI BibTeX RDF
20	Vladimír Marík, Michal Pechoucek, Jirí Lazanský, Christophe Roche	PVS'98 agents: structures, models and production planning application.	Robotics Auton. Syst.	1999	DBLP DOI BibTeX RDF
20	Natarajan Shankar, Sam Owre	Principles and Pragmatics of Subtyping in PVS.	WADT	1999	DBLP DOI BibTeX RDF
20	Georg Droschl	Analyzing the Requirements of an Access Control Using VDMTools and PVS.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
20	Michel Levy, Laurent Trilling	A PVS-Based Approach for Teaching Constructing Correct Iterations.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
20	Georg Droschl	On the Integration of Formal Methods: Events and Scenarios in PVS and VDM.	IWFM	1999	DBLP BibTeX RDF
20	Dmitri Schamschurko	Modeling Process Calculi with PVS.	CMCS	1998	DBLP DOI BibTeX RDF
20	Sten Agerholm, Juan Bicarregui, Savi Maharaj	On the Verification of VDM Specification and Refinement with PVS.	Proof in VDM	1998	DBLP DOI BibTeX RDF
20	Vladimír Marík, Michal Pechoucek, Christophe Roche	PVS 98 agent models and their application in production planning.	BASYS	1998	DBLP BibTeX RDF
20	Bettina Buth	PAMELA+PVS Verification of Sequential Programs.	Tool Support for System Specification, Development and Verification	1998	DBLP DOI BibTeX RDF
20	Raphaël Couturier	Formal Engineering of the Bitonic Sort using PVS.	IWFM	1998	DBLP BibTeX RDF
20	Bettina Buth	PAMELA + PVS.	AMAST	1997	DBLP DOI BibTeX RDF
20	Mandayam K. Srivas, Harald Rueß, David Cyrluk	Hardware Verification Using PVS.	Formal Hardware Verification	1997	DBLP DOI BibTeX RDF
20	Sam Owre, John M. Rushby, Natarajan Shankar	Integration in PVS: Tables, Types, and Model Checking.	TACAS	1997	DBLP DOI BibTeX RDF
20	Natarajan Shankar	Steps Toward Mechanizing Program Transformations Using PVS.	Sci. Comput. Program.	1996	DBLP DOI BibTeX RDF
20	Sam Owre, S. Rajan, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas	PVS: Combining Specification, Proof Checking, and Model Checking.	CAV	1996	DBLP DOI BibTeX RDF
20	Bruno Dutertre	Elements of Mathematical Analysis in PVS.	TPHOLs	1996	DBLP DOI BibTeX RDF
20	Sten Agerholm	Translating Specifications in VDM-SL to PVS.	TPHOLs	1996	DBLP DOI BibTeX RDF
20	Harald Rueß	Hierarchical Verification of Two-Dimensional High-Speed Multiplication in PVS: A Case Study.	FMCAD	1996	DBLP DOI BibTeX RDF
20	Natarajan Shankar	PVS: Combining Specification, Proof Checking, and Model Checking.	FMCAD	1996	DBLP DOI BibTeX RDF
20	Jan Vitt, Jozef Hooman	Assertional Specification and Verification Using PVS of the Steam Boiler Control System.	Formal Methods for Industrial Applications	1995	DBLP DOI BibTeX RDF
20	Axel Dold	Representing, Verifying and Applying Software Development Steps using the PVS System.	AMAST	1995	DBLP DOI BibTeX RDF
20	Jozef Hooman	Using PVS for an Assertional Verification of the RPC-Memory Specification Problem.	Formal Systems Specification	1994	DBLP DOI BibTeX RDF