Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
134 | Forrest Brewer, James C. Hoe |
MEMOCODE 2007 Co-Design Contest. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30 - June 1st, Nice, France, pp. 91-94, 2007, IEEE Computer Society, 1-4244-1050-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
93 | VJ Sananda |
Hardware Accelerated Crypto Merge Sort: MEMOCODE 2008 Design Contest. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), June 5-7, 2008, Anaheim, CA, USA, pp. 159-162, 2008, IEEE Computer Society, 978-1-4244-2417-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
93 | Patrick Schaumont, Krste Asanovic, James C. Hoe |
MEMOCODE 2008 Co-Design Contest. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), June 5-7, 2008, Anaheim, CA, USA, pp. 151-154, 2008, IEEE Computer Society, 978-1-4244-2417-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
72 | 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 |
|
72 | 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 |
|
72 | 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 |
|
72 | 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 |
|
72 | Derek Chiou |
MEMOCODE 2011 Hardware/Software CoDesign Contest: NoC simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011, pp. 73-76, 2011, IEEE, 978-1-4577-0117-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
72 | Sudhanshu Vyas, Pooja Mhapsekar, Aditya Ashok, Moinuddin Sayed, Avinash Srinivasa, Gunjan Pandey, Adam Jackson, Matthew Nelson, Anand Saggi, Harini Sundararaman, Phillip H. Jones |
Team [Ii][Ss][Uu][0-2]{4} design overview: MEMOCODE 2010 design contest. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010, pp. 99-102, 2010, IEEE Computer Society, 978-1-4244-7885-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
72 | Forrest Brewer, James C. Hoe |
2009 MEMOCODE Co-Design Contest. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), July 13-15, 2009, Cambridge, Massachusetts, USA, pp. 66-68, 2009, IEEE, 978-1-4244-4806-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
72 | Eric Simpson, Pengyuan Yu, Patrick Schaumont, Sumit Ahuja, Sandeep K. Shukla |
VT Matrix Multiply Design for MEMOCODE '07. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30 - June 1st, Nice, France, pp. 95-96, 2007, IEEE Computer Society, 1-4244-1050-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
65 | Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya |
Extended abstract: transition traversal coverage estimation for symbolic model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 11-14 July 2005, Verona, Italy, Proceedings, pp. 259-260, 2005, IEEE Computer Society, 0-7803-9227-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
65 | Nicola Bombieri, Andrea Fedeli, Franco Fummi |
Extended abstract: on the property-based verification in SoC design flow founded on transaction level modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 11-14 July 2005, Verona, Italy, Proceedings, pp. 239-240, 2005, IEEE Computer Society, 0-7803-9227-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
65 | Masahiro Fujita |
Extended abstract: a formal design approach from software oriented UML descriptions to hardware oriented RTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 11-14 July 2005, Verona, Italy, Proceedings, pp. 241-242, 2005, IEEE Computer Society, 0-7803-9227-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
65 | Peter Poplavko, Twan Basten, Milan Pastrnak, Jef L. van Meerbergen, Marco Bekooij, Peter H. N. de With |
Extended abstract: estimation times of on-chip multiprocessor stream-oriented applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 11-14 July 2005, Verona, Italy, Proceedings, pp. 250-251, 2005, IEEE Computer Society, 0-7803-9227-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
65 | Gustaf Naeser, Johan Furunäs |
Extended abstract: evaluation of delay queues for a Ravenscar HW kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 11-14 July 2005, Verona, Italy, Proceedings, pp. 247-248, 2005, IEEE Computer Society, 0-7803-9227-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
65 | Ralph D. Jeffords, Ramesh Bharadwaj |
Extended abstract: formal verification of architectural patterns in support of dependable distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 11-14 July 2005, Verona, Italy, Proceedings, pp. 243-244, 2005, IEEE Computer Society, 0-7803-9227-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
65 | Patrick Schaumont, Sandeep K. Shukla, Ingrid Verbauwhede |
Extended abstract: a race-free hardware modeling language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 11-14 July 2005, Verona, Italy, Proceedings, pp. 255-256, 2005, IEEE Computer Society, 0-7803-9227-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
65 | Íñigo Ugarte, Pablo Sanchez |
Extended abstract: polynomial model-based evaluation of the branch coverage metric for functional verification of hardware systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 11-14 July 2005, Verona, Italy, Proceedings, pp. 257-258, 2005, IEEE Computer Society, 0-7803-9227-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
65 | Klaus Rothbart, Ulrich Neffe, Christian Steger, Reinhold Weiss, Edgar Rieger, Andreas Mühlberger |
Extended abstract: an environment for design verification of smart card systems using attack simulation in SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 11-14 July 2005, Verona, Italy, Proceedings, pp. 253-254, 2005, IEEE Computer Society, 0-7803-9227-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
65 | Elizabeth I. Leonard, Myla Archer |
Extended abstract: organizing automaton specifications to achieve faithful representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 11-14 July 2005, Verona, Italy, Proceedings, pp. 245-246, 2005, IEEE Computer Society, 0-7803-9227-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
65 | Lars Pareto |
Extended abstract: requirements modeling within iterative, incremental processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 11-14 July 2005, Verona, Italy, Proceedings, pp. 249-250, 2005, IEEE Computer Society, 0-7803-9227-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
65 | Grant Martin, Sandeep K. Shukla |
Hierarchical and Incremental Verification for System Level Design: Challenges and Accomplishments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 24-26 June 2003, Mont Saint-Michel, France, Proceedings, pp. 97-, 2003, IEEE Computer Society, 0-7695-1923-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
44 | Reinhard von Hanxleden, Stephen A. Edwards, Jens Brandt, Qi Zhu 0001 (eds.) |
21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![ACM / IEEE, 979-8-4007-0318-8 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
44 | Jan Spieck, Pierre-Louis Sixdenier, Khalil Esper, Stefan Wildermann, Jürgen Teich |
Hybrid Genetic Reinforcement Learning for Generating Run-Time Requirement Enforcers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023, pp. 23-35, 2023, ACM / IEEE, 979-8-4007-0318-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli |
Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023, pp. 180-190, 2023, ACM / IEEE, 979-8-4007-0318-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Pauline Blohm, Julius Adelt, Paula Herber |
Safe Integration of Learning in SystemC using Timed Contracts and Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023, pp. 12-22, 2023, ACM / IEEE, 979-8-4007-0318-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Xin Qin, Nikos Aréchiga, Jyotirmoy Deshmukh, Andrew Best |
Robust Testing for Cyber-Physical Systems using Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023, pp. 36-46, 2023, ACM / IEEE, 979-8-4007-0318-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Hokeun Kim, Shaokai Lin, Christian Menard, Edward A. Lee |
Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023, pp. 1-11, 2023, ACM / IEEE, 979-8-4007-0318-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Czea Sie Chuah, Christian Appold, Tim Leinmüller |
Formal Verification of Security Properties on RISC-V Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023, pp. 159-168, 2023, ACM / IEEE, 979-8-4007-0318-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Peitian Pan, Christopher Batten |
Formal Verification of the Stall Invariant Property for Latency-Insensitive RTL Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023, pp. 148-158, 2023, ACM / IEEE, 979-8-4007-0318-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Rolf Drechsler, Martha Schnieber |
Next-Generation Automatic Human-Readable Proofs Enabling Polynomial Formal Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023, pp. 122-125, 2023, ACM / IEEE, 979-8-4007-0318-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Gareth Callanan, Flavius Gruian |
Scalable Actor Networks with CAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023, pp. 169-179, 2023, ACM / IEEE, 979-8-4007-0318-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Mir Md Sajid Sarwar, Rajarshi Ray 0001, Ansuman Banerjee |
Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023, pp. 47-58, 2023, ACM / IEEE, 979-8-4007-0318-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | John Hui, Kyle J. Edwards, Stephen A. Edwards |
Timestamp Peripherals for Precise Real-Time Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023, pp. 137-147, 2023, ACM / IEEE, 979-8-4007-0318-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque |
Model Checking Time Window Temporal Logic for Hyperproperties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023, pp. 100-110, 2023, ACM / IEEE, 979-8-4007-0318-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli |
Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023, pp. 111-121, 2023, ACM / IEEE, 979-8-4007-0318-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Peitian Pan, Shunning Jiang, Yanghui Ou, Christopher Batten |
Symbolic Elaboration: Checking Generator Properties in Dynamic Hardware Description Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023, pp. 126-136, 2023, ACM / IEEE, 979-8-4007-0318-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Ernest Bonnah, Khaza Anuarul Hoque |
QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023, pp. 90-99, 2023, ACM / IEEE, 979-8-4007-0318-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Anoop Bhagyanath, Nadine Kercher, Klaus Schneider 0001 |
Allocation and Scheduling of Dataflow Graphs on Hybrid Dataflow/von Neumann Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023, pp. 59-70, 2023, ACM / IEEE, 979-8-4007-0318-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Devleena Ghosh, Sumana Ghosh, Raj Kumar Gajavelly, Ansuman Banerjee |
Harnessing Multiple BMC Engines Together for Efficient Formal Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023, pp. 71-81, 2023, ACM / IEEE, 979-8-4007-0318-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Daniel Theis, Klaus Schneider 0001 |
Towards a Basis for Endochronous Functions in Dataflow Process Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023, pp. 191-194, 2023, ACM / IEEE, 979-8-4007-0318-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | Martha Schnieber, Rolf Drechsler |
Polynomial Formal Verification of KFDD Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023, pp. 82-89, 2023, ACM / IEEE, 979-8-4007-0318-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
44 | |
20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![IEEE, 979-8-3503-3190-5 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
44 | Eric Rothstein Morris, Jun Sun 0001, Sudipta Chattopadhyay 0001 |
ORIGAMI: Folding Data Structures to Reduce Timing Side-Channel Leakage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022, pp. 1-12, 2022, IEEE, 979-8-3503-3190-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
44 | Robert Krook, John Hui, Bo Joel Svensson, Stephen A. Edwards, Koen Claessen |
Creating a Language for Writing Real-Time Applications for the Internet of Things. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022, pp. 1-20, 2022, IEEE, 979-8-3503-3190-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
44 | Andreas Lööw |
A small, but important, concurrency problem in Verilog's semantics? (Work in progress). ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022, pp. 1-6, 2022, IEEE, 979-8-3503-3190-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
44 | Alex Baird, Hammond Pearce, Srinivas Pinisetty, Partha S. Roop |
Runtime Interchange of Enforcers for Adaptive Attacks: A Security Analysis Framework for Drones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022, pp. 1-11, 2022, IEEE, 979-8-3503-3190-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
44 | Samira Ait Bensaid, Mihail Asavoae, Farhat Thabet, Mathieu Jan |
Deriving Pipeline Models for Timing Analysis from High-Level HDL Processor Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022, pp. 1-8, 2022, IEEE, 979-8-3503-3190-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
44 | Itay Cohen 0001, Roi Fogler, Doron Peled |
A Reinforcement-Learning Style Algorithm for Black Box Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022, pp. 1-11, 2022, IEEE, 979-8-3503-3190-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
44 | Surinder Sood, Avinash Malik, Partha S. Roop |
Robust hardware-software Co-simulation framework for design and validation of Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022, pp. 1-11, 2022, IEEE, 979-8-3503-3190-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
44 | Vinayak S. Prabhu, Meetkumar Savaliya |
Towards Efficient Input Space Exploration for Falsification of Input Signal Class Augmented STL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022, pp. 1-11, 2022, IEEE, 979-8-3503-3190-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
44 | Matthias Schaffeld, Rebecca Bernemann, Torben Weis, Barbara König 0001, Viktor Matkovic |
Lifecycle-Based View on Cyber-Physical System Models Using Extended Hidden Markov Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022, pp. 1-5, 2022, IEEE, 979-8-3503-3190-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
44 | Anup Das 0001 |
Real-Time Scheduling of Machine Learning Operations on Heterogeneous Neuromorphic SoC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022, pp. 1-12, 2022, IEEE, 979-8-3503-3190-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
44 | Jérôme Hugues, Lutz Wrage, John Hatcliff, Danielle Stewart |
Mechanization of a Large DSML: An Experiment with AADL and Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022, pp. 1-9, 2022, IEEE, 979-8-3503-3190-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
44 | Ruiqi Hu, Kairong Liu, Zhikun She |
Reach-Avoid Verification for Time-varying Systems with Uncertain Disturbances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022, pp. 1-12, 2022, IEEE, 979-8-3503-3190-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
44 | Alex Baird, Srinivas Pinisetty, Nathan Allen, Nitish D. Patel, Partha S. Roop |
Runtime Verification for Clinically Interpretable Arrhythmia Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022, pp. 1-10, 2022, IEEE, 979-8-3503-3190-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
44 | Surinder Sood, Avinash Malik, Partha S. Roop |
A novel approach to Real-time contract based reasoning for Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022, pp. 1-11, 2022, IEEE, 979-8-3503-3190-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
44 | S. Arun-Kumar 0004, Dominique Méry, Indranil Saha, Lijun Zhang 0001 (eds.) |
MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![ACM, 978-1-4503-9127-6 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
44 | Adam Petz, Grant Jurgensen, Perry Alexander |
Design and formal verification of a copland-based attestation protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021, pp. 111-117, 2021, ACM, 978-1-4503-9127-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
44 | Nicolas Basset, Thao Dang 0001, Felix Gigler, Cristinel Mateis, Dejan Nickovic |
Sampling of shape expressions with ShapEx. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021, pp. 118-125, 2021, ACM, 978-1-4503-9127-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
44 | Mathis Niehage, Arnd Hartmanns, Anne Remke |
Learning optimal decisions for stochastic hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021, pp. 44-55, 2021, ACM, 978-1-4503-9127-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
44 | Khalil Esper, Stefan Wildermann, Jürgen Teich |
Enforcement FSMs: specification and verification of non-functional properties of program executions on MPSoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021, pp. 21-31, 2021, ACM, 978-1-4503-9127-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
44 | Kelvin Anto, Partha S. Roop, Akshya K. Swain |
Formal modelling of attack scenarios and mitigation strategies in IEEE 1588. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021, pp. 134-141, 2021, ACM, 978-1-4503-9127-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
44 | Farhaan Fowze, Tuba Yavuz |
SEESAW: a tool for detecting memory vulnerabilities in protocol stack implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021, pp. 126-133, 2021, ACM, 978-1-4503-9127-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
44 | Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi |
Online monitoring of spatio-temporal properties for imprecise signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021, pp. 78-88, 2021, ACM, 978-1-4503-9127-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
44 | Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Jean-Charles Tournier, Enrique Blanco Viñuela, Juan A. Rodríguez-Aguilar |
Simplification of numeric variables for PLC model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021, pp. 10-20, 2021, ACM, 978-1-4503-9127-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
44 | Mohammed Barhoush, Alireza Mahzoon, Rolf Drechsler |
Polynomial word-level verification of arithmetic circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021, pp. 1-9, 2021, ACM, 978-1-4503-9127-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
44 | Shenghao Yuan, Jean-Pierre Talpin |
Verified functional programming of an IoT operating system's bootloader. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021, pp. 89-97, 2021, ACM, 978-1-4503-9127-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
44 | Klaus Schneider 0001 |
Translating structured sequential programs to dataflow graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021, pp. 66-77, 2021, ACM, 978-1-4503-9127-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
44 | Felix Freiberger, Stefan Schupp, Holger Hermanns, Erika Ábrahám |
Controller verification meets controller code: a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021, pp. 98-103, 2021, ACM, 978-1-4503-9127-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
44 | Marcel Christian Werner, Klaus Schneider 0001 |
Translation of continuous function charts to imperative synchronous quartz programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021, pp. 104-110, 2021, ACM, 978-1-4503-9127-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
44 | Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop |
A secure insulin infusion system using verification monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021, pp. 56-65, 2021, ACM, 978-1-4503-9127-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
44 | Dominik Walter, Jürgen Teich |
LION: real-time I/O transfer control for massively parallel processor arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021, pp. 32-43, 2021, ACM, 978-1-4503-9127-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
44 | |
18th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020, Jaipur, India, December 2-4, 2020 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![IEEE, 978-1-7281-9148-5 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
44 | Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee 0001, Rajeev Alur |
REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020, Jaipur, India, December 2-4, 2020, pp. 1-12, 2020, IEEE, 978-1-7281-9148-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
44 | Mir Md Sajid Sarwar, Rajarshi Ray 0001, Ansuman Banerjee |
A Contrastive Plan Explanation Framework for Hybrid System Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020, Jaipur, India, December 2-4, 2020, pp. 1-11, 2020, IEEE, 978-1-7281-9148-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
44 | Mariia Vasileva, Fedor Shmarov, Paolo Zuliani |
Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020, Jaipur, India, December 2-4, 2020, pp. 1-11, 2020, IEEE, 978-1-7281-9148-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
44 | Moon Soo Kim, Weiwei Ai, Partha S. Roop, Nathan Allen, Rohit Ramchandra, Julian Paton |
Formal Modeling and Verification of Rate Adaptive Pacemakers for Heart Failure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020, Jaipur, India, December 2-4, 2020, pp. 1-11, 2020, IEEE, 978-1-7281-9148-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
44 | Jeremy Pope, Jules Saget, Carl-Johan H. Seger |
Cephalopode: A custom processor aimed at functional language execution for IoT devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020, Jaipur, India, December 2-4, 2020, pp. 1-6, 2020, IEEE, 978-1-7281-9148-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
44 | Marcelo Forets, Daniel Freire, Christian Schilling 0001 |
Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020, Jaipur, India, December 2-4, 2020, pp. 1-6, 2020, IEEE, 978-1-7281-9148-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
44 | Tuba Yavuz |
Verifying Absence of Hardware-Software Data Races using Counting Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020, Jaipur, India, December 2-4, 2020, pp. 1-6, 2020, IEEE, 978-1-7281-9148-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
44 | Paula Herber, Timm Liebrenz |
Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020, Jaipur, India, December 2-4, 2020, pp. 1-6, 2020, IEEE, 978-1-7281-9148-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
44 | Maryam Bagheri 0001, Edward A. Lee, Eunsuk Kang, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar 0001 |
Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020, Jaipur, India, December 2-4, 2020, pp. 1-10, 2020, IEEE, 978-1-7281-9148-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
44 | Piergiuseppe Mallozzi, Pierluigi Nuzzo 0002, Patrizio Pelliccione, Gerardo Schneider |
CROME: Contract-Based Robotic Mission Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020, Jaipur, India, December 2-4, 2020, pp. 1-11, 2020, IEEE, 978-1-7281-9148-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
44 | Sanjiva Prasad, R. Madhukar Yerraguntla, Subodh Sharma 0001 |
Security Types for Synchronous Data Flow Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020, Jaipur, India, December 2-4, 2020, pp. 1-12, 2020, IEEE, 978-1-7281-9148-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
44 | Tomoya Yamaguchi 0001, Bardh Hoxha, Danil V. Prokhorov, Jyotirmoy V. Deshmukh |
Specification-guided Software Fault Localization for Autonomous Mobile Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020, Jaipur, India, December 2-4, 2020, pp. 1-12, 2020, IEEE, 978-1-7281-9148-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
44 | Nikhil Naik, Pierluigi Nuzzo 0002 |
Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020, Jaipur, India, December 2-4, 2020, pp. 1-12, 2020, IEEE, 978-1-7281-9148-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
44 | Mohammed Foughali, Saddek Bensalem, Jacques Combaz, Félix Ingrand |
Runtime Verification of Timed Properties in Autonomous Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020, Jaipur, India, December 2-4, 2020, pp. 1-12, 2020, IEEE, 978-1-7281-9148-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
44 | Qiang Wang 0020, Dachuan Li, Joseph Sifakis |
Safe and efficient collision avoidance control for autonomous vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020, Jaipur, India, December 2-4, 2020, pp. 1-6, 2020, IEEE, 978-1-7281-9148-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
44 | Ratan Lal, Weikang Duan, Pavithra Prabhakar |
Bayesian Statistical Model Checking for Continuous Stochastic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020, Jaipur, India, December 2-4, 2020, pp. 1-11, 2020, IEEE, 978-1-7281-9148-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
44 | Dominik Walter, Michael Witterauf, Jürgen Teich |
Real-time Scheduling of I/O Transfers for Massively Parallel Processor Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020, Jaipur, India, December 2-4, 2020, pp. 1-11, 2020, IEEE, 978-1-7281-9148-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
44 | Jeremy Pope, Jules Saget, Carl-Johan H. Seger |
Stately: An FSM Design Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020, Jaipur, India, December 2-4, 2020, pp. 1-6, 2020, IEEE, 978-1-7281-9148-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
44 | Partha S. Roop, Naijun Zhan, Sicun Gao, Pierluigi Nuzzo 0002 (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](Pics/bibsonomy.png) |
MEMOCODE ![ACM, 978-1-4503-6997-8 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
44 | Michael Witterauf, Frank Hannig, Jürgen Teich |
Polyhedral fragments: an efficient representation for symbolically generating code for processor arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 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., pp. 8:1-8:10, 2019, ACM, 978-1-4503-6997-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
44 | Jin Woo Ro, Avinash Malik, Partha S. Roop |
A compositional semantics of Simulink/Stateflow based on quantized state hybrid automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 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., pp. 1:1-1:11, 2019, ACM, 978-1-4503-6997-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
44 | Ratan Lal, Pavithra Prabhakar |
Compositional construction of bounded error over-approximations of acyclic interconnected continuous dynamical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 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., pp. 12:1-12:5, 2019, ACM, 978-1-4503-6997-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
44 | Mohammad Hekmatnejad, Shakiba Yaghoubi, Adel Dokhanchi, Heni Ben Amor, Aviral Shrivastava, Lina J. Karam, Georgios Fainekos |
Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 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., pp. 6:1-6:11, 2019, ACM, 978-1-4503-6997-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
44 | Hammond A. Pearce, Matthew M. Y. Kuo, Partha S. Roop, Srinivas Pinisetty |
Securing implantable medical devices with runtime enforcement hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 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., pp. 3:1-3:9, 2019, ACM, 978-1-4503-6997-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
44 | Paritosh K. Pandya, Amol Wakankar |
Logical specification and uniform synthesis of robust controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 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., pp. 15:1-15:11, 2019, ACM, 978-1-4503-6997-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|