The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ICFEM"( http://dblp.L3S.de/Venues/ICFEM )

URL (DBLP): http://dblp.uni-trier.de/db/conf/icfem

Publication years (Num. hits)
1997 (33) 1998 (23) 2000 (23) 2002 (63) 2003 (38) 2004 (40) 2005 (34) 2006 (42) 2007 (22) 2008 (24) 2009 (39) 2010 (46) 2011 (44) 2012 (35) 2013 (30) 2014 (30) 2015 (28) 2016 (30) 2017 (30) 2018 (38)
Publication types (Num. hits)
inproceedings(672) proceedings(20)
Venues (Conferences, Journals, ...)
ICFEM(692)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 302 occurrences of 198 keywords

Results
Found 692 publication records. Showing 692 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Xi Wu 0005, Yi Lu, Patrick A. Meiring, Ian J. Hayes, Larissa A. Meinicke Type Capabilities for Object-Oriented Programming Languages. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Teck Ping Khoo Model Based Testing of Cyber-Physical Systems. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Inna Vistbakka, Amin Majd, Elena Troubitsyna Deriving Mode Logic for Autonomous Resilient Systems. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jinyun Xue, Yujun Zheng, Qimin Hu, Zhen You, Wuping Xie, Zhuo Cheng PAR: A Practicable Formal Method and Its Supporting Platform. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Amanda Mahony Formalising Performance Guarantees in Meta-Reinforcement Learning. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Cunjing Ge, Jiwei Yan, Jun Yan, Jian Zhang Checking Activity Transition Systems with Back Transitions Against Assertions. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yuekang Li Principled Greybox Fuzzing. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Foster 0001, Ramsay G. Taylor, Achim D. Brucker, John Derrick Formalising Extended Finite State Machine Transition Merging. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hadrien Bride, Jie Dong, Jin Song Dong, Zhé Hóu Towards Dependable and Explainable Machine Learning Using Automated Reasoning. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Milad K. Ghale Engineering Software for Modular Formalisation and Verification of STV Algorithms. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Aaron Craig, Alex Potanin, Lindsay Groves, Jonathan Aldrich Capabilities: Effects for Free. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Guohui Wang, Yong Guan, Zhiping Shi, Qianying Zhang, Xiaojuan Li, Yongdong Li Formalization of Symplectic Geometry in HOL-Light. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Matthieu Martel Strongly Typed Numerical Computations. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vladimír Still, Jiri Barnat Model Checking of C++ Programs Under the x86-TSO Memory Model. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dileepa Fernando, Naipeng Dong, Cyrille Jégourel, Jin Song Dong Verification of Strong Nash-equilibrium for Probabilistic BAR Systems. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zhiwu Xu, Kerong Ren, Shengchao Qin, Florin Craciun CDGDroid: Android Malware Detection Based on Deep Learning Using CFG and DFG. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Naipeng Dong, Tim Muller The Foul Adversary: Formal Models. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Martin Oxenham Towards Trustworthy AI for Autonomous Systems. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yuan Fei, Huibiao Zhu Modeling and Verifying NDN Access Control Using CSP. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher 0001 The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler, Tomas Fischer, Rupert Schlick, Keming Wang Behaviour-Driven Formal Model Development. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kulani Mahadewa Security Analysis of Smart Home Implementations. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tsutomu Kobayashi, Fuyuki Ishikawa Analysis on Strategies of Superposition Refinement of Event-B Specifications. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Teck Ping Khoo, Jun Sun The Miles Before Formal Methods - A Case Study on Modeling and Analyzing a Passenger Lift System. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jing Sun 0002, Meng Sun 0002 (eds.) Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xiaoning Du Towards Building a Generic Vulnerability Detection Platform by Combining Scalable Attacking Surface Analysis and Directed Fuzzing. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nils Berg, Thomas Göthel, Armin Danziger, Sabine Glesner Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xiyue Zhang Modeling and Verification of Component Connectors. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ian J. Hayes Engineering a Theory of Concurrent Programming. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Diego Marmsoler A Framework for Interactive Verification of Architectural Design Patterns in Isabelle/HOL. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Timm Liebrenz, Paula Herber, Sabine Glesner Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Timm Liebrenz Service-Oriented Design and Verification of Hybrid Control Systems. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yi Li Developing Reliable Component-Based Software in Mediator. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kailong Wang Analyzing Security and Privacy in Design and Implementation of Web Authentication Protocols. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bernhard Beckert, Simon Bischof, Mihai Herda, Michael Kirsten, Marko Kleine Büning Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kan Jiang Combining Deep Learning and Probabilistic Model Checking in Sports Analytics. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wanling Xie, Huibiao Zhu, Shengchao Qin UTP Semantics for BigrTiMo. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dileepa Fernando Model Checking Nash-Equilibrium - Automatic Verification of Robustness in Distributed Systems. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jingyi Wang, Xiaohong Chen 0002, Jun Sun 0001, Shengchao Qin Improving Probability Estimation Through Active Probabilistic Model Learning. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zhengkui Zhang, Brian Nielsen, Kim Guldstrand Larsen, Gilles Nies, Marvin Stenger, Holger Hermanns Pareto Optimal Reachability Analysis for Simple Priced Timed Automata. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dongjing Miao, Zhipeng Cai Parameterized Complexity of Resilience Decision for Database Debugging. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wang Yi 0001 Towards Customizable CPS: Composability, Efficiency and Predictability. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yihai Chen, Bofang Zhang, Ridha Khédri, Huaikou Miao A Framework for Multi-view Reconciliation and for Medical Devices Personalization. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sylvain Conchon, David Declerck, Fatiha Zaïdi Compiling Parameterized X86-TSO Concurrent Programs to Cubicle- W. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Manuel Töws, Heike Wehrheim Policy Dependent and Independent Information Flow Analyses. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yuxin Deng, Min Zhang 0002, Guoqing Lei An Algebraic Approach to Automatic Reasoning for NetKAT Based on Its Operational Semantics. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zhao Duan, Cong Tian, Zhenhua Duan Verifying Temporal Properties of C Programs via Lazy Abstraction. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Patrick Doolan, Graeme Smith, Chenyi Zhang, Padmanabhan Krishnan Improving the Scalability of Automatic Linearizability Checking in SPIN. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fabian Benduhn, Thomas Thüm, Ina Schaefer, Gunter Saake Modularization of Refinement Steps for Agile Formal Methods. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zhiwu Xu, Cheng Wen, Shengchao Qin Learning Types for Binaries. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zhenhua Duan, Luke Ong (eds.) Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas Göthel, Nils Jähnig, Simon Seif Refinement-Based Modelling and Verification of Design Patterns for Self-adaptive Systems. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Adnan Rashid, Osman Hasan Formal Analysis of Linear Control Systems Using Theorem Proving. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Li Li 0044, Naipeng Dong, Jun Pang, Jun Sun 0001, Guangdong Bai, Yang Liu 0003, Jin Song Dong A Verification Framework for Stateful Security Protocols. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marie Farrell, Rosemary Monahan, James F. Power Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yuwei Wang, Yunqing Wen, Guoqiang Li 0001, Shoji Yuen Nested Timed Automata with Diagonal Constraints. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Si Liu 0003, Peter Csaba Ölveczky, Jatin Ganhotra, Indranil Gupta, José Meseguer Exploring Design Alternatives for RAMP Transactions Through Statistical Model Checking. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xuan Bach Le, Thanh-Toan Nguyen, Wei-Ngan Chin, Aquinas Hobor A Certified Decision Procedure for Tree Shares. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hao Jiang, Hongli Yang, Shengchao Qin, Zhendong Su, Jian Zhang 0001, Jun Yan 0009 Detecting Energy Bugs in Android Apps Using Static Analysis. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tingting Wu, Yunwei Dong, Tsong Yueh Chen, Mingyue Jiang, Man Fai Lau, Fei-Ching Kuo, Sebastian Ng Integration of Metamorphic Testing with Program Repair Methods Based on Adaptive Search Strategies and Program Equivalence. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Long H. Pham, Lyly Tran Thi, Jun Sun 0001 Assertion Generation Through Active Learning. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Juliana Küster Filipe Bowles, Marco B. Caminati A Flexible Approach for Finding Optimal Paths with Minimal Conflicts. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xiaohong Chen 0001, Ling Yin, Yijun Yu, Zhi Jin Transforming Timing Requirements into CCSL Constraints to Verify Cyber-Physical Systems. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yi Yin, Yuichiro Tateiwa, Yun Wang, Yoshiaki Katayama, Naohisa Takahashi Inconsistency Analysis of Time-Based Security Policy and Firewall Policy. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Taolue Chen, Fu Song, Zhilin Wu Model Checking Pushdown Epistemic Game Structures. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xin Li 0010, Mizuhito Ogawa A Sliding-Window Algorithm for On-The-Fly Interprocedural Program Analysis. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jiaying Li, Jun Sun 0001, Bo Gao, Étienne André Classification-Based Parameter Synthesis for Parametric Timed Automata. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yunhao Liu, Xiaohong Li, Zhiyong Feng, Jianye Hao An Improved Android Collusion Attack Detection Method Based on Program Slicing. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nuno Amálio, Richard John Payne, Ana Cavalcanti, Jim Woodcock Checking SysML Models for Co-simulation. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Guillaume Babin, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel A System Substitution Mechanism for Hybrid Systems in Event-B. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Peizun Liu, Thomas Wahl Concolic Unbounded-Thread Reachability via Loop Summaries. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Min Zhang 0002, Frédéric Mallet, Huibiao Zhu An SMT-Based Approach to the Formal Analysis of MARTE/CCSL. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dominic Scheurer, Reiner Hähnle, Richard Bubel A General Lattice Model for Merging Symbolic Execution Branches. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Richard Banach, Michael J. Butler Modelling Hybrid Systems in Event-B and Hybrid Event-B: A Comparison of Water Tanks. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Keijiro Araki, Taro Kurita Promotion of Formal Approaches in Japanese Software Industry and a Best Practice of FeliCa's Case (Extended Abstract). Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marco Rocchetto, Nils Ole Tippenhauer CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Étienne André, Didier Lime, Olivier H. Roux Decision Problems for Parametric Timed Automata. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Félix Ingrand, Anthony Mallet Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Manuel Töws, Heike Wehrheim A CEGAR Scheme for Information Flow Analysis. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nguyen Minh Hai, Quan Thanh Tho, Le Duc Anh Multi-threaded On-the-Fly Model Generation of Malware with Hash Compaction. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov, Paulius Stankaitis, Alexander B. Romanovsky Proving Event-B Models with Reusable Generic Lemmas. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Akira Tanaka, Reynald Affeldt, Jacques Garrigue Formal Verification of the rank Algorithm for Succinct Data Structures. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Manman Chen, Tian Huat Tan, Jun Sun 0001, Jingyi Wang, Yang Liu 0003, Jing Sun 0002, Jin Song Dong Service Adaptation with Probabilistic Partial Models. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Takaya Saeki, Fuyuki Ishikawa, Shinichi Honiden Automatic Generation of Potentially Pathological Instances for Validating Alloy Models. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Weikai Miao, Geguang Pu, Yinbo Yao, Ting Su, Danzhu Bao, Yang Liu 0003, Shuohao Chen, Kunpeng Xiong Automated Requirements Validation for ATP Software via Specification Review and Testing. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Waqar Ahmad, Osman Hasan Formal Availability Analysis Using Theorem Proving. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Valentin Cassano, Thomas Stephen Edward Maibaum, Silviya Grigorova A (Proto) Logical Basis for the Notion of a Structured Argument in a Safety Case. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Saurabh Gadia, Cyrille Artho, Gedare Bloom Verifying Nested Lock Priority Inheritance in RTEMS with Java Pathfinder. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Badr Siala, Mohamed Tahar Bhiri, Jean-Paul Bodeveix, Mamoun Filali An Event-B Development Process for the Distributed BIP Framework. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Francesco Marconi, Marcello M. Bersani, Madalina Erascu, Matteo Rossi Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ryo Yanase, Tatsunori Sakai, Makoto Sakai, Satoshi Yamane A Case Study of Formal Approach to Dynamically Reconfigurable Systems by Using Dynamic Linear Hybrid Automata. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Brijesh Dongol, Lindsay Groves Contextual Trace Refinement for Concurrent Objects: Safety and Progress. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Linas Laibinis, Elena Troubitsyna, Inna Pereverzeva, Ian Oliver, Silke Holtmanns A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Madiel S. Conserva Filho, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti Local Livelock Analysis of Component-Based Models. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Eduard Kamburjan, Crystal Chang Din, Tzu-Chun Chen Session-Based Compositional Analysis for Actor-Based Languages Using Futures. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shuanglong Kan, Zhiqiu Huang, Zhe Chen Partial Order Reduction for State/Event Systems. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kazuhiro Ogata 0001, Mark Lawford, Shaoying Liu (eds.) Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Truong Khanh Nguyen, Tian Huat Tan, Jun Sun 0001, Jiaying Li, Yang Liu 0003, Manman Chen, Jin Song Dong Scaling BDD-based Timed Verification with Simulation Reduction. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sidi Mohamed Beillahi, Umair Siddique, Sofiène Tahar Formal Analysis of Power Electronic Systems. Search on Bibsonomy ICFEM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Wouter Smeenk, Joshua Moerman, Frits W. Vaandrager, David N. Jansen Applying Automata Learning to Embedded Control Software. Search on Bibsonomy ICFEM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 692 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license