| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michael Witterauf, Jürgen Teich |
Run-time Requirement Enforcement for Loop Programs on Processor Arrays.  |
MEMOCODE  |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Bai |
Desynchronization: From Macro-step to Micro-step. |
MEMOCODE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Paul Bodeveix, Mamoun Filali-Amine, Shuanglong Kan |
A refinement-based compiler development for synchronous languages. |
MEMOCODE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Resmerita, Andreas Naderlinger, Stefan Lukesch |
Efficient realization of logical execution times in legacy embedded software. |
MEMOCODE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Haven Blake Skinner, Rafael Trapani Possignolo, Jose Renau |
Liam: an actor based programming model for HDLs. |
MEMOCODE |
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. |
MEMOCODE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Arun Chandrasekharan, Daniel Große, Rolf Drechsler |
Yise - a novel framework for boolean networks using y-inverter graphs. |
MEMOCODE |
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. |
MEMOCODE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz-Josef Grosch |
Elevate embedded real-time programming with a synchronous language. |
MEMOCODE |
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 |
MEMOCODE |
2017 |
DBLP BibTeX RDF |
|
| 1 | Kenneth Roe, Scott F. Smith 0001 |
Using the coq theorem prover to verify complex data structure invariants. |
MEMOCODE |
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. |
MEMOCODE |
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. |
MEMOCODE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Taylor T. Johnson |
Hyperproperties of real-valued signals. |
MEMOCODE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Plassan, Katell Morin-Allory, Dominique Borrione |
Extraction of missing formal assumptions in under-constrained designs. |
MEMOCODE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Elizabeth I. Leonard, Myla M. Archer, Constance L. Heitmeyer |
Property templates for checking source code security. |
MEMOCODE |
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. |
MEMOCODE |
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. |
MEMOCODE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Gonschorek, Ben Rabeler, Frank Ortmeier, Dirk Schomburg |
On improving rare event simulation for probabilistic safety analysis. |
MEMOCODE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi |
Monitoring mobile and spatially distributed cyber-physical systems. |
MEMOCODE |
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. |
MEMOCODE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger |
The quest for average response time. |
MEMOCODE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen A. Edwards, Richard Townsend, Martha A. Kim |
Compositional dataflow circuits. |
MEMOCODE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Max Scheerer, Axel Busch, Anne Koziolek |
Automatic evaluation of complex design decisions in component-based software architectures. |
MEMOCODE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Abate |
Formal verification of complex systems: model-based and data-driven methods. |
MEMOCODE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsin-Hung Lin, Bow-Yaw Wang |
Releasing VDM proof obligations with SMT solvers. |
MEMOCODE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Assaf Marron |
A reactive specification formalism for enhancing system development, analysis and adaptivity. |
MEMOCODE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Jääskeläinen, Hannu-Matti Järvinen, Mikko Tiusanen |
Concurrent execution system for action languages. |
MEMOCODE |
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. |
MEMOCODE |
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. |
MEMOCODE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Anoop Bhagyanath, Klaus Schneider 0001 |
Optimal compilation for exposed datapath architectures with buffered processing units by SAT solvers. |
MEMOCODE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Mishra, Aditya Kanade, Y. N. Srikant |
Asynchrony-aware static analysis of Android applications. |
MEMOCODE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, Richard Schumi |
Towards integrating statistical model checking into property-based testing. |
MEMOCODE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jalil Boudjadar, Jin Hyun Kim, Simin Nadjm-Tehrani |
Performance-aware scheduling of multicore time-critical systems. |
MEMOCODE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos |
An efficient algorithm for monitoring practical TPTL specifications. |
MEMOCODE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert de Simone |
Keynote talk II: Multiform logical time for Me/Mo-codesign. |
MEMOCODE |
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. |
MEMOCODE |
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. |
MEMOCODE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Xian Li 0002, Klaus Schneider 0001 |
Control-flow guided property directed reachability for imperative synchronous programs. |
MEMOCODE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sriram K. Rajamani |
Keynote talk III: Trusted cloud: How to make the cloud more secure. |
MEMOCODE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter A. Milder |
MEMOCODE 2016 design contest: K-means clustering. |
MEMOCODE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Goran Frehse |
Formal feature analysis of hybrid automata. |
MEMOCODE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiqiang Ren, Hongwei Xi |
Combining type-checking with model-checking for system verification. |
MEMOCODE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tripti Jain, Klaus Schneider 0001 |
Verifying the concentration property of permutation networks by BDDs. |
MEMOCODE |
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. |
MEMOCODE |
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. |
MEMOCODE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | André Platzer |
Keynote talk I: How to prove hybrid systems. |
MEMOCODE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Derler, Kaushik Ravindran, Rhishikesh Limaye |
Specification of precise timing in synchronous dataflow models. |
MEMOCODE |
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. |
MEMOCODE |
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. |
MEMOCODE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Farhaan Fowze, Tuba Yavuz |
Specification, verification, and synthesis using extended state machines with callbacks. |
MEMOCODE |
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. |
MEMOCODE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kugele, Diego Marmsoler, Nuria Mata, Kai Werther |
Verification of component architectures using mode-based contracts. |
MEMOCODE |
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 |
MEMOCODE |
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. |
MEMOCODE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenchao Li 0001, Léonard Gérard, Natarajan Shankar |
Design and verification of multi-rate distributed systems. |
MEMOCODE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Bingyi Cao, Kenneth A. Ross, Martha A. Kim, Stephen A. Edwards |
Implementing latency-insensitive dataflow blocks. |
MEMOCODE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Naylor, Simon W. Moore |
A generic synthesisable test bench. |
MEMOCODE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla |
Towards refinement types for time-dependent data-flow networks. |
MEMOCODE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Clements |
Keynote Talk III: A formal methods perspective on product line engineering. |
MEMOCODE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alon Brook, Doron A. Peled, Sven Schewe |
Local and global fairness in concurrent systems. |
MEMOCODE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur |
Keynote talk I: Syntax-guided synthesis. |
MEMOCODE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Martial Chabot, Kévin Mazet, Laurence Pierre |
Automatic and configurable instrumentation of C programs with temporal assertion checkers. |
MEMOCODE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Derek Chiou |
Keynote talk II: Accelerating data centers using reconfigurable logic. |
MEMOCODE |
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. |
MEMOCODE |
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. |
MEMOCODE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter A. Milder |
MEMOCODE 2015 design contest: Continuous skyline computation. |
MEMOCODE |
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. |
MEMOCODE |
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. |
MEMOCODE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdur Rakib, Hafiz Mahfooz Ul Haque |
Modeling and verifying context-aware non-monotonic reasoning agents. |
MEMOCODE |
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. |
MEMOCODE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos |
Metric interval temporal logic specification elicitation and debugging. |
MEMOCODE |
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. |
MEMOCODE |
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 |
MEMOCODE |
2015 |
DBLP BibTeX RDF |
|
| 1 | Ahlem Triki, Jacques Combaz, Saddek Bensalem |
Optimized distributed implementation of timed component-based systems. |
MEMOCODE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | William Durand, Sébastien Salva |
Passive testing of production systems based on model inference. |
MEMOCODE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenichi Koizumi, Mary Inaba, Kei Hiraki |
Efficient implementation of continuous skyline computation on a multi-core processor. |
MEMOCODE |
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. |
MEMOCODE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Karsten Rathlev, Steven Smyth, Christian Motika, Reinhard von Hanxleden, Michael Mendler |
SCEst: Sequentially constructive esterel. |
MEMOCODE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Beaumont, Andrey Mokhov, Danil Sokolov, Alex Yakovlev |
Compositional design of asynchronous circuits from behavioural concepts. |
MEMOCODE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Leung, Dimitar Bounov, Sorin Lerner |
C-to-Verilog translation validation. |
MEMOCODE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Xian Li 0002, Klaus Schneider 0001 |
Verification condition generation for hybrid systems. |
MEMOCODE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Greaves |
Layering RTL, SAFL, Handel-C and Bluespec constructs on Chisel HCL. |
MEMOCODE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kugele, Gheorghe Pucea, Ramona Popa, Laurent Dieudonné, Horst Eckardt |
On the deployment problem of embedded systems. |
MEMOCODE |
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. |
MEMOCODE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Masahiro Fujita |
Logic analysis and optimization with quick identification of invariants through one time frame analysis. |
MEMOCODE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Ganty, Samir Genaim, Ratan Lal, Pavithra Prabhakar |
From non-zenoness verification to termination. |
MEMOCODE |
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. |
MEMOCODE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ke Sun, Loïc Besnard, Thierry Gautier |
Optimized distribution of synchronous programs via a polychronous model. |
MEMOCODE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen A. Edwards, Hiren D. Patel |
MEMOCODE 2014 software design contest: Space Invaders emulator. |
MEMOCODE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sonali Dutta, Moshe Y. Vardi |
Assertion-based flow monitoring of SystemC models. |
MEMOCODE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Procter, John Hatcliff |
An architecturally-integrated, systems-based hazard analysis for medical applications. |
MEMOCODE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Townsend, Phillip H. Jones, Joseph Zambreno |
A high performance systolic architecture for k-NN classification. |
MEMOCODE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Tanase, Michael Witterauf, Jürgen Teich, Frank Hannig |
Symbolic inner loop parallelisation for massively parallel processor arrays. |
MEMOCODE |
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. |
MEMOCODE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Torben Scheffel, Malte Schmitz 0001 |
Three-valued asynchronous distributed runtime verification. |
MEMOCODE |
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. |
MEMOCODE |
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. |
MEMOCODE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter A. Milder |
MEMOCODE 2014 design contest: k-Nearest Neighbors with Mahalanobis distance metric. |
MEMOCODE |
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. |
MEMOCODE |
2014 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license