International Conference on Formal Methods and Models for Co-Design
MEMOCODE
C
CORE rank
CORE rank (raw)
C
Fields of research
Software Engineering · Theory of Computation
Papers indexed
528
2003–2025
Papers per year
200336 peak2025
Most published authors
MEMOCODE papers
528 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2003 | Translating Fusion/UML to Object-Z. | Margot Bittner, Florian Kammller |
| 2003 | How to Compute the Refinement Relation for Parameterized Systems. | Franoise Bellegarde, Celina Charlet, Olga Kouchnarenko |
| 2003 | Bluespec: A language for hardware design, simulation, synthesis and verification Invited Talk. | Arvind |
526–528 of 528← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*ICSEInternational Conference on Software Engineering
- AOOPSLAACM Conference on Object Oriented Programming Systems Languages and Applications
- AMODELSInternational Conference on Model Driven Engineering Languages and Systems (Previously UML, changed in 2005)
- AREIEEE International Requirements Engineering Conference
- ABPMInternational Conference in Business Process Management
- AISSREInternational Symposium on Software Reliability Engineering
- AICSTInternational Conference on Software Testing, Verification and Validation
- A*SIGMETRICSMeasurement and Modeling of Computer Systems