• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 39 matches

• 2022
• 
  Marcin Szpyrka, Jaroslaw Baniewicz, Andrei Karatkevich:
  Alvis Approach to Modeling and Verification of Real-Time Systems Running on Single-Processor Environment. IEEE Access 10: 104178-104189 (2022)
• 
  Yingrui Zhou, Zengqiang Chen, Yuan-Hua Ni, Zhongxin Liu:
  z-Reliable SE-Coprognosability of Discrete Event Systems and an Algebraic State Space Approach to Verification. IEEE Trans. Circuits Syst. II Express Briefs 69(12): 4894-4898 (2022)
• 
  Simone Smeraldo, Riccardo Desimini, Maria Prandini:
  An abstraction and refinement computational approach to safety verification of discrete time nonlinear systems. ECC 2022: 572-579
• 2021
• 
  Angelo Ferrando, Louise A. Dennis, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Viviana Mascardi:
  Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems. ACM Trans. Softw. Eng. Methodol. 30(4): 43:1-43:43 (2021)
• 2019
• 
  Natalia Olegovna Garanina, Igor S. Anureev, Elena A. Sidorova, Dmitry Koznov, Vladimir Zyubin, Sergei Gorlatch:
  An Ontology-Based Approach to Support Formal Verification of Concurrent Systems. FM Workshops (1) 2019: 114-130
• 2018
• 
  Tingting Yu, Witawas Srisa-an, Myra B. Cohen, Gregg Rothermel:
  A hybrid approach to testing for nonfunctional faults in embedded systems using genetic algorithms. Softw. Test. Verification Reliab. 28(7) (2018)
• 2017
• 
  Natalya Olegovna Garanina, Elena A. Sidorova:
  An Approach to Verification of a Family of Multiagent Systems for Conflict Resolution. Autom. Control. Comput. Sci. 51(7): 498-506 (2017)
• 2016
• 
  Riccardo Vignali:
  Automatic verification and input design for dynamical systems: an optimization-based approach to the detection of non-inflential inputs. Polytechnic University of Milan, Italy, 2016
• 
  Aissam Belghiat, Allaoua Chaoui:
  Mapping Mobile Statechart Diagrams to the π-Calculus using Graph Transformation: An Approach for Modeling, Simulation and Verification of Mobile Agent-based Software Systems. Int. J. Intell. Inf. Technol. 12(4): 1-20 (2016)
• 
  Pavithra Prabhakar, Miriam Garcia Soto:
  An algorithmic approach to global asymptotic stability verification of hybrid systems. EMSOFT 2016: 9:1-9:10
• 
  Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer:
  A Component-Based Approach to Hybrid Systems Safety Verification. IFM 2016: 441-456
• 2015
• 
  Pavithra Prabhakar, Miriam Garcia Soto:
  An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary. SNR@CAV 2015: 32-39
• 2014
• 
  Michael D. Lloyd, John D. Andrews, Rasa Remenyte-Prescott, John T. Pearson, Peter M. Hubbard:
  A Petri Net Approach to Fault Verification in Phased Mission Systems using the Standard Deviation Technique. Qual. Reliab. Eng. Int. 30(1): 83-95 (2014)
• 
  Pavithra Prabhakar, Miriam Garcia Soto:
  An algorithmic approach to stability verification of polyhedral switched systems. ACC 2014: 2318-2323
• 2013
• 
  De-Jiu Chen, Lei Feng, Tahir Naseer Qureshi, Henrik Lönn, Frank Hagl:
  An architectural approach to the analysis, verification and validation of software intensive embedded systems. Computing 95(8): 649-688 (2013)
• 2012
• 
  Tien-Dung Cao, Richard Castanet, Patrick Félix, Kevin Chiew:
  An Approach to Automated Runtime Verification for Timed Systems: Applications to Web Services. J. Softw. 7(6): 1338-1350 (2012)
• 
  Pratyush Kumar, Dip Goswami, Samarjit Chakraborty, Anuradha Annaswamy, Kai Lampka, Lothar Thiele:
  A hybrid approach to cyber-physical systems verification. DAC 2012: 688-696
• 
  Magdalina Todorova:
  Methodological aspects of an approach for verification of object-oriented programs. IEEE Conf. of Intelligent Systems 2012: 153-158
• 2011
• 
  Thomas Klotz, Bernd Straube, Eva Fordran, Jürgen Haufe, Frank Schulze, Karsten Turek, Thorsten Schmidt:
  An approach to the verification of material handling systems. ETFA 2011: 1-8
• 2010
• 
  Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Ciprian Dragomir:
  An Integrated Approach to P Systems Formal Verification. Int. Conf. on Membrane Computing 2010: 226-239
• 2008
• 
  Patrick de Oude, Gregor Pavlin:
  An information theoretic approach to verification of modular Bayesian fusion systems. FUSION 2008: 1-8
• 2007
• 
  R. Araujo, George D. C. Cavalcanti, Edson C. B. Carvalho Filho:
  An Approach to Improve Accuracy Rate of On-line Signature Verification Systems of Different Sizes. ICDAR 2007: 332-336
• 
  Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis:
  An Approach to Modelling and Verification of Component Based Systems. SOFSEM (1) 2007: 295-308
• 2005
• 
  Igor V. Konnov, Vladimir A. Zakharov:
  An Approach to the Verification of Symmetric Parameterized Distributed Systems. Program. Comput. Softw. 31(5): 225-236 (2005)
• 
  Rajesh Kumar, Bruce H. Krogh, Peter H. Feiler:
  An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems. HSCC 2005: 370-385
• 
  Leandro Dias da Silva, Angelo Perkusich:
  A Model-Based Approach to Formal Specification and Verification of Embedded Systems Using Colored Petri Nets. Component-Based Software Development for Embedded Systems 2005: 35-58
• 2001
• 
  B. Izaias Silva, Olaf Stursberg, Bruce H. Krogh, Sebastian Engell:
  An assessment of the current status of algorithmic approaches to the verification of hybrid systems. CDC 2001: 2867-2874
• 
  Roman Gumzej, Matjaz Colnaric:
  An Approach to Modeling and Verification of Real-Time Systems. ISORC 2001: 283-290
• 2000
• 
  Ahmed Younes, Moheb R. Girgis, M. R. Hassan:
  An Approach to the Verification and Correction of Knowledge-Based Systems. Egypt. Comput. Sci. J. 22(1) (2000)
• 1997
• 
  Mar Marcos, Sabine Moisan, Angel P. del Pobil:
  A Model-based Approach to the Verification of Program Supervision Systems. EUROVAV 1997: 231-241

skipping 9 more matches