Log in

Relevant bibliographies by topics / Formal Modeling / Journal articles

To see the other types of publications on this topic, follow the link: Formal Modeling.

Journal articles on the topic 'Formal Modeling'

Author: Grafiati

Published: 4 June 2021

Last updated: 25 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Formal Modeling.'

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.

1

Fithen, William L., Shawn V. Hernan, Paul F. O'Rourke, and David A. Shinberg. "Formal modeling of vulnerability." Bell Labs Technical Journal 8, no. 4 (2004): 173–86. http://dx.doi.org/10.1002/bltj.10094.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Abbate, Andrew J., and Ellen J. Bass. "Modeling Affordance Using Formal Methods." Proceedings of the Human Factors and Ergonomics Society Annual Meeting 61, no. 1 (2017): 723–27. http://dx.doi.org/10.1177/1541931213601666.

Full text

Abstract:

Affordances, or the physical interactions that an environment allows for a particular agent, are critical to the design of human-interactive systems. Researchers are developing formal models of human-device interaction that can be used to verify procedures, displays, and controls; however, no formal approaches to guide design exist for affordances. This paper presents such an approach. To model affordance formally, we instantiate an extant formalism from ecological psychology. A human-environment system model represents physical entities in an environment, properties such as 3-D spatial relati

APA, Harvard, Vancouver, ISO, and other styles

3

Zavgorodnii, V. V., A. A. Zavgorodnya, K. E. Drobotovich, O. V. Tenigin, and M. M. Shmatko. "MATHEMATICAL MODELING IN FORMAL RESEARCH METHODS." Scientific notes of Taurida National V.I. Vernadsky University. Series: Technical Sciences, no. 6 (2021): 75–79. http://dx.doi.org/10.32838/2663-5941/2021.6/12.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Hawkins, Douglas M. "FIRM: Formal Inference-Based Recursive Modeling." American Statistician 45, no. 2 (1991): 155. http://dx.doi.org/10.2307/2684385.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Geoffrion, Arthur M. "The Formal Aspects of Structured Modeling." Operations Research 37, no. 1 (1989): 30–51. http://dx.doi.org/10.1287/opre.37.1.30.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Abdulahhad, Karam, Catherine Berrut, Jean-Pierre Chevallet, and Gabriella Pasi. "Modeling Information Retrieval by Formal Logic." ACM Computing Surveys 52, no. 1 (2019): 1–37. http://dx.doi.org/10.1145/3291043.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Kimbrough, Steven Orla, and Yao-Hua Tan. "FMEC: Formal Modeling for Electronic Commerce." Decision Support Systems 33, no. 3 (2002): 221–23. http://dx.doi.org/10.1016/s0167-9236(02)00012-x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Lygeros, J. "A formal approach to fuzzy modeling." IEEE Transactions on Fuzzy Systems 5, no. 3 (1997): 317–27. http://dx.doi.org/10.1109/91.618270.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Kaufmann, Tobias, and Beat Pfister. "Syntactic language modeling with formal grammars." Speech Communication 54, no. 6 (2012): 715–31. http://dx.doi.org/10.1016/j.specom.2012.01.001.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Xia, Mo, Kueiming Lo, Shuangjia Shao, and Mian Sun. "Formal Modeling and Verification for MVB." Journal of Applied Mathematics 2013 (2013): 1–12. http://dx.doi.org/10.1155/2013/470139.

Full text

Abstract:

Multifunction Vehicle Bus (MVB) is a critical component in the Train Communication Network (TCN), which is widely used in most of the modern train techniques of the transportation system. How to ensure security of MVB has become an important issue. Traditional testing could not ensure the system correctness. The MVB system modeling and verification are concerned in this paper. Petri Net and model checking methods are used to verify the MVB system. A Hierarchy Colored Petri Net (HCPN) approach is presented to model and simulate the Master Transfer protocol of MVB. Synchronous and asynchronous m

APA, Harvard, Vancouver, ISO, and other styles

11

Windley, P. J. "Formal modeling and verification of microprocessors." IEEE Transactions on Computers 44, no. 1 (1995): 54–72. http://dx.doi.org/10.1109/12.368009.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

ODA, Tomohiro, Keijiro ARAKI, and Peter GORM LARSEN. "A Formal Modeling Tool for Exploratory Modeling in Software Development." IEICE Transactions on Information and Systems E100.D, no. 6 (2017): 1210–17. http://dx.doi.org/10.1587/transinf.2016fop0003.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Hafdi, Kaoutar, Abdelaziz Kriouile, and Abderahman Kriouile. "Formal Modeling and Validation of ReDy Architecture Intended for IoT Applications." International Journal of Innovative Research in Computer Science & Technology 5, no. 4 (2017): 339–49. http://dx.doi.org/10.21276/ijircst.2017.5.4.8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Kirwan, Ryan, Alice Miller, Bernd Porr, and P. Di Prodi. "Formal Modeling of Robot Behavior with Learning." Neural Computation 25, no. 11 (2013): 2976–3019. http://dx.doi.org/10.1162/neco_a_00493.

Full text

Abstract:

We present formal specification and verification of a robot moving in a complex network, using temporal sequence learning to avoid obstacles. Our aim is to demonstrate the benefit of using a formal approach to analyze such a system as a complementary approach to simulation. We first describe a classical closed-loop simulation of the system and compare this approach to one in which the system is analyzed using formal verification. We show that the formal verification has some advantages over classical simulation and finds deficiencies our classical simulation did not identify. Specifically we p

APA, Harvard, Vancouver, ISO, and other styles

15

Makadok, Richard, Andrew Boysen, Arkadiy V. Sakhartov, Phebo Derk Wibbens, and Brian Wu. "Formal Modeling in the Resource Based View." Academy of Management Proceedings 2020, no. 1 (2020): 10286. http://dx.doi.org/10.5465/ambpp.2020.10286symposium.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Khadija Javed. "Formal Modeling of Security Concerns in Android." Lahore Garrison University Research Journal of Computer Science and Information Technology 4, no. 1 (2020): 33–37. http://dx.doi.org/10.54692/lgurjcsit.2020.0401142.

Full text

Abstract:

The need of providing a secure environment to the users of technology is necessary to keep it going. Android devices are used by most of the population worldwide, to keep it working and developing it should be secure for the users. Applications are installed on the device by the user for specific purposes. Different applications interact with each other to perform some specific functions e.g. an application that doesn't have its built-in Calendar functionality asks for the permission to access it externally from another application/s installed on the device and this inter-application communica

APA, Harvard, Vancouver, ISO, and other styles

17

Atsa Etoundi, Roger, Marcel Fouda Ndjodo, and Ghislain Abessolo Aloo. "A Formal Framework for Business Process Modeling." International Journal of Computer Applications 13, no. 6 (2011): 27–32. http://dx.doi.org/10.5120/1784-2462.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Lieberherr, K. J., and C. Xiao. "Formal foundations for object-oriented data modeling." IEEE Transactions on Knowledge and Data Engineering 5, no. 3 (1993): 462–78. http://dx.doi.org/10.1109/69.224198.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Zhou, Jiantao. "Formal Verification Techniques in Workflow Process Modeling." Journal of Computer Research and Development 42, no. 1 (2005): 1. http://dx.doi.org/10.1360/crad20050101.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Khakpour, Narges, Saeed Jalili, Carolyn Talcott, Marjan Sirjani, and MohammadReza Mousavi. "Formal modeling of evolving self-adaptive systems." Science of Computer Programming 78, no. 1 (2012): 3–26. http://dx.doi.org/10.1016/j.scico.2011.09.004.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Drengstig, T. "A formal graphical based process modeling methodology." Computers & Chemical Engineering 21, no. 1-2 (1997): S835—S840. http://dx.doi.org/10.1016/s0098-1354(97)00153-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Drengstig, Tormod, Stein O. Wasbø, and Bjarne A. Foss. "A formal graphical based process modeling methodology." Computers & Chemical Engineering 21 (May 1997): S835—S840. http://dx.doi.org/10.1016/s0098-1354(97)87606-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Stephenson, Peter. "Using formal modeling to untangle security incidents." Computer Fraud & Security 2004, no. 7 (2004): 16–20. http://dx.doi.org/10.1016/s1361-3723(04)00091-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Valente de Oliveira, José, and Fernando Gomide. "Formal Methods for Fuzzy Modeling and Control." Fuzzy Sets and Systems 121, no. 1 (2001): 1–2. http://dx.doi.org/10.1016/s0165-0114(99)00167-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Luchins, Abraham S., and Edith H. Luchins. "Gestalt theory, formal models and mathematical modeling." Behavioral and Brain Sciences 16, no. 2 (1993): 355–56. http://dx.doi.org/10.1017/s0140525x0003051x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

France, R., A. Evans, K. Lano, and B. Rumpe. "The UML as a formal modeling notation." Computer Standards & Interfaces 19, no. 7 (1998): 325–34. http://dx.doi.org/10.1016/s0920-5489(98)00020-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Belala, Faiza, and Ramdane Maamri. "Formal modeling and analysis of complex software." Journal of King Saud University - Computer and Information Sciences 32, no. 4 (2020): 385–86. http://dx.doi.org/10.1016/j.jksuci.2020.04.021.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Chen, Chunqing, Jun Sun, Yang Liu, Jin Song Dong, and Manchun Zheng. "Formal modeling and validation of Stateflow diagrams." International Journal on Software Tools for Technology Transfer 14, no. 6 (2012): 653–71. http://dx.doi.org/10.1007/s10009-012-0235-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Wang, Rui, Yong Guan, Luo Liming, Xiaojuan Li, and Jie Zhang. "Component-Based Formal Modeling of PLC Systems." Journal of Applied Mathematics 2013 (2013): 1–9. http://dx.doi.org/10.1155/2013/721624.

Full text

Abstract:

Functional validation is an important task in complex embedded system. The formal modeling of PLC system for verification is a rough task. Good verification model should be faithful and concise. At one hand, the model must be consistent with the system at the other hand, the model must have suitable scale because of the state explosion problem of verification. This paper proposes a systemic method for the construction of verification model. PLC system architecture and PLC features are modeled as components. This is universal for all PLC applications. We give an automatic translation method for

APA, Harvard, Vancouver, ISO, and other styles

30

Wang, Shuaiqiang, Jun Ma, Qiang He, and Jiancheng Wan. "Formal behavior modeling and effective automatic refinement." Information Sciences 180, no. 20 (2010): 3894–913. http://dx.doi.org/10.1016/j.ins.2010.06.024.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Parente, Guido, Christopher D. Nugent, Xin Hong, Mark P. Donnelly, Liming Chen, and Enrico Vicario. "Formal Modeling Techniques for Ambient Assisted Living." Ageing International 36, no. 2 (2010): 192–216. http://dx.doi.org/10.1007/s12126-010-9086-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Hong, Sa Neung, and Michael V. Mannino. "Formal semantics of the unified modeling language." Decision Support Systems 13, no. 3-4 (1995): 263–93. http://dx.doi.org/10.1016/0167-9236(93)e0046-g.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Madni, Azad M., Michael Sievers, Edwin Ordoukhanian, Ayesha Madni, and Parisa Pouya. "Extending Formal Modeling for Resilient Systems Design." INCOSE International Symposium 28, no. 1 (2018): 1138–52. http://dx.doi.org/10.1002/j.2334-5837.2018.00539.x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Corno, Fulvio, and Muhammad Sanaullah. "Modeling and formal verification of smart environments." Security and Communication Networks 7, no. 10 (2013): 1582–98. http://dx.doi.org/10.1002/sec.794.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Madni, Azad M., Michael Sievers, Ayesha Madni, Edwin Ordoukhanian, and Parisa Pouya. "Extending Formal Modeling for Resilient Systems Design." INSIGHT 21, no. 3 (2018): 34–41. http://dx.doi.org/10.1002/inst.12210.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Ray, Arnab, and Rance Cleaveland. "Formal Modeling Of Middleware-based Distributed Systems." Electronic Notes in Theoretical Computer Science 108 (December 2004): 21–37. http://dx.doi.org/10.1016/j.entcs.2004.01.010.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Madni, Azad M., Michael Sievers, Ayesha Madni, Edwin Ordoukhanian, and Parisa Pouya. "Extending Formal Modeling for Resilient Systems Design." INSIGHT 28, no. 1 (2025): 39–46. https://doi.org/10.1002/inst.12525.

Full text

Abstract:

ABSTRACTResilience is a much‐needed characteristic in systems that are expected to operate in uncertain environments for extended periods with a high likelihood of disruptive events. Resilience approaches today employ ad hoc methods and piece‐meal solutions that are difficult to verify and test, and do not scale. Furthermore, it is difficult to assess the long‐term impact of such ad hoc “resilience solutions.” This paper presents a flexible contract‐based approach that employs a combination of formal methods for verification and testing and flexible assertions and probabilistic modelling to ha

APA, Harvard, Vancouver, ISO, and other styles

38

Tomiyama, Tetsuo, Thom J. van Beek, Andrés Alberto Alvarez Cabrera, Hitoshi Komoto, and Valentina D'Amelio. "Making function modeling practically usable." Artificial Intelligence for Engineering Design, Analysis and Manufacturing 27, no. 3 (2013): 301–9. http://dx.doi.org/10.1017/s0890060413000309.

Full text

Abstract:

AbstractFunction modeling is considered potentially useful in various fields of engineering, including engineering design. However, a close look at practices reveals that practitioners do not use formal function modeling so much, while the concept of “function” frequently appears in many practical methods without a vigorous definition. This paper tries to understand why formal function modeling is not practically utilized in industry by analyzing usage cases of function. By observing product development activities in industry, the paper identifies three problems that prevent formal function mo

APA, Harvard, Vancouver, ISO, and other styles

39

Csaszar, Felipe A. "Certum Quod Factum: How Formal Models Contribute to the Theoretical and Empirical Robustness of Organization Theory." Journal of Management 46, no. 7 (2019): 1289–301. http://dx.doi.org/10.1177/0149206319889129.

Full text

Abstract:

The aim of this commentary is to show how the use of formal models—both closed form and computational—can improve theory development and theory testing in organization theory. I also provide practical suggestions (aimed at PhD students and researchers considering developing a formal model) for dealing with challenges in developing and writing a formal modeling paper. By uncovering how formal models contribute to organization theory and presenting the constraints that formal modeling papers are subject to, this commentary can also help consumers of modeling papers to extract more value from thi

APA, Harvard, Vancouver, ISO, and other styles

40

Liu, Xiao Jian, Zhi Xue Wang, Xu Qin Yan, Yang Li, and Jian Xin Li. "Formal Modeling of Automotive Software Requirements by Correctness." Applied Mechanics and Materials 40-41 (November 2010): 961–67. http://dx.doi.org/10.4028/www.scientific.net/amm.40-41.961.

Full text

Abstract:

Correctly modeling software requirements is one of the grand challenges of current ECU (Electronic control Unit) development. To ensure the correctness of the requirements, formal modeling techniques are usually used because they allow analyzers to simulate, verify and even conduct performance analysis in the requirement level. In this paper, we propose a requirements modeling framework, based on the philosophy of separation of concerns and the formal modeling techniques. The main contributions of this paper are two-fold: (1) We divide a complicated automotive software as several concerns, eac

APA, Harvard, Vancouver, ISO, and other styles

41

Molnár, Bálint, and András Benczúr. "Facet of Modeling Web Information Systems from a Document-Centric View." International Journal of Web Portals 5, no. 4 (2013): 57–70. http://dx.doi.org/10.4018/ijwp.2013100105.

Full text

Abstract:

The modeling of Information Systems in general, and Web Information Systems (WIS) especially, is a permanent issue so that there have been already several attempts and proposals for representing various facets of WIS. In our proposed approach, we focus on the organizational and business activity modeling and we concentrate on documents that represent the information of enterprises in the form of unstructured and semi-structured documents. The compilation of documents mirrors implicitly or explicitly the structure of enterprises, the interrelationship of business processes, and activities and t

APA, Harvard, Vancouver, ISO, and other styles

42

Letychevskyi, O. O., V. S. Peschanenko, M. Yu Poltorackiy, Yu H. Tarasich, and M. O. Vinnyk. "Formal semantics and analysis of tokenomics properties." PROBLEMS IN PROGRAMMING, no. 3-4 (December 2022): 128–38. http://dx.doi.org/10.15407/pp2022.03-04.128.

Full text

Abstract:

Today we are witnessing the rapid development of products and services based on blockchain technology. Cryptocurrencies and tokens are becoming an integral part of a person’s daily life. One of the main and, at the same time, the most difficult task for each project is the creation of a self-governing token economy. The violation of properties, such as equilibrium and decentralization, can result in the failure of a project and financial losses. Using the math and formal methods is a simple and efficient way to create self-sustainable token economies right at the stage of MVP development. Desp

APA, Harvard, Vancouver, ISO, and other styles

43

TRIPAKIS, STAVROS, CHRISTOS STERGIOU, CHRIS SHAVER, and EDWARD A. LEE. "A modular formal semantics for Ptolemy." Mathematical Structures in Computer Science 23, no. 4 (2013): 834–81. http://dx.doi.org/10.1017/s0960129512000278.

