Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
31 | Christian Jacobi 0002, Christoph Berg |
Formal Verification of the VAMP Floating Point Unit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 26(3), pp. 227-266, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
IEEE standard 754, formal verification, theorem proving, PVS, floating point unit |
31 | Milos Besta, Frank A. Stomp |
A Complete Mechanization of Correctness of a String-Preprocessing Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 27(1-2), pp. 5-17, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
formal methods, pattern matching, theorem proving, PVS |
31 | Jan Friso Groote, François Monin, Jan Springintveld |
A computer checked algebraic verification of a distributed summation algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 17(1), pp. 19-37, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Distributed summation algorithm, Formal proof checking, Verification, Process algebra, PVS, CRL |
31 | Jei-Wen Teng, Yih-Kuen Tsay |
Composing Temporal-Logic Specifications with Machine Assistance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, pp. 719-738, 2003, Springer, 3-540-40828-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Assumption-Guarantee, Compositional Specification, Formal Correctness, Temporal Logic, Theorem Proving, Concurrent Systems, PVS, Compositional Verification, Component-Based Software |
31 | Vlad Rusu |
Compositional Verification of an ATM Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, pp. 223-243, 2003, Springer, 3-540-40828-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
SSCOP protocol, abstraction, theorem proving, Compositionality, PVS |
31 | Dmitri Chkliaev, Jozef Hooman, Peter van der Stok |
Formal Modeling and Analysis of Atomic Commitment Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: Seventh International Conference on Parallel and Distributed Systems, ICPADS 2000, Iwate, Japan, July 4-7, 2000, pp. 151-158, 2000, IEEE Computer Society, 0-7695-0568-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
real-time, formal specification, distributed databases, PVS, fault-tolerant systems, mechanical verification, atomic commitment protocols |
31 | John M. Rushby |
Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 25(5), pp. 651-660, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
time-triggered algorithms, Formal methods, formal verification, PVS, synchronous systems |
31 | Tomohiro Yoneda, Yutaka Ohtsuka, Märt Saarepera |
Verification of Parameterized Asynchronous Circuits: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 1st International Conference on Application of Concurrency to System Design (ACSD '98), 23-26 March 1998, Fukushima, Japan, pp. 64-74, 1998, IEEE Computer Society, 0-8186-8350-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
parameterized asynchronous circuits, ACTL model checking, Formal verification, abstraction, PVS |
30 | Herwig Lejsek, Friðrik Heiðar Ásmundsson, Björn Þór Jónsson 0001, Laurent Amsaleg |
Scalability of local image descriptors: a comparative study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 14th ACM International Conference on Multimedia, Santa Barbara, CA, USA, October 23-27, 2006, pp. 589-598, 2006, ACM, 1-59593-447-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
PvS-framework, median rank aggregation, scalability, high-dimensional indexing, local image descriptors |
30 | Padmanabhan Krishnan |
Consistency checks for UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 162-, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
UML consistency checking, state predicates, PVS theorem prover, Prototype Verification System, partially specified systems, behavioural description, Unified Modeling Language, formal verification, theorem proving, specification languages, diagrams, computation history, UML diagrams, dynamic aspects |
30 | Simon Fowler 0002, Andy J. Wellings |
Formal development of a real-time kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), December 3-5, 1997, San Francisco, CA, USA, pp. 220-229, 1997, IEEE Computer Society, 0-8186-8268-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
formal development, simple real time operating system kernel, restricted Ada 95 tasking model, fixed priority real time systems, abstract specification, PVS proof system, computational model, RTL, operating system kernels |
22 | Simon Doherty, Mark Moir |
Nonblocking Algorithms and Backward Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings, pp. 274-288, 2009, Springer, 978-3-642-04354-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Xiayong Hu, Mark Lawford, Alan Wassyng |
Formal Verification of the Implementability of Timing Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers, pp. 119-134, 2008, Springer, 978-3-642-03239-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | André Luiz Galdino, César A. Muñoz, Mauricio Ayala-Rincón |
Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings, pp. 177-188, 2007, Springer, 978-3-540-73443-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Jin Song Dong, Yuzhang Feng, Ho-fung Leung |
A Verification Framework for Agent Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings, pp. 57-75, 2007, Springer, 978-3-540-76648-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Steven P. Miller, Alan C. Tribble, Michael W. Whalen, Mats Per Erik Heimdahl |
Proving the shalls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 8(4-5), pp. 303-319, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Formal verification, Software requirements, Model-based development |
22 | Sylvie Boldo, César A. Muñoz |
Provably faithful evaluation of polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1328-1332, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
formal verification, floating-point, polynomial evaluation |
22 | Matthieu Sozeau |
Subset Coercions in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers, pp. 237-252, 2006, Springer, 978-3-540-74463-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Kun Wei, James Heather |
A Theorem-Proving Approach to Verification of Fair Non-repudiation Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers, pp. 202-219, 2006, Springer, 978-3-540-75226-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Hui Gao, Jan Friso Groote, Wim H. Hesselink |
Lock-free dynamic hash tables with open addressing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 18(1), pp. 21-42, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Distributed algorithms, Wait-free, Lock-free, Hash tables |
22 | Marc Daumas, Guillaume Melquiond, César A. Muñoz |
Guaranteed Proofs Using Interval Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 17th IEEE Symposium on Computer Arithmetic (ARITH-17 2005), 27-29 June 2005, Cape Cod, MA, USA, pp. 188-195, 2005, IEEE Computer Society, 0-7695-2366-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang, Kees Goossens, Edwin Rijpkema, Andrei Radulescu |
Deadlock Prevention in the Æthereal Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings, pp. 345-348, 2005, Springer, 3-540-29105-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari 0001 |
SAL 2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings, pp. 496-500, 2004, Springer, 3-540-22342-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Guillaume Lussier, Hélène Waeselynck |
Deriving Test Sets from Partial Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2-5 November 2004, Saint-Malo, Bretagne, France, pp. 14-24, 2004, IEEE Computer Society, 0-7695-2215-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Mark Lawford, Hong Zhang 0016 |
Equivalence Verification of Timed Transition Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 16-18 June 2004, Hamilton, Canada, pp. 155-164, 2004, IEEE Computer Society, 0-7695-2077-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | César A. Muñoz, Gilles Dowek, Victor Carreño |
Modeling and verification of an air traffic concept of operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2004, Boston, Massachusetts, USA, July 11-14, 2004, pp. 175-182, 2004, ACM, 1-58113-820-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
air traffic management systems, model checking, theorem proving |
22 | Youngsik Kim, Shekhar Kopuri, Nazanin Mansouri |
Automated Formal Verification of Scheduling Process Using Finite State Machines with Datapath (FSMD). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 5th International Symposium on Quality of Electronic Design (ISQED 2004), 22-24 March 2004, San Jose, CA, USA, pp. 110-115, 2004, IEEE Computer Society, 0-7695-2093-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Engelbert Hubbers |
Integrating Tools for Automatic Program Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers, pp. 214-221, 2003, Springer, 3-540-20813-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Dmitri Chkliaev, Jozef Hooman, Erik P. de Vink |
Verification and Improvement of the Sliding Window Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 113-127, 2003, Springer, 3-540-00898-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Jesse Hughes, Martijn Warnier |
The Coinductive Approach to Verifying Cryptographic Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers, pp. 268-283, 2002, Springer, 3-540-20537-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Carmen Graciani Díaz, Francisco-Jesús Martín-Mateos, Mario J. Pérez-Jiménez |
Specification of Adleman's Restricted Model Using an Automated Reasoning System: Verification of Lipton's Experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UMC ![In: Unconventional Models of Computation, Third International Conference, UMC 2002, Kobe, Japan, October 15-19, 2002, Proceedings, pp. 126-136, 2002, Springer, 3-540-44311-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Neil Henderson, Stephen Paynter |
The Formal Classification and Verification of Simpson's 4-Slot Asynchronous Communication Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings, pp. 350-369, 2002, Springer, 3-540-43928-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
retrieve relation, refinement, asynchronous communication, reification |
22 | Jonathan Ford, Natarajan Shankar |
Formal Verification of a Combination Decision Procedure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings, pp. 347-362, 2002, Springer, 3-540-43931-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Andre Renaud, Padmanabhan Krishnan |
An Environment for Specifying and Verifying Security Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 13th Australian Software Engineering Conference (ASWEC 2001), 26-28 August 2001, Canberra, Australia, pp. 203-212, 2001, IEEE Computer Society, 0-7695-1254-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Dmitri Chkliaev, Jozef Hooman, Peter van der Stok |
Serializability Preserving Extensions of Concurrency Control Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 180-193, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Axel Dold, Vincent Vialard |
Formal Verification of a Compiler Back-End Generic Checker Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 470-480, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
checker-based program verification, generic specification, formal verification |
22 | Marcelo Glusman, Shmuel Katz |
Mechanizing Proofs of Computation Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings, pp. 354-367, 1999, Springer, 3-540-66202-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Hassen Saïdi, Natarajan Shankar |
Abstract and Model Check While You Prove. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings, pp. 443-454, 1999, Springer, 3-540-66202-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Abhijit Ghosh, Ranga Vemuri |
Formal Verification of Synthesized Analog Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: Proceedings of the IEEE International Conference On Computer Design, VLSI in Computers and Processors, ICCD '99, Austin, Texas, USA, October 10-13, 1999, pp. 40-45, 1999, IEEE Computer Society, 0-7695-0406-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Friedrich W. von Henke, Stephan Pfab, Holger Pfeifer, Harald Rueß |
Case Studies in Meta-Level Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings, pp. 461-478, 1998, Springer, 3-540-64987-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | S. Rajan, Natarajan Shankar, Mandayam K. Srivas |
An Integration of Model Checking with Automated Proof Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 7th International Conference, Liège, Belgium, July, 3-5, 1995, Proceedings, pp. 84-97, 1995, Springer, 3-540-60045-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Kyung-Min Kim, Jong Wook Kwak |
PVS-GEN: Systematic Approach for Universal Synthetic Data Generation Involving Parameterization, Verification, and Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 24(1), pp. 266, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Zhengrong Chen, Siyao Cai, A. P. Sakis Meliopoulos |
A Real-time Deep Learning-based Fault Diagnosis Framework in Power Distribution System with PVs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISGT ![In: IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, ISGT 2024, Washington, DC, USA, February 19-22, 2024, pp. 1-5, 2024, IEEE, 979-8-3503-1360-4. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Mauricio Ayala-Rincón, Thaynara Arielly de Lima, Andréia B. Avelar, André Luiz Galdino |
Formalization of Algebraic Theorems in PVS (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023., pp. 1-10, 2023, EasyChair. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Ayu Sonoda, Paul Compagnon, Marina Reyboz, Hiroaki Nishi |
Attention-PVS for Domestic Hot Water Consumption Forecasting in Individual Household. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IECON ![In: 49th Annual Conference of the IEEE Industrial Electronics Society, IECON 2023, Singapore, October 16-19, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-3182-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Aman Samson Mogos, Xiaodong Liang, C. Y. Chung 0001 |
Impact of Plug-in Electric Vehicle Charging and Roof-top PVs on Distribution Transformer Health: A Case Study in Saskatoon, Canada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: IEEE Canadian Conference on Electrical and Computer Engineering, CCECE 2023, Regina, SK, Canada, September 24-27, 2023, pp. 49-54, 2023, IEEE, 979-8-3503-2397-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Tahir Sag |
PVS: a new population-based vortex search algorithm with boosted exploration capability using polynomial mutation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 34(20), pp. 18211-18287, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Arian Zahedmanesh, Kashem M. Muttaqi, Danny Sutanto |
An Adaptable Correlated Control for Maintaining Voltage Quality in Low-Voltage Distribution Grids Containing PVs and PEVs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Informatics ![In: IEEE Trans. Ind. Informatics 18(9), pp. 5804-5814, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Muhammad Saqib Nawaz, Meng Sun 0002, Basit Shahzad, Muhammad Ikram Ullah Lali, Tariq Umer, Shaohua Wan 0001 |
Quality of service in IoT protocol as designs and its verification in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Emerg. Telecommun. Technol. ![In: Trans. Emerg. Telecommun. Technol. 33(8), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | John Rushby |
PVS Embeddings of Propositional and Quantified Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.06391, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Paolo Masci 0001 |
Formal analysis of the application programming interface of the PVS verification system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 128, pp. 100793, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Zaint A. Alexakis, Antonio T. Alexandridis |
Optimization of MPP tracking algorithms for PVs with the impact of losses minimized. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCA ![In: 17th IEEE International Conference on Control & Automation, ICCA 2022, Naples, Italy, June 27-30, 2022, pp. 103-108, 2022, IEEE, 978-1-6654-9572-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Somesh Bhattacharya, Brian Azzopardi |
Comparitive Analysis of Frequency Support Provided by Grid-Forming and Grid-Following PVs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISGT ![In: 2022 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, ISGT 2022, New Orleans, LA, USA, April 24-28, 2022, pp. 1-5, 2022, IEEE, 978-1-6654-3775-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | J. Tanner Slagel, César A. Muñoz, Swee Balachandran, Mariano M. Moscato, Aaron Dutle, Paolo Masci 0001, Lauren White |
Towards an implementation of differential dynamic logic in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022, pp. 44-50, 2022, ACM, 978-1-4503-9274-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Paolo Masci 0001, Aaron Dutle |
Proof Mate: An Interactive Proof Helper for PVS (Tool Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
NFM ![In: NASA Formal Methods - 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings, pp. 809-815, 2022, Springer, 978-3-031-06772-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Nicholas Moore, Mark Lawford |
A Case Study in the Automated Translation of BSV Hardware to PVS Formal Logic with Subsequent Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, pp. 65-72, 2022, Springer, 978-3-031-10362-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Di Cao, Junbo Zhao, Weihao Hu, Fei Ding 0001, Qi Huang 0001, Zhe Chen 0007, Frede Blaabjerg |
Data-Driven Multi-Agent Deep Reinforcement Learning for Distribution System Decentralized Voltage Control With High Penetration of PVs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Smart Grid ![In: IEEE Trans. Smart Grid 12(5), pp. 4137-4150, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Thaynara Arielly de Lima, André Luiz Galdino, Andréia Borges Avelar, Mauricio Ayala-Rincón |
Formalization of Ring Theory in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 65(8), pp. 1231-1263, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | M. Saqib Nawaz, Meng Sun 0002, Philippe Fournier-Viger |
Proof Searching in PVS Theorem Prover Using Simulated Annealing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSI (2) ![In: Advances in Swarm Intelligence - 12th International Conference, ICSI 2021, Qingdao, China, July 17-21, 2021, Proceedings, Part II, pp. 253-262, 2021, Springer, 978-3-030-78810-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Ben L. Di Vito, Ashlie B. Hocking |
Polygon Merge: A Geometric Algorithm Verified Using PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NFM ![In: NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings, pp. 79-94, 2021, Springer, 978-3-030-76383-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Mehrdad Bagheri-Sanjareh, Mohammad Hassan Nazari, Gevork B. Gharehpetian, Seyed Hossein Hosseinian |
New approach for sizing of overloaded-capable battery for Microgrid frequency control using cooperation of PVs, BESS and smart lighting loads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 39(3), pp. 4095-4109, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Hai Lu, Yuanyuan Chai, Junnan Hao, Xiaoyun Chen, Li Guo 0014, Yixin Liu |
Network Simplification-Based Cluster Coordinated Optimization Method for Distributed PVs With Inadequate Measurement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 65283-65293, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | M. Saqib Nawaz, Philippe Fournier-Viger, Ji Zhang 0001 |
Proof Learning in PVS With Utility Pattern Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 119806-119818, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Arash Baharvandi, Jamshid Aghaei, Ahmad Nikoobakht, Taher Niknam, Vahid Vahidinasab, Damian Giaouris, Phil Taylor |
Linearized Hybrid Stochastic/Robust Scheduling of Active Distribution Networks Encompassing PVs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Smart Grid ![In: IEEE Trans. Smart Grid 11(1), pp. 357-367, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Sachidananda Sen, Vishal Kumar |
Simplified Modeling and HIL Validation of Solar PVs and Storage-Based Islanded Microgrid With Generation Uncertainties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Syst. J. ![In: IEEE Syst. J. 14(2), pp. 2653-2664, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Asmaa Zaz, Mohammed Bakkali, Mohammed Ouassaid, Yasunobu Ashie, Mounir Ghogho |
Modelling Effects of Rooftop PVs on Outdoor Temperatures: The Case of Low Latitude Neighbourhoods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Environments (Workshops) ![In: Intelligent Environments 2020 - Workshop Proceedings of the 16th International Conference on Intelligent Environment, Madrid, Spain, 20-23 July 2020, pp. 242-251, 2020, IOS Press, 978-1-64368-090-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Xiaoxin An, Amer Tahat, Binoy Ravindran |
A Validation Methodology for OCaml-to-PVS Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NFM ![In: NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings, pp. 207-221, 2020, Springer, 978-3-030-55753-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Aya Shimura, Mamoru Sawahashi, Satoshi Nagata, Yoshihisa Kishiyama |
Physical Cell ID Detection Probabilities Using Frequency Domain PVS Transmit Diversity for NB-IoT Radio Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Commun. ![In: IEICE Trans. Commun. 102-B(8), pp. 1477-1489, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Poria Astero, Lennart Söder |
Improving Hosting Capacity of Rooftop PVs by Quadratic Control of an LV-Central BSS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Smart Grid ![In: IEEE Trans. Smart Grid 10(1), pp. 919-927, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | M. Saqib Nawaz, Meng Sun 0002 |
Using PVS for Modeling and Verification of Probabilistic Connectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers, pp. 61-76, 2019, Springer, 978-3-030-31516-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | M. Saqib Nawaz, Meng Sun 0002, Philippe Fournier-Viger |
Proof Guidance in PVS with Sequential Pattern Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers, pp. 45-60, 2019, Springer, 978-3-030-31516-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Gustavo A. Ramos, David Celeita, Tatiana Quintero |
Reverse Power Flow Analyzer (RPFA): A tool to assess the impact of PVs in distribution systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAS ![In: 2019 IEEE Industry Applications Society Annual Meeting, Baltimore, MD, USA, September 29 - Oct. 3, 2019, pp. 1-6, 2019, IEEE, 978-1-5386-4539-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | David E. Narváez |
Formalizing CNF SAT Symmetry Breaking in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NFM ![In: NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, pp. 341-354, 2019, Springer, 978-3-030-20651-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Thodoris Kottas, Athanasios D. Karlis, Yiannis S. Boutalis |
A Novel Control Algorithm for DC Motors Supplied by PVs Using Fuzzy Cognitive Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 6, pp. 24866-24876, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Hyun-Gu Lee, Gyu-Gwang Kim, Byeong Gwan Bhang, David Kwangsoon Kim, Neungsoo Park, Hyung Keun Ahn |
Design Algorithm for Optimum Capacity of ESS Connected With PVs Under the RPS Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 6, pp. 45899-45906, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Cinzia Bernardeschi, Andrea Domenici, Paolo Masci 0001 |
A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 44(6), pp. 512-533, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Anthony Savidis |
There is more to PCG than Meets the Eye: NPC AI, Dynamic Camera, PVS and Lightmaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1808.00328, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Josh Newell, Linna Pang, David Tremaine, Alan Wassyng, Mark Lawford |
Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 60(1), pp. 63-84, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Ling Shi, Yongxin Zhao, Yang Liu 0003, Jun Sun 0001, Jin Song Dong, Shengchao Qin |
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 30(3-4), pp. 351-380, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | M. Saqib Nawaz, Meng Sun 0002 |
A Formal Design Model for Genetic Algorithms Operators and its Encoding in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BDIOT ![In: Proceedings of the 2018 2nd International Conference on Big Data and Internet of Things, BDIOT 2018, Beijing, China, October 24-26, 2018, pp. 186-190, 2018, ACM, 978-1-4503-6519-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Andréia B. Avelar da Silva, Thaynara Arielly de Lima, André Luiz Galdino |
Formalizing Ring Theory in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings, pp. 40-47, 2018, Springer, 978-3-319-94820-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Maryam Alami Chentoufi, Rachid Ellaia |
Adaptive traffic signal optimization considering emergency vehicle preemption and tram priority using PVS algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCA ![In: Proceedings of the 3rd International Conference on Smart City Applications, SCA 2018, Tetouan, Morocco, October 10-11, 2018, pp. 76:1-76:8, 2018, ACM, 978-1-4503-6562-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Frédéric Gilbert 0002 |
Extending higher-order logic with predicate subtyping: Application to PVS. (Extension de la logique d'ordre supérieur avec le sous-typage par prédicats). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
20 | Felicidad Aguado, Pablo Ascariz, Pedro Cabalar, Gilberto Pérez 0001, Concepción Vidal |
Verification for ASP denotational semantics: A case study using the PVS theorem prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 25(2), pp. 195-213, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Shunsuke Kawano, Kohei Murakami, Shinya Yoshizawa, Yasuhiro Hayashi |
Basic study on application of real-time satellite-observed solar radiation data for centralized voltage control in distribution networks with PVs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISGT ![In: IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, ISGT 2017, Washington, DC, USA, April 23-26, 2017, pp. 1-5, 2017, IEEE, 978-1-5386-2890-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Natarajan Shankar |
Formalizing Hoare Logic in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETSS ![In: Engineering Trustworthy Software Systems - Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures, pp. 89-114, 2017, Springer, 978-3-030-02927-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Frédéric Gilbert 0002 |
Proof Certificates in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings, pp. 262-268, 2017, Springer, 978-3-319-66106-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Michael Kohlhase, Dennis Müller 0001, Sam Owre, Florian Rabe 0001 |
Making PVS Accessible to Generic Services by Interpretation in a Universal Format. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings, pp. 319-335, 2017, Springer, 978-3-319-66106-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Ashlie B. Hocking, M. Anthony Aiello |
The Measurement Library: Representing Physical Types in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFM@NFM ![In: Automated Formal Methods, AFM@NFM 2017, Moffett Field, CA, USA, May 19-20, 2017., pp. 77-92, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Aya Shimura, Mamoru Sawahashi, Satoshi Nagata, Yoshihisa Kishiyama |
Performance of physical cell ID detection using PVS based transmit diversity for NB-IoT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPMC ![In: 20th International Symposium on Wireless Personal Multimedia Communications, WPMC 2017, Bali, Indonesia, December 17-20, 2017, pp. 598-603, 2017, IEEE, 978-1-5386-2768-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Yasunori Isozaki, Shinya Yoshizawa, Yu Fujimoto, Hideaki Ishii, Isao Ono, Takashi Onoda, Yasuhiro Hayashi |
Detection of Cyber Attacks Against Voltage Control in Distribution Power Grids With PVs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Smart Grid ![In: IEEE Trans. Smart Grid 7(4), pp. 1824-1835, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Kalyani Singh, Brent Auernheimer |
Formal Specification of Multi-Window User Interface in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (26) ![In: HCI International 2016 - Posters' Extended Abstracts - 18th International Conference, HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part I, pp. 144-149, 2016, Springer, 978-3-319-40547-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Josh Newell, Linna Pang, David Tremaine, Alan Wassyng, Mark Lawford |
Formal Translation of IEC 61131-3 Function Block Diagrams to PVS with Nuclear Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NFM ![In: NASA Formal Methods - 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings, pp. 206-220, 2016, Springer, 978-3-319-40647-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Mauricio Ayala-Rincón, Maribel Fernández, Ana Cristina Rocha Oliveira |
Completeness in PVS of a Nominal Unification Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2015, Natal, Brazil, August 31 - September 1, 2015, pp. 57-74, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Mauricio Ayala-Rincón |
Formalising Confluence in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings of the Eleventh International Workshop on Developments in Computational Models, DCM 2015, Cali, Colombia, October 28, 2015., pp. 11-17, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng, Josh Newell, Vera Chow, David Tremaine |
Formal Verification of Real-Time Function Blocks Using PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSS ![In: Proceedings 4th International Workshop on Engineering Safety and Security Systems, ESSS 2015, Oslo, Norway, June 22, 2015., pp. 65-79, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Paolo Masci 0001, Paul Curzon, Dominic Furniss, Ann Blandford |
Using PVS to support the analysis of distributed cognition systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 11(2), pp. 113-130, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Paolo Masci 0001, Patrick Oladimeji, Yi Zhang 0051, Paul L. Jones, Paul Curzon, Harold W. Thimbleby |
PVSio-web 2.0: Joining PVS to HCI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, pp. 470-478, 2015, Springer, 978-3-319-21689-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Sarjiya, Yusuf Susilo Wijoyo, Rayyan |
Electricity tariff of Bunaken hybrid Genset-PVs-battery system based on LRMC method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSCE ![In: 2015 IEEE International Conference on Control System, Computing and Engineering, ICCSCE 2015, Penang, Malaysia, November 27-29, 2015, pp. 413-417, 2015, IEEE, 978-1-4799-8252-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Sjaak Smetsers, Ken Madlener, Marko C. J. D. van Eekelen |
Formalizing Bialgebraic Semantics in PVS 6.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPTE@RDP ![In: 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@RDP 2015, July 2, 2015, Warsaw, Poland, pp. 47-61, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-94-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|