„Formal Methods“

Suchergebnisse

1.421 Treffer

• The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062)
  Méry, Dominique ; Schätz, Bernhard ; Wassyng, Alan
• Tree Transducers and Formal Methods (Dagstuhl Seminar 13192)
  Maneth, Sebastian ; Seidl, Helmut
• Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482)
  Kreiker, Jörg ; Tarlecki, Andrzej ; Vardi, Moshe Y. ; Wilhelm, Reinhard
• Software Certification: Methods and Tools (Dagstuhl Seminar 13051)
  Cofer, Darren ; Hatcliff, John ; Huhn, Michaela ; Lawford, Mark
• Analysis of Security APIs (Dagstuhl Seminar 12482)
  Bond, Mike ; Focardi, Riccardo ; Fröschle, Sibylle ; Steel, Graham
• Quantitative Security Analysis (Dagstuhl Seminar 12481)
  Köpf, Boris ; Malacaria, Paquale ; Palamidessi, Catuscia
• AI meets Formal Software Development (Dagstuhl Seminar 12271)
  Bundy, Alan ; Hutter, Dieter ; Jones, Cliff B. ; Moore, J. Strother
• Historical social research – the official journal of QUANTUM and INTERQUANT ; HSR ; an international journal for the application of formal methods to history = Historische Sozialforschung
  1979 GESIS, Leibniz Institute for the Social Sciences
• Shaping Formal Methods: Syntax, Typology and Computation
  Dounas, Theodoros ; Lombardi, Davide
• Treatment of Phenol, Formaldehyde and their Mixtures by Photocatalytic and Biological Methods
  Araña, J. ; Melián, J. A. Herrera ; Ortega, J. A. ; Sánchez, J. I. Macías ; Peña, J. Pérez
• Divergent Synthesis of 2‐Quinolinones and Indolin‐3‐ones via Mo‐Catalyzed Controllable Carbonyl Deoxygenative Coupling and Formal Deoxygenative N—H Insertion Reactions
  Yao, Jia‐Sheng ; Su, Xiaoxi ; Yu, Yi‐Zhe ; Wu, Jiang‐Bin ; Qu, Shuanglin ; Zhuo, Chun‐Xiang
• Evolutionary stability of bargaining and price posting: implications for formal and informal activities
  Anbarcı, Nejat ; Gomis-Porqueras, Pedro ; Pivato, Marcus
• Trusted Computing and Information Security – 11th Chinese Conference, CTCIS 2017, Changsha, China, September 14-17, 2017, Proceedings
  Xu, Ming ; Qin, Zheng ; Yan, Fei ; Fu, Shaojing 2017 Springer Singapore
• Formalization of information: knowledge and belief
  Lee, Jong Jae
• “I haven’t seen any results yet”: on ethical collaborative research in linguistics and the need for a standard protocol
  Schifano, Norma ; Allen, Patrick ; Nellan, Pascalina ; Garcés, Tomás Restrepo ; Kasstan, Jonathan R.
• Formal Methods for Mining Structured Objects
  Garriga, Gemma C. 2013 Springer Berlin
• SFB/TR 14 AVACS – Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS – Automatische Verifikation und Analyse komplexer Systeme)
  Becker, Bernd ; Podelski, Andreas ; Damm, Werner ; Fränzle, Martin ; Olderog, Ernst-Rüdiger ; Wilhelm, Reinhard
• Einsatz formaler Methoden zur Evaluierung der Gebrauchsfähigkeit interaktiver Geräte (Utilization of Formal Methods for the Usability Evaluation of Interactive Devices)
  Hamacher, Nico ; Kraiss, Karl-Friedrich ; Marrenbach, Jörg
• Formale Methoden in der Softwareentwicklung am Beispiel EDV-Sicherheit – Formal Methods in Software Development applied to ADP-Security
  Hohlfeld, Bernhard
• Exploitation as code reuse: On the need of formalization
  Bratus, Sergey ; Shubina, Anna