Full text

Abstract:

Ptolemy‡ is an open-source and extensible modelling and simulation framework. It offers heterogeneous modeling capabilities by allowing different models of computation, both untimed and timed, to be composed hierarchically in an arbitrary fashion. This paper proposes a formal semantics for Ptolemy that is modular in the sense that atomic actors and their compositions are treated in a unified way. In particular, all actors conform to an executable interface that contains four functions: fire (produce outputs given current state and inputs); postfire (update state instantaneously); deadline (how

APA, Harvard, Vancouver, ISO, and other styles

44

Ilman, O. V., and V. M. Ilman. "FORMALLY STRUCTURAL MODELING OF ECONOMIC SYSTEMS." Science and Transport Progress, no. 10 (March 25, 2006): 173–77. http://dx.doi.org/10.15802/stp2006/19716.

Full text

Abstract:

For modelling economic systems, it has been proposed to use a model of formal structure systems, which has the property of formal system, algebra and structure (composition). An example of the modelling of a bookkeeping system has been considered.

APA, Harvard, Vancouver, ISO, and other styles

45

Backeman, Peter, Ashalatha Kunnappilly, and Cristina Seceleanu. "Supporting 5G service orchestration with formal verification." Computer Science and Information Systems, no. 00 (2022): 59. http://dx.doi.org/10.2298/csis211001059b.

Full text

Abstract:

The 5G communication technology has the ability to create logical net works, called network slices, which are specifically carved to serve particular application domains. Due to the mix of different application criticality, it becomes crucial to verify if the applications? service level agreements are met. In this pa per, we propose a novel framework for modeling and verifying 5G orchestration, considering simultaneous access and admission of new requests to slices as well as virtual network function scheduling and routing. By combining modeling in user friendly UML, with UPPAAL model checking

APA, Harvard, Vancouver, ISO, and other styles

46

Scherer, Sabrina, Maria A. Wimmer, and Suvad Markisic. "Bridging narrative scenario texts and formal policy modeling through conceptual policy modeling." Artificial Intelligence and Law 21, no. 4 (2013): 455–84. http://dx.doi.org/10.1007/s10506-013-9142-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

XIONG, Jinbo, Zhiqiang YAO, and Biao JIN. "Formal modeling for structured document in cloud computing." Journal of Computer Applications 33, no. 5 (2013): 1267–70. http://dx.doi.org/10.3724/sp.j.1087.2013.01267.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Fu, Yujian, Zhijiang Dong, and Xudong He. "Formal Modeling and Analysis of Collaborative Humanoid Robotics." International Journal of Robotics Applications and Technologies 6, no. 1 (2018): 34–54. http://dx.doi.org/10.4018/ijrat.2018010103.

Full text

Abstract:

A humanoid robot is inherently complex due to the heterogeneity of accessory devices and to the interactions of various interfaces, which will be exponentially increased in multiple robotics collaboration. Therefore, the design and implementation of multiple humanoid robotics (MHRs) remains a very challenging issue. It is known that formal methods provide a rigorous analysis of the complexity in both design of control and implementation of systems. This article presents an agent-based framework of formal modeling on the design of communication and control strategies of a team of autonomous rob

APA, Harvard, Vancouver, ISO, and other styles

49

Molnár, Bálint, András Benczúr, and András Béleczki. "Formal approach to modeling of modern information systems." International Journal of Information Systems and Project Management 4, no. 4 (2022): 69–89. http://dx.doi.org/10.12821/ijispm040404.

Full text

Abstract:

Most recently, the concept of business documents has started to play double role. On one hand, a business document (word processing text or calculation sheet) can be used as specification tool, on the other hand the business document is an immanent constituent of business processes, thereby essential component of business information systems. The recent tendency is that the majority of documents and their contents within business information systems remain in semi-structured format and a lesser part of documents is transformed into schemas of structured databases. In order to keep the emerging

APA, Harvard, Vancouver, ISO, and other styles

50

Zhang, Gaofeng, Yan Li, Chong Chen, Rui Zhou, Dan Chen, and Qingguo Zhou. "A Formal Framework for Integrated Environment Modeling Systems." ISPRS International Journal of Geo-Information 6, no. 2 (2017): 47. http://dx.doi.org/10.3390/ijgi6020047.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!