default search action
14th MEMOCODE 2016: Kanpur, India
- 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016. IEEE 2016, ISBN 978-1-5090-2791-0
- André Platzer:
Keynote talk I: How to prove hybrid systems. 1 - Antonio Anastasio Bruto da Costa
, Pallab Dasgupta, Goran Frehse
Formal feature analysis of hybrid automata. 2-11 - Amit Gurung
Parallel reachability analysis for hybrid systems. 12-22 - Xian Li, Klaus Schneider
Control-flow guided property directed reachability for imperative synchronous programs. 23-33 - Oliver Marx, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz:
A computer-algebraic approach to formal verification of data-centric low-level software. 34-42 - Tripti Jain, Klaus Schneider
Verifying the concentration property of permutation networks by BDDs. 43-53 - Zhiqiang Ren, Hongwei Xi:
Combining type-checking with model-checking for system verification. 54-58 - Amir Yaghoubi Shahir, Uwe Glässer, Hamed Yaghoubi Shahir, Mohammad A. Tayebi, Hans Wehn:
Formal engineering frameworks in maritime domain awareness. 59-64 - Nils Przigoda
Frame conditions in symbolic representations of UML/OCL models. 65-70 - Bernhard K. Aichernig
Towards integrating statistical model checking into property-based testing. 71-76 - Robert de Simone:
Keynote talk II: Multiform logical time for Me/Mo-codesign. 77 - Judith Peters, Nils Przigoda
Clocks vs. instants relations: Verifying CCSL time constraints in UML/MARTE models. 78-84 - Patricia Derler
Specification of precise timing in synchronous dataflow models. 85-94 - Farhaan Fowze, Tuba Yavuz:
Specification, verification, and synthesis using extended state machines with callbacks. 95-104 - Jalil Boudjadar, Jin Hyun Kim, Simin Nadjm-Tehrani:
Performance-aware scheduling of multicore time-critical systems. 105-114 - Prakhar Banga, Atul Pai, Subhajit Roy, Mainak Chaudhuri:
Accelerating schedule space exploration of multi-threaded programs with GPUs. 115-124 - Peter A. Milder:
MEMOCODE 2016 design contest: K-means clustering. 125-127 - Sriram K. Rajamani:
Keynote talk III: Trusted cloud: How to make the cloud more secure. 132 - Stefan Kugele, Diego Marmsoler, Núria Mata, Kai Werther:
Verification of component architectures using mode-based contracts. 133-142 - Anoop Bhagyanath, Klaus Schneider
Optimal compilation for exposed datapath architectures with buffered processing units by SAT solvers. 143-152 - Emilien Kofman, Robert de Simone:
A formal approach to the mapping of tasks on an heterogenous multicore, energy-aware architecture. 153-162 - Ashish Mishra
Asynchrony-aware static analysis of Android applications. 163-172 - Fabio Cremona, Marten Lohstroh
Step revision in hybrid Co-simulation with FMI. 173-183 - Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos
An efficient algorithm for monitoring practical TPTL specifications. 184-193 - Manaar Alam
SmashClean: A hardware level mitigation to stack smashing attacks in OpenRISC. 1-4
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-07-17 01:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: