Embedded Intelligence

PUBLICATIONS

In: Conference on Algebra and Coalgebra in Computer Science - Proceedings. Conference on Algebra and Coalgebra in Computer Science (CALCO-13) September 3-6 Warsaw Poland 2013.

To the publication

In: Margaria Tiziana, Bernhard Steffen (editor). Proc. 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) October 15-18 Amirandes, Heraclion, Crete Greece Pages 238-252 Lecture Notes in Computer Science (LNCS) 7609 Springer 10/2012.

To the publication

In: Tendencias em Matematica Aplicada e Computacional (TEMA) 12 1 Pages 21-30 SBMAC Brasil 4/2011.

To the publication

In: Jonathan Aldrich, Ricardo Massa (editor). 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 9/2010.

To the publication

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.

To the publication

In: K. Breitman, A. Cavalcanti (editor). Proceedings of the 11th International Conference on Formal Engineering Methods. International Conference on Formal Engineering Methods (ICFEM-2009) December 9-12 Rio de Janeiro Brazil Lecture Notes in Computer Science (LNCS) 5885 Springer 2009.

To the publication

In: Orna Grumberg, Michael Huth (editor). TACAS 2007. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-2007) 13th located at the European Joint Conferences on Theory and Practice of Software (ETAPS 2007) March 24-April 1 Braga Portugal Pages 519-522 Lecture Notes in Computer Science (LNCS) 4424 Springer-Verlag Heidelberg 2007.

To the publication

In: Bernhard Beckert (editor). VERIFY 2007, 4th International Verification Workshop. Pages 119-135 CEUR Workshop Proceedings 259 2007.

To the publication

Contact

Office:
Jane Bensch, B.A.
Phone: +49 631 20575 4010

German Research Center for
Artificial Intelligence GmbH (DFKI)
Research Department Embedded Intelligence
Trippstadter Str. 122
67663 Kaiserslautern
Germany

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz