標(biāo)題: Titlebook: Dependable Software Engineering: Theories, Tools, and Applications; First International Xuandong Li,Zhiming Liu,Wang Yi Conference proceed [打印本頁] 作者: 風(fēng)俗習(xí)慣 時(shí)間: 2025-3-21 16:53
書目名稱Dependable Software Engineering: Theories, Tools, and Applications影響因子(影響力)
書目名稱Dependable Software Engineering: Theories, Tools, and Applications影響因子(影響力)學(xué)科排名
書目名稱Dependable Software Engineering: Theories, Tools, and Applications網(wǎng)絡(luò)公開度
書目名稱Dependable Software Engineering: Theories, Tools, and Applications網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Dependable Software Engineering: Theories, Tools, and Applications被引頻次
書目名稱Dependable Software Engineering: Theories, Tools, and Applications被引頻次學(xué)科排名
書目名稱Dependable Software Engineering: Theories, Tools, and Applications年度引用
書目名稱Dependable Software Engineering: Theories, Tools, and Applications年度引用學(xué)科排名
書目名稱Dependable Software Engineering: Theories, Tools, and Applications讀者反饋
書目名稱Dependable Software Engineering: Theories, Tools, and Applications讀者反饋學(xué)科排名
作者: 陰郁 時(shí)間: 2025-3-21 20:52 作者: 向下五度才偏 時(shí)間: 2025-3-22 03:57
Fahrwiderst?nde, Leistungsbedarfan attacker model poses to the abstractions of ML programs that reside within a protected memory space. The proof proceeds by relating bisimulations over the assembly language attacker and the high-level attacker.作者: expound 時(shí)間: 2025-3-22 05:13
Manfred Mitschke,Henning Wallentowitz framework. Our approach establishes a link between safety requirements, Event-B models and corresponding fragments of a safety case. The supporting automated tool ensures traceability between requirements, models and safety cases.作者: 河流 時(shí)間: 2025-3-22 09:30
Manfred Mitschke,Henning Wallentowitzimate solutions to make the processes faster. Our experimental results show that our methods can deal with large scale models within reasonable execution time, and perform better than the existing methods.作者: yohimbine 時(shí)間: 2025-3-22 15:33 作者: yohimbine 時(shí)間: 2025-3-22 19:08
A High-Level Model for an Assembly Language Attacker by Means of Reflectionan attacker model poses to the abstractions of ML programs that reside within a protected memory space. The proof proceeds by relating bisimulations over the assembly language attacker and the high-level attacker.作者: PAEAN 時(shí)間: 2025-3-22 23:49 作者: Militia 時(shí)間: 2025-3-23 01:58
Pareto Optimal Scheduling of Synchronous Data Flow Graphs via Parallel Methodsimate solutions to make the processes faster. Our experimental results show that our methods can deal with large scale models within reasonable execution time, and perform better than the existing methods.作者: Desert 時(shí)間: 2025-3-23 08:50 作者: Odyssey 時(shí)間: 2025-3-23 12:27
Dynamical Entropy and?Informatione automation of inversion tactics in the theorem prover. The paper presents the proof of the ARM architecture version 6 Instruction Set Simulator of the SimSoC open source simulator, with all of the proofs being verified by the Coq proof assistant, using automated tactics to reduce manual proof development.作者: AV-node 時(shí)間: 2025-3-23 14:05 作者: MIR 時(shí)間: 2025-3-23 19:45
Manfred Mitschke,Henning Wallentowitz diagramming the composition of subsystems, and an automatic technique for suggesting good decompositions. A key to our approach is that individual relations, not classes, are the atomic design units. We illustrate the approach with examples and demonstrate its effectiveness on a commercial system.作者: VEN 時(shí)間: 2025-3-24 02:14 作者: Diverticulitis 時(shí)間: 2025-3-24 02:43 作者: Palatial 時(shí)間: 2025-3-24 08:38 作者: Palpable 時(shí)間: 2025-3-24 10:42
Improving Design Decomposition diagramming the composition of subsystems, and an automatic technique for suggesting good decompositions. A key to our approach is that individual relations, not classes, are the atomic design units. We illustrate the approach with examples and demonstrate its effectiveness on a commercial system.作者: 倔強(qiáng)一點(diǎn) 時(shí)間: 2025-3-24 15:23
0302-9743 Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015...The 20 full papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.The papers are organized on topical sections on probabilistic systems; hybrid an作者: thwart 時(shí)間: 2025-3-24 19:37 作者: Aids209 時(shí)間: 2025-3-25 02:35 作者: 松軟 時(shí)間: 2025-3-25 04:33
Conference proceedings 2015lected from 60 submissions.The papers are organized on topical sections on probabilistic systems; hybrid and cyber-physical systems; testing, simulation and inference; bisimulation and correctness; design and implementation; symbolic execution and invariants; and verification and case studies..作者: 人類 時(shí)間: 2025-3-25 09:41 作者: 蜿蜒而流 時(shí)間: 2025-3-25 13:07
Dynamical Entropy and Informationntroller. Thereby, we contrast the setting of interleaving semantics and synchronous concurrent semantics. We also consider the possibility of exchanging knowledge between neighboring cars in order to come up with the right decisions.作者: 陪審團(tuán)每個(gè)人 時(shí)間: 2025-3-25 18:33
Fahrleistungen und Kraftstoffverbrauchore, . and another standard PITL projection operator are interdefinable and both suitable for reasoning about different time granularities. We mention other (mostly interval-based) temporal logics with similar forms of projection, as well as some related applications and international standards.作者: 和藹 時(shí)間: 2025-3-25 19:59
A Comparative Study of BDD Packages for?Probabilistic Symbolic Model Checkingmental results for several well-known probabilistic benchmarks and study the effect of several optimisations. Our experiments show that no BDD package dominates on a single core, but that parallelisation yields significant speedups.作者: PON 時(shí)間: 2025-3-26 01:01
Synthesizing Controllers for Multi-lane Traffic Maneuversntroller. Thereby, we contrast the setting of interleaving semantics and synchronous concurrent semantics. We also consider the possibility of exchanging knowledge between neighboring cars in order to come up with the right decisions.作者: tendinitis 時(shí)間: 2025-3-26 05:25 作者: Monolithic 時(shí)間: 2025-3-26 12:01
0302-9743 d cyber-physical systems; testing, simulation and inference; bisimulation and correctness; design and implementation; symbolic execution and invariants; and verification and case studies..978-3-319-25941-3978-3-319-25942-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 別名 時(shí)間: 2025-3-26 14:39 作者: Anthem 時(shí)間: 2025-3-26 20:34 作者: 令人作嘔 時(shí)間: 2025-3-26 23:45 作者: CORE 時(shí)間: 2025-3-27 01:42
Synthesizing Controllers for Multi-lane Traffic Maneuversat the control of safe (collision free) lane change maneuvers in multi-lane traffic on highways can be described by finite state machines extended with continuous variables coming from the environment. We use standard theory for controller synthesis to derive the dynamic behavior of a lane-change co作者: Aqueous-Humor 時(shí)間: 2025-3-27 08:12
Extending Hybrid CSP with Probability and Stochasticity of fundamental properties of nature, uncertain environments, or simplifications to overcome complexity. Tightly intertwining discrete, continuous and stochastic dynamics complicates modelling, analysis and verification of stochastic hybrid systems (SHSs). In the literature, this issue has been exte作者: Cleave 時(shí)間: 2025-3-27 11:21
Towards Verified Faithful Simulationrget architecture can be proven to provide the same results as the real hardware, and the proof is verified with a theorem prover. The method consists in proving each instruction of the instruction set independently, by proving that the execution of the C code simulating an instruction yields an ide作者: Cursory 時(shí)間: 2025-3-27 14:02 作者: MAPLE 時(shí)間: 2025-3-27 19:35
Inferring Software Behavioral Models with MapReduceplying machine learning to execution logs. However, the logs generated by a real software system may be very large and the inference algorithm can exceed the capacity of a single computer..This paper focuses on inference of . and explores to use of MapReduce to deal with large logs. The approach con作者: 含沙射影 時(shí)間: 2025-3-28 00:18 作者: Abbreviate 時(shí)間: 2025-3-28 04:15
A High-Level Model for an Assembly Language Attacker by Means of Reflectionecurity of these compilation and interoperation mechanisms often makes use of high-level attacker models to simplify formalisations. In practice, however, the validity of such high-level attacker models is frequently called into question. In this paper we formally prove that a light-weight ML equipp作者: FISC 時(shí)間: 2025-3-28 09:30 作者: 溫和女孩 時(shí)間: 2025-3-28 11:56
From Requirements Engineering to Safety Assurance: Refinement Approachent about system safety. In particular, this argument can facilitate construction of a safety case – a structured safety assurance document required for certification of safety-critical systems. However, currently there is no adequate support for using the artefacts created during formal modelling i作者: 按時(shí)間順序 時(shí)間: 2025-3-28 18:25 作者: EVICT 時(shí)間: 2025-3-28 19:34
Dependable Software Engineering: Theories, Tools, and Applications978-3-319-25942-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: prosperity 時(shí)間: 2025-3-29 00:52
https://doi.org/10.1007/978-3-319-25942-0cyber-physical systems; formal language definitions; formal methods; hybrid systems; modal logics; model 作者: Coronation 時(shí)間: 2025-3-29 04:35
978-3-319-25941-3Springer International Publishing Switzerland 2015作者: 悶熱 時(shí)間: 2025-3-29 10:58 作者: Fabric 時(shí)間: 2025-3-29 13:39 作者: bromide 時(shí)間: 2025-3-29 15:40 作者: medium 時(shí)間: 2025-3-29 21:53
Dynamical Entropy and Informationat the control of safe (collision free) lane change maneuvers in multi-lane traffic on highways can be described by finite state machines extended with continuous variables coming from the environment. We use standard theory for controller synthesis to derive the dynamic behavior of a lane-change co作者: ITCH 時(shí)間: 2025-3-30 01:11
Quantum Algorithmic Complexities of fundamental properties of nature, uncertain environments, or simplifications to overcome complexity. Tightly intertwining discrete, continuous and stochastic dynamics complicates modelling, analysis and verification of stochastic hybrid systems (SHSs). In the literature, this issue has been exte作者: ALE 時(shí)間: 2025-3-30 04:25 作者: 不能平靜 時(shí)間: 2025-3-30 08:21 作者: headlong 時(shí)間: 2025-3-30 12:49
Kraftfahrzeug, Unebenheits-Einpunktanregungplying machine learning to execution logs. However, the logs generated by a real software system may be very large and the inference algorithm can exceed the capacity of a single computer..This paper focuses on inference of . and explores to use of MapReduce to deal with large logs. The approach con
