Journal articles on the topic 'Temporal verification'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 journal articles for your research on the topic 'Temporal verification.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
Yamada, Chikatoshi, Yasunori Nagata, and Zensho Nakao. "An Efficient Specification for System Verification." Journal of Advanced Computational Intelligence and Intelligent Informatics 10, no. 6 (November 20, 2006): 931–38. http://dx.doi.org/10.20965/jaciii.2006.p0931.
Full textFix, L. "Verification of temporal properties." Journal of Logic and Computation 6, no. 3 (June 1, 1996): 343–61. http://dx.doi.org/10.1093/logcom/6.3.343.
Full textBrunet, Dominique, David Sills, and Barbara Casati. "A Spatio-Temporal User-Centric Distance for Forecast Verification." Meteorologische Zeitschrift 27, no. 6 (December 11, 2018): 441–53. http://dx.doi.org/10.1127/metz/2018/0883.
Full textKröger, F. "On temporal program verification rules." RAIRO. Informatique théorique 19, no. 3 (1985): 261–80. http://dx.doi.org/10.1051/ita/1985190302611.
Full textSánchez, Alejandro, and César Sánchez. "Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems." Annals of Mathematics and Artificial Intelligence 80, no. 3-4 (November 15, 2016): 249–82. http://dx.doi.org/10.1007/s10472-016-9531-9.
Full textZhou, Min, William N. N. Hung, Xiaoyu Song, Ming Gu, and Jiaguang Sun. "Temporal Coverage Analysis for Dynamic Verification." IEEE Transactions on Circuits and Systems II: Express Briefs 65, no. 1 (January 2018): 66–70. http://dx.doi.org/10.1109/tcsii.2017.2746744.
Full textAbowd, Gregory D., and Lein Ton. "Automated verification of temporal dialogue properties." ACM SIGCHI Bulletin 28, no. 2 (April 1996): 50–52. http://dx.doi.org/10.1145/226650.226669.
Full textKung, C. H. "On verification of database temporal constraints." ACM SIGMOD Record 14, no. 4 (May 1985): 169–79. http://dx.doi.org/10.1145/971699.318911.
Full textFernández-Gago, M. C., U. Hustadt, C. Dixon, M. Fisher, and B. Konev. "First-Order Temporal Verification in Practice." Journal of Automated Reasoning 34, no. 3 (April 2005): 295–321. http://dx.doi.org/10.1007/s10817-005-7354-1.
Full textDixon, Clare, Alan F. T. Winfield, Michael Fisher, and Chengxiu Zeng. "Towards temporal verification of swarm robotic systems." Robotics and Autonomous Systems 60, no. 11 (November 2012): 1429–41. http://dx.doi.org/10.1016/j.robot.2012.03.003.
Full textBaoxin Li, R. Chellappa, Qinfen Zheng, and S. Z. Der. "Model-based temporal object verification using video." IEEE Transactions on Image Processing 10, no. 6 (June 2001): 897–908. http://dx.doi.org/10.1109/83.923286.
Full textYamada, Chikatoshi, Yasunori Nagata, and Zensho Nakao. "Inductive Temporal Formula Specifications for System Verification." Journal of Advanced Computational Intelligence and Intelligent Informatics 9, no. 3 (May 20, 2005): 321–28. http://dx.doi.org/10.20965/jaciii.2005.p0321.
Full textMurase, Akihiro, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato, and Hiroshi Unno. "Temporal verification of higher-order functional programs." ACM SIGPLAN Notices 51, no. 1 (April 8, 2016): 57–68. http://dx.doi.org/10.1145/2914770.2837667.
Full textMuniz Silva, Paulo Sérgio. "Early Verification of Computer Systems Temporal Properties." Electronic Notes in Theoretical Computer Science 130 (May 2005): 211–33. http://dx.doi.org/10.1016/j.entcs.2005.03.012.
Full textGiero, Mariusz. "Propositional Linear Temporal Logic with Initial Validity Semantics." Formalized Mathematics 23, no. 4 (December 1, 2015): 379–86. http://dx.doi.org/10.1515/forma-2015-0030.
Full textKröger, Fred, and Stephan Merz. "Temporal Logic and Recursion." Fundamenta Informaticae 14, no. 2 (February 1, 1991): 261–81. http://dx.doi.org/10.3233/fi-1991-14207.
Full textPfannerstill, M., B. Guse, D. Reusser, and N. Fohrer. "Temporal parameter sensitivity guided verification of process dynamics." Hydrology and Earth System Sciences Discussions 12, no. 2 (February 5, 2015): 1729–64. http://dx.doi.org/10.5194/hessd-12-1729-2015.
Full textAbate, Alessandro, Julian Gutierrez, Lewis Hammond, Paul Harrenstein, Marta Kwiatkowska, Muhammad Najib, Giuseppe Perelli, Thomas Steeples, and Michael Wooldridge. "Rational verification: game-theoretic verification of multi-agent systems." Applied Intelligence 51, no. 9 (August 3, 2021): 6569–84. http://dx.doi.org/10.1007/s10489-021-02658-y.
Full textYU, Yang, Yong TANG, Mao-Lin PAN, Ting-Ting ZHENG, and Jian-Bin MAI. "Temporal Workflow Process Model and Its Soundness Verification." Journal of Software 21, no. 6 (June 29, 2010): 1233–53. http://dx.doi.org/10.3724/sp.j.1001.2010.03608.
Full textBrowne, Clarke, Dill, and Mishra. "Automatic Verification of Sequential Circuits Using Temporal Logic." IEEE Transactions on Computers C-35, no. 12 (December 1986): 1035–44. http://dx.doi.org/10.1109/tc.1986.1676711.
Full textLiu, Xiao, Dingxian Wang, Dong Yuan, Futian Wang, and Yun Yang. "Workflow temporal verification for monitoring parallel business processes." Journal of Software: Evolution and Process 28, no. 4 (January 8, 2016): 286–302. http://dx.doi.org/10.1002/smr.1761.
Full textKoshida, Ichiro, Tadao Saito, and Hiroshi Inose. "Description and verification of protocol by temporal logic." Systems and Computers in Japan 18, no. 3 (1987): 30–39. http://dx.doi.org/10.1002/scj.4690180304.
Full textDill, D. L., and E. M. Clarke. "Automatic verification of asynchronous circuits using temporal logic." IEE Proceedings E Computers and Digital Techniques 133, no. 5 (1986): 276. http://dx.doi.org/10.1049/ip-e.1986.0034.
Full textPENCZEK, WOJCIECH. "TEMPORAL LOGICS FOR TRACE SYSTEMS: ON AUTOMATED VERIFICATION." International Journal of Foundations of Computer Science 04, no. 01 (March 1993): 31–67. http://dx.doi.org/10.1142/s0129054193000043.
Full textCombi, Carlo, and Pietro Sala. "Interval-based temporal functional dependencies: specification and verification." Annals of Mathematics and Artificial Intelligence 71, no. 1-3 (November 14, 2013): 85–130. http://dx.doi.org/10.1007/s10472-013-9387-1.
Full textMishra, B., and E. Clarke. "Hierarchical verification of asynchronous circuits using temporal logic." Theoretical Computer Science 38 (1985): 269–91. http://dx.doi.org/10.1016/0304-3975(85)90223-3.
Full textVölker, Marcus, Maximilian Kloock, Leon Rabanus, Bassam Alrifaee, and Stefan Kowalewski. "Verification of Cooperative Vehicle Behavior using Temporal Logic." IFAC-PapersOnLine 52, no. 8 (2019): 99–104. http://dx.doi.org/10.1016/j.ifacol.2019.08.055.
Full textCook, Byron, Eric Koskinen, and Moshe Vardi. "Temporal property verification as a program analysis task." Formal Methods in System Design 41, no. 1 (April 27, 2012): 66–82. http://dx.doi.org/10.1007/s10703-012-0153-5.
Full textLarcher, Anthony, Jean-Francois Bonastre, and John S. D. Mason. "Constrained temporal structure for text-dependent speaker verification." Digital Signal Processing 23, no. 6 (December 2013): 1910–17. http://dx.doi.org/10.1016/j.dsp.2013.07.007.
Full textSalamati, Ali, Sadegh Soudjani, and Majid Zamani. "Data-Driven Verification under Signal Temporal Logic Constraints." IFAC-PapersOnLine 53, no. 2 (2020): 69–74. http://dx.doi.org/10.1016/j.ifacol.2020.12.051.
Full textGIORDANO, LAURA, ALBERTO MARTELLI, MATTEO SPIOTTA, and DANIELE THESEIDER DUPRÉ. "Business process verification with constraint temporal answer set programming." Theory and Practice of Logic Programming 13, no. 4-5 (July 2013): 641–55. http://dx.doi.org/10.1017/s1471068413000409.
Full textFerlin, Antoine, Virginie Wiels, and Philippe Bon. "Statistical Automaton for Verifying Temporal Properties and Computing Information on Traces." International Journal of Computers Communications & Control 11, no. 5 (August 31, 2016): 645. http://dx.doi.org/10.15837/ijccc.2016.5.2148.
Full textLiu, Chuchang, and Mehmet A. Orgun. "Verification of reactive systems using temporal logic with clocks." Theoretical Computer Science 220, no. 2 (June 1999): 377–408. http://dx.doi.org/10.1016/s0304-3975(99)00008-0.
Full textAlromema, Nashwan Ahmed, Mohd Shafry Mohd Rahim, and Ibrahim Albidewi. "Temporal Database Models Validation and Verification using Mapping Methodology." VFAST Transactions on Software Engineering 11, no. 2 (December 21, 2016): 15. http://dx.doi.org/10.21015/vtse.v11i2.445.
Full textDuftschmid, Georg, Silvia Miksch, and Walter Gall. "Verification of temporal scheduling constraints in clinical practice guidelines." Artificial Intelligence in Medicine 25, no. 2 (June 2002): 93–121. http://dx.doi.org/10.1016/s0933-3657(02)00011-8.
Full textDuc, Le, Kazuo Saito, and Hiromu Seko. "Spatial-temporal fractions verification for high-resolution ensemble forecasts." Tellus A: Dynamic Meteorology and Oceanography 65, no. 1 (April 30, 2013): 18171. http://dx.doi.org/10.3402/tellusa.v65i0.18171.
Full textBoureanu, Ioana, Mika Cohen, and Alessio Lomuscio. "Automatic verification of temporal-epistemic properties of cryptographic protocols." Journal of Applied Non-Classical Logics 19, no. 4 (January 2009): 463–87. http://dx.doi.org/10.3166/jancl.19.463-487.
Full textCourcoubetis, C., M. Vardi, P. Wolper, and M. Yannakakis. "Memory-efficient algorithms for the verification of temporal properties." Formal Methods in System Design 1, no. 2-3 (October 1992): 275–88. http://dx.doi.org/10.1007/bf00121128.
Full textMoon, Il, Gary J. Powers, Jerry R. Burch, and Edmund M. Clarke. "Automatic verification of sequential control systems using temporal logic." AIChE Journal 38, no. 1 (January 1992): 67–75. http://dx.doi.org/10.1002/aic.690380107.
Full textTreur, Jan. "Verification of temporal-causal network models by mathematical analysis." Vietnam Journal of Computer Science 3, no. 4 (April 16, 2016): 207–21. http://dx.doi.org/10.1007/s40595-016-0067-z.
Full textRife, Daran L., and Christopher A. Davis. "Verification of Temporal Variations in Mesoscale Numerical Wind Forecasts." Monthly Weather Review 133, no. 11 (November 1, 2005): 3368–81. http://dx.doi.org/10.1175/mwr3052.1.
Full textPrajna, Stephen, and Anders Rantzer. "Convex Programs for Temporal Verification of Nonlinear Dynamical Systems." SIAM Journal on Control and Optimization 46, no. 3 (January 2007): 999–1021. http://dx.doi.org/10.1137/050645178.
Full textSoleimanifard, Siavash, Dilian Gurov, and Marieke Huisman. "Procedure-modular specification and verification of temporal safety properties." Software & Systems Modeling 14, no. 1 (March 7, 2013): 83–100. http://dx.doi.org/10.1007/s10270-013-0321-0.
Full textNgu, A. H. H. "Specification and verification of temporal relationships in transaction modelling." Information Systems 15, no. 2 (January 1990): 257–67. http://dx.doi.org/10.1016/0306-4379(90)90039-r.
Full textChiarugi, Davide, Moreno Falaschi, Diana Hermith, and Carlos Olarte. "Verification of Spatial and Temporal Modalities in Biochemical Systems." Electronic Notes in Theoretical Computer Science 316 (September 2015): 29–44. http://dx.doi.org/10.1016/j.entcs.2015.06.009.
Full textGori, Roberta, and Francesca Levi. "Abstract interpretation based verification of temporal properties for BioAmbients." Information and Computation 208, no. 8 (August 2010): 869–921. http://dx.doi.org/10.1016/j.ic.2010.03.004.
Full textWang, Yunhong, Zhaoxiang Zhang, Kaiyue Wang, Haoran Deng, and Bin Ma. "On-line signature verification based on spatio-temporal correlation." Multimedia Tools and Applications 72, no. 1 (March 7, 2013): 879–904. http://dx.doi.org/10.1007/s11042-013-1408-x.
Full textShinkawa, Yoshiyuki, and Ryoya Shiraki. "Temporal Verification of Business Processes Using BPMN and CPN." Information Engineering Express 3, no. 4 (2017): 105–13. http://dx.doi.org/10.52731/iee.v3.i4.287.
Full textLai and Tsai. "Improving GIS-based Landslide Susceptibility Assessments with Multi-temporal Remote Sensing and Machine Learning." Sensors 19, no. 17 (August 27, 2019): 3717. http://dx.doi.org/10.3390/s19173717.
Full textMarzban, Caren, and Scott Sandgathe. "Optical Flow for Verification." Weather and Forecasting 25, no. 5 (October 1, 2010): 1479–94. http://dx.doi.org/10.1175/2010waf2222351.1.
Full text