Forschungsprojekt
FormalSafe - Formale Entwicklung für Sichere Robotik
FormalSafe zielt auf die computergestützte Verwaltung der vielen Arten von Dokumenten, die in der Entwicklung hochzuverlässiger Systeme vorkommen, mit Anwendungen auf dem Gebiet der Sicheren Robotik.
Kontakt
Ansprechpartner:
Prof. Dr. Dieter Hutter
Projektleitung:
Prof. Dr. Dieter Hutter
Homepage:
http://www.informatik.uni-bremen.de/dfki-sks/formalsafe
Beteiligte Forschungsbereiche
Publikationen
- 2012
- Serge Autexier; Dominik Dietrich; Dieter Hutter; Christoph Lüth; Christian Maeder
SmartTies - Management of Safety-Critical Developments.
In: Tiziana Margaria; Bernhard Steffen (Hrsg.). Proceedings 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLa'12). International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA-12), 5th, October 15-18, Amirandes, Heraclion, Crete, Greece, Lecture Notes in Computer Science (LNCS), Springer, 10/2012.
- 2011
- Corina Cirstea; Alexander Kurz; Dirk Pattinson; Lutz Schröder; Yde Venema
Modal logics are coalgebraic.
In: The Computer Journal, Vol. 54, No. 1, Pages 31-41, Oxford University Press, Oxford, 2011. - Lutz Schröder; Dirk Pattinson
Modular Algorithms for Heterogeneous Modal Logics via Multi-Sorted Coalgebra.
In: Mathematical Structures in Computer Science (MSCS), Vol. 21, No. 2, Pages 235-266, Cambridge University Press, Cambridge, 3/2011. - Lutz Schröder; Dirk Pattinson
Description Logics and Fuzzy Probability.
In: Toby Walsh (Hrsg.). 22nd International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence (IJCAI-2011), July 16-22, Barcelona, Spain, AAAI Press, Menlo Park, CA, 2011. - Regivan Hugo Nunes Santiago; Christian Maeder
Linguistic Variables of Type-N - a Mathematical Model.
In: Tendencias em Matematica Aplicada e Computacional (TEMA), Vol. 12, No. 1, Pages 21-30, SBMAC, Brasil, 4/2011. - Serge Autexier; Catalin David; Dominik Dietrich; Michael Kohlhase; Vyacheslav Zholudev
Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics .
In: James H. Davenport; William Farmer; Florian Rabe; Joseph Urban (Hrsg.). Proceedings of Calculemus/MKM 2011. Conferences on Intelligent Computer Mathematics (CICM-11), 10th International Conference on Mathematical Knowledge Management , located at Conference on Intelligent Computer Mathematics, July 18-23, Bertonori, Italy, Pages 164-179, LNAI, No. 6824, Springer-Verlag, Berlin Heidelberg, 7/2011.
- 2010
- Till Mossakowski; Lutz Schröder; Sergey Goncharov
A Generic Complete Dynamic Logic for Reasoning about Purity and Effects.
In: Formal Aspects of Computing (FAC), Vol. 22, No. 3-4, Pages 363-384, Springer, Berlin, 5/2010. - Andrea Kohlhase; Milena Reichel
Social Tagging and Learning: The Fuzzy Line between Private and Public Space.
In: Nikos Karacapilidis (Hrsg.). Novel Developments in Web-Based Learning Technologies: Tools for Modern Teaching. Chapter 11, Pages 199-210, Advances in Web-based Learning (AWBL), Information Science Reference, 1/2010. - Andrea Kohlhase; Michael Kohlhase; Christoph Lange
Dimensions of Formality: A Case Study for MKM in Software Engineering.
In: Intelligent Computer Mathematics. International Conference on Mathematical Knowledge Management (MKM-10), located at CICM, July 8-10, Paris, France, Lecture Notes on Artificial Intelligence (LNAI), Springer Verlag, 2010. - Mihai Codescu; Till Mossakowski; Adrian Riesco; Christian Maeder
Integrating Maude into HETS.
In: Proceedings of the 13th International Conference on Algebraic Methodology and Software Technology. International Conference on Algebraic Methodology and Software Technology (AMAST-2010), Thirteenth, June 23-25, Manoir St-Castin, Quebec, Canada, LNCS, Springer, 2010. - Marco Franke; Patrick Klein; Lutz Schröder
Ontological Semantics of Standards and PLM Repositories in the Product Development Phase.
In: Alain Bernard (Hrsg.). Proceedings of the 20th CIRP Design Conference 2010. CIRP Design Conference (CIRP Design-2010), Global Product Development, April 19-21, Nantes, France, Springer, 2010. - Rajeev Gore; Clemens Kupke; Dirk Pattinson; Lutz Schröder
Global Caching for Coalgebraic Description Logics.
In: Jürgen Giesl; Reiner Haehnle (Hrsg.). Proceeding of the 5th International Joint Conference on Automated Reasoning. International Joint Conference on Automated Reasoning (IJCAR-2010), 5th, located at FLoC 2010, July 16-19, Edinburgh, United Kingdom, Lecture Notes in Computer Science (LNCS), Springer, 2010. - Daniel Hausmann; Lutz Schröder
Optimizing Conditional Logic Reasoning within CoLoSS.
In: Thomas Bolander; Torben Braüner (Hrsg.). Methods for Modalities (M4M-6, 2009). Methods for Modalities (M4M-6), 6th Workshop on Methods for Modalities, November 12-14, Kopenhagen, Denmark, Pages 157-171, Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 262, Elsevier, Amsterdam, 5/2010. - Carsten Lutz; Lutz Schröder
Probabilistic Description Logics for Subjective Uncertainty.
In: Fangzhen Lin; Ulrike Sattler (Hrsg.). Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning. International Conference on Principles of Knowledge Representation and Reasoning (KR-2010), 12th, May 9-13, Toronto, Ontario, Canada, AAAI Press, Menlo, CA, 5/2010. - Lutz Schröder; Dirk Pattinson
Coalgebraic correspondence theory.
In: Luke Ong (Hrsg.). Proceedings of the 13th International Conference on Foundations of Software Science and Computation Structures. International Conference on Foundations of Software Science and Computation Structures (FoSSaCS-2010), 13th, located at ETAPS 2010, March 20-28, Paphos, Cyprus, Pages 328-342, Lecture Notes in Computer Science, Vol. 6014, Springer, Berlin, 3/2010. - Lutz Schröder; Dirk Pattinson; Daniel Hausmann
Optimal Tableaux for Conditional Logics with Cautious Monotonicity.
In: Michael Wooldridge (Hrsg.). Proceedings of the 19th European Conference on Artificial Intelligence. European Conference on Artificial Intelligence (ECAI-2010), 19th, August 16-20, Lisbon, Portugal, Frontiers in Artificial Intelligence and Applications, IOS Press, 8/2010. - Lutz Schröder; Yde Venema
Flat coalgebraic fixed point logics.
In: Paul Gastin; François Laroussinie (Hrsg.). Proceedings of the 21st International Conference on Concurrency Theory. International Conference on Concurrency Theory (CONCUR-2010), 21st, August 31 - September 3, Paris, France, Lecture Notes in Computer Science, Springer, Berlin, 8/2010. - Serge Autexier; Jacques Calmet; David Delahaye; Patrick D. F. Ion; Laurence Rideau; Renaud Rioboo; Alan P. Sexton (Hrsg.)
Intelligent Computer Mathematics 2010 (CICM 2010).
Conferences on Intelligent Computer Mathematics (CICM-10), 10th International Conference AISC 2010, 17th Symposium Calculemus 2010 and 9th International Conference MKM 2010, located at Conferences on Intelligent Computer Mathematics, July 5-10, Paris, France, LNCS (LNCS), Vol. 6167, ISBN 978-3-642-14127-0, Springer, Heidelberg, Germany, 7/2010. - Serge Autexier; Dominik Dietrich
A Tactic Language for Declarative Proofs.
In: Matt Kaufmann; Lawrence C. Paulson (Hrsg.). Proceedings International Conference on Interactive Theorem Proving. International Conference on Interactive Theorem Proving (ITP-2010), July 11-14, Edinburgh, United Kingdom, Pages 99-114, Lecture Notes in Computer Sciences (LNCS), Vol. 6172, Springer, 7/2010. - Serge Autexier; Normen Müller
Semantics-Based Change Impact Analysis for Heterogeneous Collections of Documents.
In: Michael Gormish; Rolf Ingold (Hrsg.). Proceedings of 10th ACM Symposium on Document Engineering. ACM Symposium on Document Engineering (DocEng-10), September 21-24, Manchester, United Kingdom, ACM, 9/2010. - Serge Autexier; Christoph Lüth
Adding Change Impact Analysis to the Formal Verification of C Programs.
In: Dominique Méry; Stephan Merz (Hrsg.). Proceedings 8th International Conference on Integrated Formal Methods. International Conference on Integrated Formal Methods (IFM-10), October 11-14, Nancy, France, LNCS, Springer, 10/2010. - Serge Autexier; Petr Sojka; Masakazu Suzuki
Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge (Foreword).
In: Journal Mathematics in Computer Science, Vol. 3, No. 3, Pages 225-226, Birkhaeuser, Basle, Switzerland, 3/2010. - Andrea Kohlhase
Towards User Assistance for Documents via Interactional Semantic Technology.
In: Conference Proceedings of KI'10. German Conference on Artificial Intelligence (KI), September 21-24, Karlsruhe, Germany, IEEE, 2010. - Andrea Kohlhase; Michael Kohlhase; Christoph Lange
sTeX+ - A System for Flexible Formalization of Linked Data.
In: Proceedings the 6the International Conference on Semantic Systems. International Conference on Semantic Systems (I-Semantics-10), September 1-3, Graz, Austria, arXiv.org, 2010. - Andrea Kohlhase; Michael Kohlhase
What we understand is we get: Assessment in Spreadsheets.
In: Proceedings of the EuSpRIG-Conference 2010. European Spreadsheet Risks Interest Group (EuSpRIG-10), July 15-16, Greenwich, United Kingdom, EuSpRIG, 2010. - David Aspinall; Ewen Denney; Christoph Lüth
Tactics for Hierarchical Proofs.
In: Journal Mathematics in Computer Science, Vol. 3, Pages 309-330, Birkhäuser, 3/2010. - Maksym Bortin; Christoph Lüth
Structural Formal Development with Quotient Types in Isabelle/HOL.
In: 10th International Conference on Artificial Intelligence and Symbolic Computation. International Conference on Artificial Intelligence and Symbolic Computation (AISC-2010), 10th, located at Intelligent Computer Mathematics 2010 (CICM 2010), July 5-10, Paris, France, Pages 34-48, Lecture Notes in Computer Science, Vol. 6167, Springer, 2010. - Glauber Cabral; Christian Maeder; Till Mossakowski; Lutz Schröder
Creating a HasCASL library.
In: Jonathan Aldrich; Ricardo Massa (Hrsg.). 14th Brazilian Symposium on Programming Languages. Brazilian Symposium on Programming Languages (SBLP-10), located at Brazilian Conference on Software: Theory and Practice, September 27 - October 1, Salvador-Bahia, Brazil, o.A. 9/2010. - Dirk Pattinson; Lutz Schröder
Cut Elimination in Coalgebraic Logics.
In: Information and Computation (Inform. Comput.), Vol. 208, Pages 1447-1468, Elsevier, Amsterdam, 12/2010.
- 2009
- Lutz Schröder; Till Mossakowski
HasCASL: Integrated Higher-Order Specification and Program Development.
In: Theoretical Computer Science, Vol. 410, No. 12-13, Pages 1217-1260, Elsevier, 2009. - Andrea Kohlhase; Michael Kohlhase
What you get is what you understand: Assessment in SACHS.
In: Christoph Lange; Jochen Reutelshöfer (Hrsg.). Wissens- und Erfahrungsmanagement: LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings. GI-Workshop "Wissens- und Erfahrungsmanagement" (FGWM-09), located at LWA (Lernen, Wissensentdeckung und Adaptivität), September 21-23, Darmstadt, Germany, Pages 22-29, TU Darmstadt, 2009. - Andrea Kohlhase; Michael Kohlhase
Semantic Transparency in User Assistance Systems.
In: Proceedings of the 27th annual ACM International Conference on Design of Communication. ACM International Conference on Design of Communication (SIGDOC-09), October 5-7, Bloomington, IN, United States, Pages 89-96, ACM Press, 2009. - Andrea Kohlhase; Michael Kohlhase
Modeling Task Experience in User Assistance Systems.
In: Proceedings of the 27th annual ACM International Conference on Design of communication. ACM International Conference on Design of Communication (SIGDOC-09), October 5-7, Bloomington, IN, United States, Pages 135-142, ACM Press, 2009. - Marvin Schiller; Christoph Benzmüller
Presenting Proofs with Adapted Granularity.
In: Bärbel Mertsching; Marcus Hund; Zaheer Aziz (Hrsg.). KI 2009: Advances in Artificial Intelligence. German Conference on Artificial Intelligence (KI-09), 32nd, September 15-18, Paderborn, Germany, Pages 289-279, LNAI, Vol. 5803, Springer Verlag, 2009. - Marvin Schiller; Christoph Benzmüller
Proof Granularity as an Empirical Problem?.
In: CSEDU 2009: 1st International Conference on Computer Supported Education. International Conference on Computer Supported Education (CSEDU-09), March 23-26, Lisboa, Portugal, INSTICC Press, 2009. - Marvin Schiller; Christoph Benzmüller
Granularity-Adaptive Proof Presentation.
SEKI Working-Paper, SEKI Working-Paper, Vol. SWP-2009-01, 2009. - Marvin Schiller; Christoph Benzmüller
Granularity-Adaptive Proof Presentation.
In: Vania Dimitrova; Riichiro Mizoguchi; Benedict du Boulay; Art Graesser (Hrsg.). Artificial Intelligence in Education -- Building Learning Systems tat Care: From Knowledge Representation to Affective Modelling. International Conference on Artificial Intelligence in Education (AIED-09), July 6-10, Brighton, United Kingdom, Pages 599-601, Vol. 200, IOS Press, 2009. - Claus-Peter Wirth; Jörg Siekmann; Christoph Benzmüller; Serge Autexier
Jacques Herbrand: Life, Logic, and Automated Deduction.
In: Dov M. Gabbay; John Woods. Logic from Russell to Church. Pages 195-254, Handbook of The History of Logic, Vol. 5, Elsevier, 6/2009. - Serge Autexier; Dominik Dietrich
Atomic Metadeduction.
In: Bärbel Mertsching (Hrsg.). Proceedings 32nd Annual German Conference on Artificial Intelligence. German Conference on Artificial Intelligence (KI-09), 32nd, September 15-18, Paderborn, Germany, Lectures Notes in Computer Science (LNCS), Springer, 9/2009. - Sergey Goncharov; Lutz Schröder; Till Mossakowski
Kleene Monads: Handling Iteration in a Framework of Generic Effects.
In: Alexander Kurz; Andrzej Tarlecki (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science (CALCO-09), Third International Conference, September 6-10, Udine, Italy, Pages 18-33, Lecture Notes in Computer Science (LNCS), Vol. 5728, Springer, Berlin, 9/2009. - Michael Kohlhase; Johannes Lemburg; Lutz Schröder; Ewaryst Schulz
Formal Management of CAD/CAM Processes.
In: Ana Cavalcanti; Dennis Dams (Hrsg.). Formal Methods. International Symposium on Formal Methods (FM-09), 16th, November 2-6, Eindhoven, Netherlands, Pages 223-238, Lecture Notes in Computer Science (LNCS), Vol. 5850, Springer, Berlin, 11/2009. - Dominik Dietrich; Ewaryst Schulz
Crystal: Integrating Structured Queries into a Tactic Language.
In: Journal of Automated Reasoning (JAR), Vol. 43, No. 3, Pages 1-32, Springer, 2009. - Bärbel Mertsching (Hrsg.)
Proceedings of the 32nd Annual German Conference on Artificial Intelligence: AI und Automation.
German Conference on Artificial Intelligence (KI-09), September 15-18, Paderborn, Germany, Lecture Notes in Artificial Intelligence (LNAI), Springer-Verlag, Berlin, Heidelberg, 2009. - Dieter Hutter
Semantic Management of Heterogeneous Documents.
In: Proceedings of the Mexican International Conference on Artificial Intelligence. Mexican International Conference on Artificial Intelligence (MICAI-2009), November 9 - October 13, Guanajuato, Mexico, Lecture Notes on Artificial Intelligence (LNAI), Vol. 5845, Springer, 2009.
- 2008
- Serge Autexier; Christoph Benzmüller; Dominik Dietrich; Marc Wagner
Organisation, Transformation, and Propagation of Mathematical Knowledge in OMEGA.
In: Mathematics in Computer Science, Special Issue on Mathematical Knowledge Management. Vol. Online First, Pages o.A-o.A. Birkhäuser, 2008. - Serge Autexier; John Campbell; Julio Rubio; Volker Sorge; Masakazu Suzuki; Freek Wiedijk (Hrsg.)
Intelligent Computer Mathematics. Proceedings of the 9th International Conference (AISC-2008), 15th Symposium (Calculemus-2008), 7th International Conference (MKM-2008).
Intelligent Computer Mathematics. 9th International Conference (AISC-2008), 15th Symposium (Calculemus-2008), 7th International Conference (MKM-2008) (MKM-08), located at Conferences on Intelligent Computer Mathematics, CICM'08, July 28 - August 1, Birmingham, United Kingdom, Lecture Notes in Computer Science/ Lecture Notes in Artificial Intelligence (LNCS/ LNAI), Vol. 5144, ISBN 978-3-540-85109-7, Springer, Berlin, Heidelberg, 2008. - Till Mossakowski; Lutz Schröder; Sergey Goncharov
A generic complete dynamic logic for reasoning about purity and effects.
In: J. Fiadeiro; P. Inverardi (Hrsg.). Fundamental Approaches to Software Engineering. Fundamental Approaches to Software Engineering (FASE-08), located at 11th Conference of the European Joint Conferences on Theory and Practice of Software (ETAPS 2008), March 29 - April 6, Budapest, Hungary, Pages 199-214, Lecture Notes in Computer Science (LNCS), Vol. 4961, Springer, 2008. - Serge Autexier; Heiko Mantel; Stephan Merz; Tobias Nipkow (Hrsg.)
Special Issue on Formal Modeling and Verification of Critical Systems.
Journal of Automated Reasoning, Vol. 41, No. 3-4, Springer Netherlands, 12/2008. - Lutz Schröder
Bootstrapping Inductive and Coinductive Types in HasCASL.
In: Logical Methods in Computer Science (LMCS), Vol. 4, No. 4:17, Pages 1-27, o.A. 2008. - Serge Autexier; Christoph Benzmueller; Dominik Dietrich; Marc Wagner
Organisation, Transformation, and Propagation of Mathematical Knowledge in OMEGA.
In: Manfred Kerber (Hrsg.). Journal Mathematics in Computer Science, Vol. 2, No. 2, Pages 253-277, Birkhäuser, 12/2008. - Dominik Dietrich; Ewaryst Schulz
CRStL: A Declarative Language for the Encoding of Proof Techniques.
In: Workshop on Programming Languages for Mechanized Mathematics Systems. Conferences on Intelligent Computer Mathematics (CICM-08), July 29, Birmingham, United Kingdom, Pages 16-28, o.A. 2008. - Dominik Dietrich; Ewaryst Schulz; Marc Wagner
Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors.
In: Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics. Conferences on Intelligent Computer Mathematics (CICM-08), July 31 - August 1, Birmingham, United Kingdom, Pages 398-414, Lecture Notes in Artificial Intelligence (LNAI), Vol. 5144, Springer, Berlin, Heidelberg, 2008.