The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

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

Publication years (Num. hits)
2003 (33) 2004 (30) 2005 (37) 2006 (29) 2007 (26) 2008 (23) 2009 (23) 2010 (30) 2011 (24) 2012 (16) 2013 (25) 2014 (32) 2015 (34) 2016 (26) 2017 (26) 2018-2019 (32)
Publication types (Num. hits)
inproceedings(429) proceedings(17)
Venues (Conferences, Journals, ...)
MEMOCODE(446)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 446 publication records. Showing 446 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Partha S. Roop, Naijun Zhan, Sicun Gao, Pierluigi Nuzzo (eds.) Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2019, La Jolla, CA, USA, October 9-11, 2019. Search on Bibsonomy MEMOCODE The full citation details ... 2019 DBLP  BibTeX  RDF
1Michael Witterauf, Frank Hannig, Jürgen Teich Polyhedral fragments: an efficient representation for symbolically generating code for processor arrays. Search on Bibsonomy MEMOCODE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jin Woo Ro, Avinash Malik, Partha S. Roop A compositional semantics of Simulink/Stateflow based on quantized state hybrid automata. Search on Bibsonomy MEMOCODE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ratan Lal, Pavithra Prabhakar Compositional construction of bounded error over-approximations of acyclic interconnected continuous dynamical systems. Search on Bibsonomy MEMOCODE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mohammad Hekmatnejad, Shakiba Yaghoubi, Adel Dokhanchi, Heni Ben Amor, Aviral Shrivastava, Lina Karam, Georgios Fainekos Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic. Search on Bibsonomy MEMOCODE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hammond A. Pearce, Matthew M. Y. Kuo, Partha S. Roop, Srinivas Pinisetty Securing implantable medical devices with runtime enforcement hardware. Search on Bibsonomy MEMOCODE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Paritosh K. Pandya, Amol Wakankar Logical specification and uniform synthesis of robust controllers. Search on Bibsonomy MEMOCODE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Karine Even-Mendoza, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina Lattice-based SMT for program verification. Search on Bibsonomy MEMOCODE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Peter W. V. Tran-Jørgensen, Tomas Kulik, Jalil Boudjadar, Peter Gorm Larsen Security analysis of cloud-connected industrial control systems using combinatorial testing. Search on Bibsonomy MEMOCODE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1David J. Greaves Further sub-cycle and multi-cycle schedulling support for Bluespec Verilog. Search on Bibsonomy MEMOCODE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nathan Allen, Yash Raje, Jin Woo Ro, Partha S. Roop A compositional approach for real-time machine learning. Search on Bibsonomy MEMOCODE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Maryam Dabaghchian, Zvonimir Rakamaric A timeless model for the verification of quasi-periodic distributed systems. Search on Bibsonomy MEMOCODE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bernard Nongpoh, Rajarshi Ray 0001, Ansuman Banerjee Approximate computing for multithreaded programs in shared memory architectures. Search on Bibsonomy MEMOCODE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Freek Verbeek, Joshua A. Bockenek, Abhijith Bharadwaj, Binoy Ravindran, Ian Roessle Establishing a refinement relation between binaries and abstract code. Search on Bibsonomy MEMOCODE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Cody Kinneer, Ryan Wagner, Fei Fang, Claire Le Goues, David Garlan Modeling observability in adaptive systems to defend against advanced persistent threats. Search on Bibsonomy MEMOCODE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur Detecting security leaks in hybrid systems with information flow analysis. Search on Bibsonomy MEMOCODE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yinghua Hu, Vivek V. Menon, Andrew G. Schmidt, Joshua S. Monson, Matthew French, Pierluigi Nuzzo Security-driven metrics and models for efficient evaluation of logic encryption schemes. Search on Bibsonomy MEMOCODE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Vighnesh Iyer, Donggyu Kim, Borivoje Nikolic, Sanjit A. Seshia RTL bug localization through LTL specification mining (WIP). Search on Bibsonomy MEMOCODE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jonatan Wiik, Johan Ersfolk, Marina Waldén A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks. Search on Bibsonomy MEMOCODE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mladen Skelin, Marc Geilen It's a Matter of Time: Modeling and Analysis of Time Dependent Systems Using Scenario-Aware Dataflow. Search on Bibsonomy MEMOCODE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1S. Nagaraj, D. Seshachalam, Sunil Hucharaddi Model Order Reduction of Nonlinear Circuit using Proper Orthogonal Decomposition and Nonlinear Autoregressive with eXogenous input (NARX) Neural Network. Search on Bibsonomy MEMOCODE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess, Hirotoshi Yasuoka Towards Dependability Metrics for Neural Networks. Search on Bibsonomy MEMOCODE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tripti Jain, Klaus Schneider 0001 Optimal Self-Routing Split Modules for Radix-based Interconnection Networks. Search on Bibsonomy MEMOCODE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sanjit A. Seshia, Pramod Subramanyan UCLID5: Integrating Modeling, Verification, Synthesis and Learning. Search on Bibsonomy MEMOCODE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Partha S. Roop, Hammond A. Pearce, Keyan Monadjem Synchronous neural networks for cyber-physical systems. Search on Bibsonomy MEMOCODE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Íñigo Íncer Romeo, Alberto L. Sangiovanni-Vincentelli, Chung-Wei Lin, Eunsuk Kang Quotient for Assume-Guarantee Contracts. Search on Bibsonomy MEMOCODE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2018, Beijing, China, October 15-18, 2018 Search on Bibsonomy MEMOCODE The full citation details ... 2018 DBLP  BibTeX  RDF
1Jinmiao Xu, Zhibin Yang, Zhiqiu Huang, Yong Zhou, Chengwei Liu, Lei Xue, Jean-Paul Bodeveix, Mamoun Filali Hierarchical Behavior Annex: Towards an AADL Functional Specification Extension. Search on Bibsonomy MEMOCODE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Srinivas Pinisetty, Partha S. Roop, Vidula Sawant, Gerardo Schneider Security of Pacemakers using Runtime Verification. Search on Bibsonomy MEMOCODE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yanan Liu, Yong Guan, Xiaojuan Li, Rui Wang 0024, Jie Zhang Formal Analysis and Verification of DDS in ROS2. Search on Bibsonomy MEMOCODE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Witterauf, Jürgen Teich Run-time Requirement Enforcement for Loop Programs on Processor Arrays. Search on Bibsonomy MEMOCODE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yu Bai Desynchronization: From Macro-step to Micro-step. Search on Bibsonomy MEMOCODE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jean-Paul Bodeveix, Mamoun Filali-Amine, Shuanglong Kan A refinement-based compiler development for synchronous languages. Search on Bibsonomy MEMOCODE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stefan Resmerita, Andreas Naderlinger, Stefan Lukesch Efficient realization of logical execution times in legacy embedded software. Search on Bibsonomy MEMOCODE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Haven Skinner, Rafael Trapani Possignolo, Jose Renau Liam: an actor based programming model for HDLs. Search on Bibsonomy MEMOCODE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sudipta Chattopadhyay 0001, Moritz Beck 0002, Ahmed Rezine, Andreas Zeller Quantifying the information leak in cache attacks via symbolic execution. Search on Bibsonomy MEMOCODE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Arun Chandrasekharan, Daniel Große, Rolf Drechsler Yise - a novel framework for boolean networks using y-inverter graphs. Search on Bibsonomy MEMOCODE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jiwei Li, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Yugeng Xi, Dewei Li Stochastic contracts for cyber-physical system design under probabilistic requirements. Search on Bibsonomy MEMOCODE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Franz-Josef Grosch Elevate embedded real-time programming with a synchronous language. Search on Bibsonomy MEMOCODE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jean-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 MEMOCODE The full citation details ... 2017 DBLP  BibTeX  RDF
1Kenneth Roe, Scott F. Smith 0001 Using the coq theorem prover to verify complex data structure invariants. Search on Bibsonomy MEMOCODE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nils Przigoda, Philipp Niemann, 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 MEMOCODE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher Model-based, mutation-driven test case generation via heuristic-guided branching search. Search on Bibsonomy MEMOCODE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Taylor T. Johnson Hyperproperties of real-valued signals. Search on Bibsonomy MEMOCODE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Guillaume Plassan, Katell Morin-Allory, Dominique Borrione Extraction of missing formal assumptions in under-constrained designs. Search on Bibsonomy MEMOCODE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Elizabeth I. Leonard, Myla M. Archer, Constance L. Heitmeyer Property templates for checking source code security. Search on Bibsonomy MEMOCODE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jakob Mund, Maximilian Junker, Safa Bougouffa, Suhyun Cha, Birgit Vogel-Heuser Model-based availability analysis for automated production systems: a case study. Search on Bibsonomy MEMOCODE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas 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 MEMOCODE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tim Gonschorek, Ben Rabeler, Frank Ortmeier, Dirk Schomburg On improving rare event simulation for probabilistic safety analysis. Search on Bibsonomy MEMOCODE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi Monitoring mobile and spatially distributed cyber-physical systems. Search on Bibsonomy MEMOCODE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hammond A. Pearce, Matthew M. Y. Kuo, Nathan Allen, Partha S. Roop, Avinash Malik Simulation of cyber-physical systems using IEC61499. Search on Bibsonomy MEMOCODE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas A. Henzinger The quest for average response time. Search on Bibsonomy MEMOCODE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stephen A. Edwards, Richard Townsend, Martha A. Kim Compositional dataflow circuits. Search on Bibsonomy MEMOCODE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Max Scheerer, Axel Busch, Anne Koziolek Automatic evaluation of complex design decisions in component-based software architectures. Search on Bibsonomy MEMOCODE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alessandro Abate Formal verification of complex systems: model-based and data-driven methods. Search on Bibsonomy MEMOCODE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hsin-Hung Lin, Bow-Yaw Wang Releasing VDM proof obligations with SMT solvers. Search on Bibsonomy MEMOCODE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Assaf Marron A reactive specification formalism for enhancing system development, analysis and adaptivity. Search on Bibsonomy MEMOCODE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Antti Jääskeläinen, Hannu-Matti Järvinen, Mikko Tiusanen Concurrent execution system for action languages. Search on Bibsonomy MEMOCODE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Oliver Marx, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz A computer-algebraic approach to formal verification of data-centric low-level software. Search on Bibsonomy MEMOCODE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Judith Peters, Nils Przigoda, Robert Wille, Rolf Drechsler Clocks vs. instants relations: Verifying CCSL time constraints in UML/MARTE models. Search on Bibsonomy MEMOCODE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Anoop Bhagyanath, Klaus Schneider 0001 Optimal compilation for exposed datapath architectures with buffered processing units by SAT solvers. Search on Bibsonomy MEMOCODE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ashish Mishra, Aditya Kanade, Y. N. Srikant Asynchrony-aware static analysis of Android applications. Search on Bibsonomy MEMOCODE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bernhard K. Aichernig, Richard Schumi Towards integrating statistical model checking into property-based testing. Search on Bibsonomy MEMOCODE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jalil Boudjadar, Jin Hyun Kim, Simin Nadjm-Tehrani Performance-aware scheduling of multicore time-critical systems. Search on Bibsonomy MEMOCODE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios E. Fainekos An efficient algorithm for monitoring practical TPTL specifications. Search on Bibsonomy MEMOCODE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Robert de Simone Keynote talk II: Multiform logical time for Me/Mo-codesign. Search on Bibsonomy MEMOCODE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Manaar 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 MEMOCODE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Emilien Kofman, Robert de Simone A formal approach to the mapping of tasks on an heterogenous multicore, energy-aware architecture. Search on Bibsonomy MEMOCODE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xian Li, Klaus Schneider 0001 Control-flow guided property directed reachability for imperative synchronous programs. Search on Bibsonomy MEMOCODE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sriram K. Rajamani Keynote talk III: Trusted cloud: How to make the cloud more secure. Search on Bibsonomy MEMOCODE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Peter Milder MEMOCODE 2016 design contest: K-means clustering. Search on Bibsonomy MEMOCODE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Goran Frehse Formal feature analysis of hybrid automata. Search on Bibsonomy MEMOCODE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zhiqiang Ren, Hongwei Xi Combining type-checking with model-checking for system verification. Search on Bibsonomy MEMOCODE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tripti Jain, Klaus Schneider 0001 Verifying the concentration property of permutation networks by BDDs. Search on Bibsonomy MEMOCODE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nils Przigoda, Jonas Gomes Filho, Philipp Niemann, Robert Wille, Rolf Drechsler Frame conditions in symbolic representations of UML/OCL models. Search on Bibsonomy MEMOCODE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Amit Gurung, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray 0001 Parallel reachability analysis for hybrid systems. Search on Bibsonomy MEMOCODE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1André Platzer Keynote talk I: How to prove hybrid systems. Search on Bibsonomy MEMOCODE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Patricia Derler, Kaushik Ravindran, Rhishikesh Limaye Specification of precise timing in synchronous dataflow models. Search on Bibsonomy MEMOCODE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fabio Cremona, Marten Lohstroh, David Broman, Marco Di Natale, Edward A. Lee, Stavros Tripakis Step revision in hybrid Co-simulation with FMI. Search on Bibsonomy MEMOCODE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Prakhar Banga, Atul Pai, Subhajit Roy, Mainak Chaudhuri Accelerating schedule space exploration of multi-threaded programs with GPUs. Search on Bibsonomy MEMOCODE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Farhaan Fowze, Tuba Yavuz Specification, verification, and synthesis using extended state machines with callbacks. Search on Bibsonomy MEMOCODE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Amir Yaghoubi Shahir, Uwe Glässer, Hamed Yaghoubi Shahir, Mohammad A. Tayebi, Hans Wehn Formal engineering frameworks in maritime domain awareness. Search on Bibsonomy MEMOCODE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stefan Kugele, Diego Marmsoler, Nuria Mata, Kai Werther Verification of component architectures using mode-based contracts. Search on Bibsonomy MEMOCODE The full citation details ... 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 MEMOCODE The full citation details ... 2016 DBLP  BibTeX  RDF
1Alexandru Tanase, Michael Witterauf, Jürgen Teich, Frank Hannig Symbolic loop parallelization for balancing I/O and memory accesses on processor arrays. Search on Bibsonomy MEMOCODE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Wenchao Li, Léonard Gérard, Natarajan Shankar Design and verification of multi-rate distributed systems. Search on Bibsonomy MEMOCODE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bingyi Cao, Kenneth A. Ross, Martha A. Kim, Stephen A. Edwards Implementing latency-insensitive dataflow blocks. Search on Bibsonomy MEMOCODE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Matthew Naylor, Simon W. Moore A generic synthesisable test bench. Search on Bibsonomy MEMOCODE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla Towards refinement types for time-dependent data-flow networks. Search on Bibsonomy MEMOCODE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Paul Clements Keynote Talk III: A formal methods perspective on product line engineering. Search on Bibsonomy MEMOCODE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alon Brook, Doron A. Peled, Sven Schewe Local and global fairness in concurrent systems. Search on Bibsonomy MEMOCODE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rajeev Alur Keynote talk I: Syntax-guided synthesis. Search on Bibsonomy MEMOCODE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martial Chabot, Kévin Mazet, Laurence Pierre Automatic and configurable instrumentation of C programs with temporal assertion checkers. Search on Bibsonomy MEMOCODE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Derek Chiou Keynote talk II: Accelerating data centers using reconfigurable logic. Search on Bibsonomy MEMOCODE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jan Láník, Julien Legriel, Erwan Piriou, Emmanuel Viaud, Fahim Rahim, Oded Maler, Solaiman Rahim Reducing power with activity trigger analysis. Search on Bibsonomy MEMOCODE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee Hierarchical multi-formalism proofs of cyber-physical systems. Search on Bibsonomy MEMOCODE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Peter Milder MEMOCODE 2015 design contest: Continuous skyline computation. Search on Bibsonomy MEMOCODE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ehsan Montahaie, Milad Ghafouri, Saied Rahmani, Hanie Ghasemi, Farzad Sharif Bakhtiar, Rashid Zamanshoar, Kianoush Jafari, Mohsen Gavahi, Reza Mirzaei, Armin Ahmadzadeh, Saeid Gorgin Efficient continuous skyline computation on multi-core processors based on Manhattan distance. Search on Bibsonomy MEMOCODE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sanne Wouda, Sebastiaan J. C. Joosten, Julien Schmaltz Process algebra semantics & reachability analysis for micro-architectural models of communication fabrics. Search on Bibsonomy MEMOCODE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Abdur Rakib, Hafiz Mahfooz Ul Haque Modeling and verifying context-aware non-monotonic reasoning agents. Search on Bibsonomy MEMOCODE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 446 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
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