RISD - Rigorous System Design Laboratory

Publication Type

• Conference Papers (82)
• Journal Articles (29)
• Reports (13)
• Student Projects (6)
• Talks (3)
• Theses (3)
• Book Chapters (1)

Lab

• RISD (137)
• LCA2 (8)
• LSI1 (4)
• LSI2 (2)
• DCL (1)
• LTS5 (1)

Publication Year

• 2018 (1)
• 2017 (11)
• 2016 (15)
• 2015 (15)
• 2014 (20)
• 2013 (6)
• 2012 (6)
• 2011 (6)
• 2010 (7)
• 2009 (8)
• 2008 (6)
• 2007 (6)
• 2006 (4)
• 2005 (7)
• 2004 (2)
• 2003 (2)
• 2002 (1)
• 2001 (2)
• 2000 (4)
• 1999 (3)
• 1998 (2)
• 1997 (1)
• 1996 (1)
• 1995 (1)

Show more

Journal

• Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (6)
• Journal of Logical and Algebraic Methods in Programming (3)
• Science of Computer Programming (3)
• IEEE Transactions on Industrial Informatics (2)
• Lecture Notes in Computer Science (2)
• Proceedings of the IEEE (2)
• Real-Time Systems (2)
• 2012 International Conference On Embedded Computer Systems (Samos) (1)
• 2013 11th IEEE International Conference on Industrial Informatics (INDIN) (1)
• 9th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) (1)
• ACM Transactions on Software Engineering and Methodology (1)
• Automated Technology for Verification and Analysis. Proceedings 6th International Symposium, ATVA 2008 (1)
• Central European Journal of Computer Science (1)
• Communications of the ACM (1)
• ComPlexUs, Special Issue: Complex Systems -- European Conference -- November 2005 -- Selected Papers -- Part 1 (1)
• Composition of Embedded Systems. Scientific and Industrial Issues. 13th Monterey Workshop 2006. Revised Selected Papers (1)
• Compositionality: Significant Difference. International Symposium, COMPOS '97. Revised Lectures (1)
• Computer (1)
• Computer Aided Verification. 11th International Conference, CAV'99. Proceedings (1)
• Computer Aided Verification. 13th International Conference, CAV 2001. Proceedings (1)
• CONCUR 2008 - Concurrency Theory (1)
• Distributed Computing. Proceedings 23rd International Symposium, DISC 2009 (1)
• Electronic Journal of Combinatorics (1)
• Electronic Proceedings in Theoretical Computer Science (1)
• Embedded Real Time Software and Systems (1)
• Embedded Systems Week 2009 - Proceedings of the 7th ACM International Conference on Embedded Software, EMSOFT '09 (1)
• Embedded Systems Week 2010 - Proceedings of the 10th ACM International Conference on Compilers, Architecture and Synthesis for Embedded Systems, EMSOFT'10 (1)
• FM 2006: Formal Methods. 14th International Symposium on Formal Methods. Proceedings (1)
• FMCO 2007 (1)
• Formal Aspects of Computing (1)
• Formal Methods for Components and Objects. First International Symposium, FMCO 2003. Revised Lectures (1)
• Formal Methods for Components and Objects. Second International Symposium, FMCO 2003. Revised Lectures (1)
• Formal Methods for the Design of Real-Time Systems. International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004. Revised Lectures (1)
• Formal Methods in System Design (1)
• Formal Techniques in Real-Time and Fault-Tolerant Systems. 6th International Symposium, FTRTFT 2000. Proceedings (1)
• Foundations and Trends® in Electronic Design Automation (1)
• Fourth IEEE International Conference on Software Engineering and Formal Methods (1)
• From Programs To Systems: The Systems Perspective In Computing (1)
• Fundamenta Informaticae (1)
• Hybrid and Real- Time Systems. International Workshop, HART'97. Proceedings (1)
• ICE 2010: Structured Interactions (1)
• ICE 2012: Distributed coordination, execution models, and resilient interaction (1)
• IEEE Software (1)
• IEEE Transactions on Computers (1)
• IET Software (1)
• Information and Computation (1)
• International Journal on Artificial Intelligence Tools (IJAIT) (1)
• Journal Of Network And Computer Applications (1)
• Mathematical and Engineering Methods in Computer Science (1)
• Mathematical Structures in Computer Science (1)
• Proc. of IEEE Int. Conf. on Wireless and Mobile Computing, Networking and Communications (1)
• Proc. of the 7th Workshop on Algorithm Engineering and Experiments and the 2nd Workshop on Analytic Algorithmics and Combinatorics (1)
• Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000 (1)
• Proceedings - 2009 IEEE International Symposium on Industrial Embedded Systems, SIES 2009 (1)
• Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054) (1)
• Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM (1)
• Proceedings - 6th IEEE International Symposium on Network Computing and Applications, NCA 2007 (1)
• Proceedings -Design, Automation and Test in Europe, DATE '05 (1)
• Proceedings of the 10th ACM International Conference on Embedded Software (1)
• Proceedings of the 10th International ModelicaConference (1)
• Proceedings of the 10th International Symposium on Trustworthy Global Computing (1)
• Proceedings of the 11th International Symposium on Formal Aspects of Component Software (1)
• Proceedings of the 12th International Conference on Formal Aspects of Component Software (1)
• Proceedings of the 12th International Conference on Software Engineering and Formal Methods (1)
• Proceedings of the 13th International Conference on Formal Aspects of Component Software (1)
• Proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis (1)
• Proceedings of the 14th International Conference on Formal Modelling and Analysis of Timed Systems (1)
• Proceedings of the 17th International ACM Sigsoft Symposium on Component-Based Software Engineering (1)
• Proceedings of the 19th International Conference on Coordination Languages and Models (1)
• Proceedings of the 1st International Workshop on Worst-Case Traversal Time (1)
• Proceedings of the 1st Symposium on Dependable Software Engineering Theories, Tools and Applications (1)
• Proceedings of the 20th International Conference on Engineering of Complex Computer Systems (1)
• Proceedings of the 27th International Conference on Concurrency Theory (CONCUR 2016) (1)
• Proceedings of the 38th International Conference of the IEEE Engineering in Medicine and Biology (1)
• Proceedings of the 5th ACM International Conference on Embedded Software, EMSOFT 2005 (1)
• Proceedings of the 5th Workshop on Medical Cyber-Physical Systems (1)
• Proceedings of the 6th International Workshop on Modeling in Software Engineering - MiSE 2014 (1)
• Proceedings of the 6th Workshop on Medical Cyber-Physical Systems (1)
• Proceedings of the 7th ACM & IEEE international conference on Embedded software (1)
• Proceedings of the 8th Interaction and Concurrency Experience (1)
• Proceedings of the 9th Interaction and Concurrency Experience (1)
• Proceedings of the Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics (EXPRESS/SOS 2016) (1)
• Proceedings of the IEEE Conference on Decision and Control (1)
• Proceedings of the IEEE International Conference on Bioinformatics and Bioengineering (BIBE), 2014 (1)
• Program Analysis and Compilation, Theory and Practice (1)
• SDL '99. The Next Millennium. Proceedings of the Ninth SDL Forum (1)
• Security And Communication Networks (1)
• SOFSEM 2007: Theory and Practice of Computer Science (1)
• Software Composition (1)
• Software Practice and Experience (1)
• Software, Services, and Systems (1)
• STACS 95 (1)
• STACS 96. 13th Annual Symposium on Theoretical Aspects of Computer Science. Proceedings (1)
• TACAS 2000: Tools and Algorithms for the Construction and Analysis of Systems (1)
• Third IEEE International Conference on Software Engineering and Formal Methods (1)

Show more