Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Michael Witterauf, Jürgen Teich |
Run-time Requirement Enforcement for Loop Programs on Processor Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2018, Beijing, China, October 15-18, 2018, pp. 22-32, 2018, IEEE, 978-1-5386-6195-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yu Bai |
Desynchronization: From Macro-step to Micro-step. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2018, Beijing, China, October 15-18, 2018, pp. 109-118, 2018, IEEE, 978-1-5386-6195-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Paul Bodeveix, Mamoun Filali-Amine, Shuanglong Kan |
A refinement-based compiler development for synchronous languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017, pp. 165-174, 2017, ACM, 978-1-4503-5093-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Resmerita, Andreas Naderlinger, Stefan Lukesch |
Efficient realization of logical execution times in legacy embedded software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017, pp. 36-45, 2017, ACM, 978-1-4503-5093-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Haven Blake Skinner, Rafael Trapani Possignolo, Jose Renau |
Liam: an actor based programming model for HDLs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017, pp. 185-188, 2017, ACM, 978-1-4503-5093-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sudipta Chattopadhyay 0001, Moritz Beck 0002, Ahmed Rezine, Andreas Zeller |
Quantifying the information leak in cache attacks via symbolic execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017, pp. 25-35, 2017, ACM, 978-1-4503-5093-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Arun Chandrasekharan, Daniel Große, Rolf Drechsler |
Yise - a novel framework for boolean networks using y-inverter graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017, pp. 114-117, 2017, ACM, 978-1-4503-5093-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jiwei Li, Pierluigi Nuzzo 0002, Alberto L. Sangiovanni-Vincentelli, Yugeng Xi 0001, Dewei Li 0001 |
Stochastic contracts for cyber-physical system design under probabilistic requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017, pp. 5-14, 2017, ACM, 978-1-4503-5093-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Franz-Josef Grosch |
Elevate embedded real-time programming with a synchronous language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017, pp. 156, 2017, ACM, 978-1-4503-5093-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Pierre Talpin, Patricia Derler, Klaus Schneider 0001 (eds.) |
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![ACM, 978-1-4503-5093-8 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Kenneth Roe, Scott F. Smith 0001 |
Using the coq theorem prover to verify complex data structure invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017, pp. 118-121, 2017, ACM, 978-1-4503-5093-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nils Przigoda, Philipp Niemann 0001, Judith Peters, Frank Hilken, Robert Wille, Rolf Drechsler |
More than true or false: native support of irregular values in the automatic validation & verification of UML/OCL models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017, pp. 77-86, 2017, ACM, 978-1-4503-5093-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher |
Model-based, mutation-driven test case generation via heuristic-guided branching search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017, pp. 56-66, 2017, ACM, 978-1-4503-5093-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Taylor T. Johnson |
Hyperproperties of real-valued signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017, pp. 104-113, 2017, ACM, 978-1-4503-5093-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Plassan, Katell Morin-Allory, Dominique Borrione |
Extraction of missing formal assumptions in under-constrained designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017, pp. 94-103, 2017, ACM, 978-1-4503-5093-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Elizabeth I. Leonard, Myla M. Archer, Constance L. Heitmeyer |
Property templates for checking source code security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017, pp. 87-90, 2017, ACM, 978-1-4503-5093-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jakob Mund, Maximilian Junker, Safa Bougouffa, Suhyun Cha, Birgit Vogel-Heuser |
Model-based availability analysis for automated production systems: a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017, pp. 46-55, 2017, ACM, 978-1-4503-5093-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Thomas N. Reynolds, Adam M. Procter, William L. Harrison, Gerard Allwein |
A core calculus for secure hardware: its formal semantics and proof system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017, pp. 122-131, 2017, ACM, 978-1-4503-5093-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tim Gonschorek, Ben Rabeler, Frank Ortmeier, Dirk Schomburg |
On improving rare event simulation for probabilistic safety analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017, pp. 15-24, 2017, ACM, 978-1-4503-5093-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi |
Monitoring mobile and spatially distributed cyber-physical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017, pp. 146-155, 2017, ACM, 978-1-4503-5093-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hammond A. Pearce, Matthew M. Y. Kuo, Nathan Allen, Partha S. Roop, Avinash Malik |
Simulation of cyber-physical systems using IEC61499. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017, pp. 136-145, 2017, ACM, 978-1-4503-5093-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger |
The quest for average response time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017, pp. 4, 2017, ACM, 978-1-4503-5093-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stephen A. Edwards, Richard Townsend, Martha A. Kim |
Compositional dataflow circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017, pp. 175-184, 2017, ACM, 978-1-4503-5093-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Max Scheerer, Axel Busch, Anne Koziolek |
Automatic evaluation of complex design decisions in component-based software architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017, pp. 67-76, 2017, ACM, 978-1-4503-5093-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Abate |
Formal verification of complex systems: model-based and data-driven methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017, pp. 91-93, 2017, ACM, 978-1-4503-5093-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hsin-Hung Lin, Bow-Yaw Wang |
Releasing VDM proof obligations with SMT solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017, pp. 132-135, 2017, ACM, 978-1-4503-5093-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Assaf Marron |
A reactive specification formalism for enhancing system development, analysis and adaptivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017, pp. 161-164, 2017, ACM, 978-1-4503-5093-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Antti Jääskeläinen, Hannu-Matti Järvinen, Mikko Tiusanen |
Concurrent execution system for action languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017, pp. 157-160, 2017, ACM, 978-1-4503-5093-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Oliver Marx, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz |
A computer-algebraic approach to formal verification of data-centric low-level software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016, pp. 34-42, 2016, IEEE, 978-1-5090-2791-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Judith Peters, Nils Przigoda, Robert Wille, Rolf Drechsler |
Clocks vs. instants relations: Verifying CCSL time constraints in UML/MARTE models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016, pp. 78-84, 2016, IEEE, 978-1-5090-2791-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Anoop Bhagyanath, Klaus Schneider 0001 |
Optimal compilation for exposed datapath architectures with buffered processing units by SAT solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016, pp. 143-152, 2016, IEEE, 978-1-5090-2791-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ashish Mishra, Aditya Kanade, Y. N. Srikant |
Asynchrony-aware static analysis of Android applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016, pp. 163-172, 2016, IEEE, 978-1-5090-2791-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard K. Aichernig, Richard Schumi |
Towards integrating statistical model checking into property-based testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016, pp. 71-76, 2016, IEEE, 978-1-5090-2791-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jalil Boudjadar, Jin Hyun Kim, Simin Nadjm-Tehrani |
Performance-aware scheduling of multicore time-critical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016, pp. 105-114, 2016, IEEE, 978-1-5090-2791-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos |
An efficient algorithm for monitoring practical TPTL specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016, pp. 184-193, 2016, IEEE, 978-1-5090-2791-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Robert de Simone |
Keynote talk II: Multiform logical time for Me/Mo-codesign. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016, pp. 77, 2016, IEEE, 978-1-5090-2791-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Manaar Alam, Debapriya Basu Roy, Sarani Bhattacharya, Vidya Govindan, Rajat Subhra Chakraborty, Debdeep Mukhopadhyay |
SmashClean: A hardware level mitigation to stack smashing attacks in OpenRISC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016, pp. 1-4, 2016, IEEE, 978-1-5090-2791-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Emilien Kofman, Robert de Simone |
A formal approach to the mapping of tasks on an heterogenous multicore, energy-aware architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016, pp. 153-162, 2016, IEEE, 978-1-5090-2791-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Xian Li 0002, Klaus Schneider 0001 |
Control-flow guided property directed reachability for imperative synchronous programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016, pp. 23-33, 2016, IEEE, 978-1-5090-2791-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sriram K. Rajamani |
Keynote talk III: Trusted cloud: How to make the cloud more secure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016, pp. 132, 2016, IEEE, 978-1-5090-2791-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Peter A. Milder |
MEMOCODE 2016 design contest: K-means clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016, pp. 125-127, 2016, IEEE, 978-1-5090-2791-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Goran Frehse |
Formal feature analysis of hybrid automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016, pp. 2-11, 2016, IEEE, 978-1-5090-2791-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Zhiqiang Ren, Hongwei Xi |
Combining type-checking with model-checking for system verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016, pp. 54-58, 2016, IEEE, 978-1-5090-2791-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tripti Jain, Klaus Schneider 0001 |
Verifying the concentration property of permutation networks by BDDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016, pp. 43-53, 2016, IEEE, 978-1-5090-2791-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nils Przigoda, Jonas Gomes Filho, Philipp Niemann 0001, Robert Wille, Rolf Drechsler |
Frame conditions in symbolic representations of UML/OCL models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016, pp. 65-70, 2016, IEEE, 978-1-5090-2791-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Amit Gurung, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray 0001 |
Parallel reachability analysis for hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016, pp. 12-22, 2016, IEEE, 978-1-5090-2791-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | André Platzer |
Keynote talk I: How to prove hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016, pp. 1, 2016, IEEE, 978-1-5090-2791-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Derler, Kaushik Ravindran, Rhishikesh Limaye |
Specification of precise timing in synchronous dataflow models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016, pp. 85-94, 2016, IEEE, 978-1-5090-2791-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Cremona, Marten Lohstroh, David Broman, Marco Di Natale, Edward A. Lee, Stavros Tripakis |
Step revision in hybrid Co-simulation with FMI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016, pp. 173-183, 2016, IEEE, 978-1-5090-2791-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Prakhar Banga, Atul Pai, Subhajit Roy 0001, Mainak Chaudhuri |
Accelerating schedule space exploration of multi-threaded programs with GPUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016, pp. 115-124, 2016, IEEE, 978-1-5090-2791-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Farhaan Fowze, Tuba Yavuz |
Specification, verification, and synthesis using extended state machines with callbacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016, pp. 95-104, 2016, IEEE, 978-1-5090-2791-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Amir Yaghoubi Shahir, Uwe Glässer, Hamed Yaghoubi Shahir, Mohammad A. Tayebi, Hans Wehn |
Formal engineering frameworks in maritime domain awareness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016, pp. 59-64, 2016, IEEE, 978-1-5090-2791-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Kugele, Diego Marmsoler, Nuria Mata, Kai Werther |
Verification of component architectures using mode-based contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016, pp. 133-142, 2016, IEEE, 978-1-5090-2791-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | |
2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![IEEE, 978-1-5090-2791-0 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Alexandru Tanase, Michael Witterauf, Jürgen Teich, Frank Hannig |
Symbolic loop parallelization for balancing I/O and memory accesses on processor arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 188-197, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Wenchao Li 0001, Léonard Gérard, Natarajan Shankar |
Design and verification of multi-rate distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 20-29, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bingyi Cao, Kenneth A. Ross, Martha A. Kim, Stephen A. Edwards |
Implementing latency-insensitive dataflow blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 179-187, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Naylor, Simon W. Moore |
A generic synthesisable test bench. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 128-137, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla |
Towards refinement types for time-dependent data-flow networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 36-41, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Paul Clements |
Keynote Talk III: A formal methods perspective on product line engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 168, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alon Brook, Doron A. Peled, Sven Schewe |
Local and global fairness in concurrent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 2-9, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur |
Keynote talk I: Syntax-guided synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 1, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Martial Chabot, Kévin Mazet, Laurence Pierre |
Automatic and configurable instrumentation of C programs with temporal assertion checkers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 208-217, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Derek Chiou |
Keynote talk II: Accelerating data centers using reconfigurable logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 60, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jan Láník, Julien Legriel, Erwan Piriou, Emmanuel Viaud, Fahim Rahim, Oded Maler, Solaiman Rahim |
Reducing power with activity trigger analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 169-178, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee 0001 |
Hierarchical multi-formalism proofs of cyber-physical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 90-95, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Peter A. Milder |
MEMOCODE 2015 design contest: Continuous skyline computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 48-51, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ehsan Montahaie, Milad Ghafouri, Saied Rahmani, Hanie Ghasemi, Farzad Sharif Bakhtiar, Rashid Zamanshoar, Kianoush Jafari, Mohsen Gavahi, Reza Mirzaei, Armin Ahmadzadeh, Saeid Gorgin 0001 |
Efficient continuous skyline computation on multi-core processors based on Manhattan distance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 56-59, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sanne Wouda, Sebastiaan J. C. Joosten, Julien Schmaltz |
Process algebra semantics & reachability analysis for micro-architectural models of communication fabrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 198-207, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Abdur Rakib, Hafiz Mahfooz Ul Haque |
Modeling and verifying context-aware non-monotonic reasoning agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 61-69, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Ricketts 0001, Gregory Malecha, Mario M. Alvarez, Vignesh Gowda, Sorin Lerner |
Towards verification of hybrid systems in a foundational proof assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 248-257, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos |
Metric interval temporal logic specification elicitation and debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 70-79, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Jaksic, Ezio Bartocci, Radu Grosu, Reinhard Kloibhofer, Thang Nguyen 0007, Dejan Nickovic |
From signal temporal logic to FPGA monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 218-227, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | |
13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![IEEE, 978-1-5090-0237-5 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Ahlem Triki, Jacques Combaz, Saddek Bensalem |
Optimized distributed implementation of timed component-based systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 30-35, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | William Durand, Sébastien Salva |
Passive testing of production systems based on model inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 138-147, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kenichi Koizumi, Mary Inaba, Kei Hiraki |
Efficient implementation of continuous skyline computation on a multi-core processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 52-55, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Paul C. Attie, Ali Cherri, Kinan Dak-Al-Bab, Mouhammad Sakr, Jad Saklawi |
Model and program repair via SAT solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 148-157, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Karsten Rathlev, Steven Smyth, Christian Motika, Reinhard von Hanxleden, Michael Mendler |
SCEst: Sequentially constructive esterel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 10-19, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Beaumont, Andrey Mokhov, Danil Sokolov, Alex Yakovlev |
Compositional design of asynchronous circuits from behavioural concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 118-127, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alan Leung, Dimitar Bounov, Sorin Lerner |
C-to-Verilog translation validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 42-47, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Xian Li 0002, Klaus Schneider 0001 |
Verification condition generation for hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 238-247, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | David J. Greaves |
Layering RTL, SAFL, Handel-C and Bluespec constructs on Chisel HCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 108-117, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Kugele, Gheorghe Pucea, Ramona Popa, Laurent Dieudonné, Horst Eckardt |
On the deployment problem of embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 158-167, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | João Bastos, Sander Stuijk, Jeroen Voeten, Ramon R. H. Schiffelers, Johan Jacobs, Henk Corporaal |
Modeling resource sharing using FSM-SADF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 96-101, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Masahiro Fujita |
Logic analysis and optimization with quick identification of invariants through one time frame analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 102-107, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Ganty, Samir Genaim, Ratan Lal, Pavithra Prabhakar |
From non-zenoness verification to termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 228-237, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene |
Formal validation and verification of a medical software critical component. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 80-89, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ke Sun, Loïc Besnard, Thierry Gautier |
Optimized distribution of synchronous programs via a polychronous model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 42-51, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stephen A. Edwards, Hiren D. Patel |
MEMOCODE 2014 software design contest: Space Invaders emulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 185, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sonali Dutta, Moshe Y. Vardi |
Assertion-based flow monitoring of SystemC models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 145-154, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sam Procter, John Hatcliff |
An architecturally-integrated, systems-based hazard analysis for medical applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 124-133, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Townsend, Phillip H. Jones, Joseph Zambreno |
A high performance systolic architecture for k-NN classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 201-204, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Tanase, Michael Witterauf, Jürgen Teich, Frank Hannig |
Symbolic inner loop parallelisation for massively parallel processor arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 219-228, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Prakash Chandrasekaran, Kavum Muriyil Balachandran Shibu Kumar, Remish L. Minz, Deepak D'Souza, Lomesh Meshram |
A multi-core version of FreeRTOS verified for datarace and deadlock freedom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 62-71, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Torben Scheffel, Malte Schmitz 0001 |
Three-valued asynchronous distributed runtime verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 52-61, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Boulanger, Christophe Jacquet, Cécile Hardebolle, Iuliana Prodan |
TESL: A language for reconciling heterogeneous execution traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 114-123, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pablo González de Aledo Marugán, Luis Díaz Suárez, Álvaro Díaz Suárez, Pablo Sánchez Espeso |
Profiling and optimizations for embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 194-197, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Peter A. Milder |
MEMOCODE 2014 design contest: k-Nearest Neighbors with Mahalanobis distance metric. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 198-200, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem |
Building faithful high-level models and performance evaluation of manycore embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 209-218, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|