Authors: Saatkamp, Karoline, Breitenbücher, Uwe, Falkenthal, Michael, Harzenetter, Lukas, Leymann, Frank

Contributors: Institut für Architektur von Anwendungssystemen (IAAS)

Superior Title: In: Proceedings of the 9th International Conference on Cloud Computing and Services Science (CLOSER 2019), pp. 495-506

Subject Terms: Distributed Systems (CR C.2.4), Software Engineering Design Tools and Techniques (CR D.2.2), Software Engineering Interoperability (CR D.2.12), Management of Computing and Information Systems (CR K.6), deployment model, pattern, logic programming, pattern-based solution, model adaptation, TOSCA

Relation: http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2019-11&engl=1

Availability: https://doi.org/10.5220/0007763204950506
http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2019-11&engl=1

Authors: Saatkamp, Karoline, Breitenbücher, Uwe, Kopp, Oliver, Leymann, Frank

Contributors: IPVS, Anwendersoftware, Institut für Architektur von Anwendungssystemen (IAAS)

Superior Title: In: SICS Software-Intensive Cyber-Physical Systems, pp. 1-13

Subject Terms: Distributed Systems (CR C.2.4), Software Engineering Design Tools and Techniques (CR D.2.2), Software Engineering Interoperability (CR D.2.12), Management of Computing and Information Systems (CR K.6), Topology-based deployment model, Patterns, Problem detection, TOSCA, Logic programming, Prolog

Relation: http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2019-03&engl=1

Availability: https://doi.org/10.1007/s00450-019-00397-7
http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2019-03&engl=1

Authors: Andrikopoulos, Vasilios

Contributors: Institut für Architektur von Anwendungssystemen (IAAS)

Superior Title: In: Hasselbring, Wilhelm (ed.); Ehmke, Nils Christian (ed.): Software Engineering 2014, pp. 55-56

Subject Terms: Software Engineering Distribution, Maintenance, and Enhancement (CR D.2.7), Software Engineering Interoperability (CR D.2.12), Mathematical Logic and Formal Languages General (CR F.4.0)

Relation: Series of the Gesellschaft für Informatik (GI); P-227; http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2014-18&engl=1

Availability: http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2014-18&engl=1

Authors: Gherman, Valentin, Wunderlich, Hans-Joachim, Mascarenhas, Rio, Schloeffel, Juergen, Garbers Michael

Contributors: ITI, Rechnerarchitektur

Superior Title: In: Proceedings of the 17th great lakes symposium on Great lakes symposium on VLSI, Stresa-Lago Maggiore, Italy, March 11-13, 2007, pp. 287-292

Subject Terms: Logic Design, Design Aids (CR B.6.3), logic synthesis, incompletely specified functions

Relation: http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-86&engl=1

Availability: https://doi.org/10.1145/1228784.1228856
http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-86&engl=1

Authors: Lohrey, Markus

Contributors: FMI, Theoretische Informatik

Superior Title: ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/HABIL-2003-01/HABIL-2003-01.pdf

Subject Terms: Grammars and Other Rewriting Systems (CR F.4.2), Models of Computation (CR F.1.1), Complexity Measures and Classes (CR F.1.3), Mathematical Logic (CR F.4.1), Mathematical Logic, Word problems, Groups, Monoids, Decidability, Complexity, Cayley-graphs

File Description: application/pdf; 2434068 Bytes

Relation: http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=HABIL-2003-01&engl=1

Availability: http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=HABIL-2003-01&engl=1

Authors: Kufleitner, Manfred, Lauser, Alexander

Contributors: FMI, Theoretische Informatik

Superior Title: ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/TR-2013-07/TR-2013-07.pdf

Subject Terms: Mathematical Logic (CR F.4.1), Formal Languages (CR F.4.3), regular language, finite monoid, positive variety, first-order logic

File Description: application/pdf; 611034 Bytes

Relation: Technical Report No. 2013/07; http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=TR-2013-07&engl=1

Availability: http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=TR-2013-07&engl=1

Authors: Kufleitner, Manfred, Lauser, Alexander

Contributors: FMI, Theoretische Informatik

Superior Title: ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/TR-2012-03/TR-2012-03.pdf

Subject Terms: Mathematical Logic and Formal Languages General (CR F.4.0), Formal Languages (CR F.4.3), fragments, first-order logic, monadic second-order logic, C-varieties of languages, formal language theory

File Description: application/pdf; 443347 Bytes

Relation: Technical Report No. 2012/03; http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=TR-2012-03&engl=1

Availability: http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=TR-2012-03&engl=1

Authors: Kufleitner, Manfred, Lauser, Alexander

Contributors: FMI, Theoretische Informatik

Superior Title: ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/TR-2011-03/TR-2011-03.pdf

Subject Terms: Mathematical Logic (CR F.4.1), Formal Languages (CR F.4.3), finite semigroups, dot-depth, regular languages, first-order logic

File Description: application/pdf; 494995 Bytes

Relation: Technical Report No. 2011/03; http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=TR-2011-03&engl=1

Availability: http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=TR-2011-03&engl=1

Authors: Föll, Stefan, Herrmann, Klaus, Rothermel, Kurt

Contributors: IPVS, Verteilte Systeme

Superior Title: In: Proceedings of the 8th International Conference on Ubiquitous Intelligence and Computing (UIC 2011), pp. 1-15 ; ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2011-49/INPROC-2011-49.pdf

Subject Terms: Probability and Statistics (CR G.3), Artificial Intelligence Learning (CR I.2.6), Model Validation and Analysis (CR I.6.4), Context Prediction, Semi-Markov Model, Stochastic Model Checking, Temporal Logic

File Description: application/pdf; 224133 Bytes

Relation: Lecture Notes in Computer Science; http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2011-49&engl=1

Availability: http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2011-49&engl=1

Authors: Becht, Michael, Gurzki, Thorsten, Klarmann, Jürgen, Muscholl, Matthias

Contributors: Verteilte Systeme (IPVR)

Superior Title: In: Proceedings of the Fourth International Conference on Cooperative Information Systems (CoopIS'99), pp. 325-333

Subject Terms: Mathematical Logic and Formal Languages (CR F.4), Cooperation Architecture, Multi Agent Framework

Relation: IEEE Computer Society; http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1999-16&engl=1

Availability: http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1999-16&engl=1

Authors: Kallas, Jakub, Kufleitner, Manfred, Lauser, Alexander

Contributors: FMI, Theoretische Informatik,

Superior Title: ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/TR-2010-08/TR-2010-08.pdf

Subject Terms: Mathematical Logic (CR F.4.1), Formal Languages (CR F.4.3), infinite words, regular languages, first-order logic, automata theory, semigroups, topology

File Description: application/pdf; 435330 Bytes

Relation: Technical Report No. 2010/08; http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=TR-2010-08&engl=1

Availability: http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=TR-2010-08&engl=1

Authors: Kufleitner, Manfred, Lauser, Alexander

Contributors: FMI, Theoretische Informatik

Superior Title: ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/TR-2010-03/TR-2010-03.pdf

Subject Terms: Models of Computation (CR F.1.1), Mathematical Logic (CR F.4.1), infinite words, two-way Büchi automaton, first-order logic

File Description: application/pdf; 441734 Bytes

Relation: Technical Report No. 2010/03; http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=TR-2010-03&engl=1

Availability: http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=TR-2010-03&engl=1

Authors: Dartois, Luc, Kufleitner, Manfred, Lauser, Alexander

Contributors: FMI, Theoretische Informatik

Superior Title: ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/TR-2010-01/TR-2010-01.pdf

Subject Terms: Mathematical Logic (CR F.4.1), Formal Languages (CR F.4.3), infinite words, first-order logic, temporal logic, ranker, interval logic

File Description: application/pdf; 448583 Bytes

Relation: Technical Report No. 2010/01; http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=TR-2010-01&engl=1

Availability: http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=TR-2010-01&engl=1

Authors: Metzger, Andreas, Benbernou, Salima, Carro, Manuel, Driss, Maha, Kecskemeti, Gabor, Kazhamiakin, Raman, Krytikos, Kyriakos, Mocci, Andrea, Di Nitto, Elisabetta, Wetzstein, Branimir, Silvestri, Fabrizio

Contributors: Institut für Architektur von Anwendungssystemen (IAAS)

Superior Title: In: Papazoglou, M. (ed.); Pohl, K. (ed.); Parkin, M. (ed.); Metzger, A. (ed.): Service Research Challenges and Solutions for the Future Internet: S-Cube - Towards Engineering, Managing and Adapting Service-Based Systems, pp. 209-270

Subject Terms: Computer-Communication Networks (CR C.2), Logics and Meanings of Programs (CR F.3), Software Engineering (CR D.2), Artificial Intelligence (CR I.2), Information Systems Applications (CR H.4), Information Storage and Retrieval (CR H.3)

Relation: Lecture Notes in Computer Science; 6500; http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INBOOK-2010-05&engl=1

Availability: http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INBOOK-2010-05&engl=1

Authors: Baryannis, George, Danylevych, Olha, Karastoyanova, Dimka, Kyriakos, Kritikos, Leitner, Philipp, Rosenberg, Florian, Wetzstein, Branimir

Contributors: Institut für Architektur von Anwendungssystemen (IAAS)

Superior Title: In: Papazoglou, M. (ed.); Pohl, K. (ed.); Parkin, M. (ed.); Metzger, A. (ed.): Service Research Challenges and Solutions for the Future Internet: S-Cube - Towards Engineering, Managing and Adapting Service-Based Systems, pp. 55-84

Subject Terms: Computer-Communication Networks (CR C.2), Logics and Meanings of Programs (CR F.3), Software Engineering (CR D.2), Artificial Intelligence (CR I.2), Information Systems Applications (CR H.4), Information Storage and Retrieval (CR H.3)

Relation: Lecture Notes in Computer Science; 6500; http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INBOOK-2010-04&engl=1

Availability: http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INBOOK-2010-04&engl=1

Authors: Elm, Melanie, Wunderlich, Hans-Joachim

Contributors: ITI, Rechnerarchitektur

Superior Title: In: European Design and Automation Association (ed.): ACM/IEEE Design Automation and Test in Europe (DATE'10); Dresden, Germany; March 8-12, 2010, pp. 1243-1248

Subject Terms: Reliability, Testing, and Fault-Tolerance (CR B.8.1), Logic BIST, Diagnosis

Relation: Design, Automation and Test in Europe; http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2010-34&engl=1

Availability: http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2010-34&engl=1

Authors: Diekert, Volker, Kufleitner, Manfred

Contributors: FMI, Theoretische Informatik,

Superior Title: ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/TR-2009-04/TR-2009-04.pdf

Subject Terms: Mathematical Logic (CR F.4.1), Formal Languages (CR F.4.3), infinite words, regular languages, first-order logic, automata theory, semigroups, topology

File Description: application/pdf; 283809 Bytes

Relation: Technical Report No. 2009/04; http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=TR-2009-04&engl=1

Availability: http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=TR-2009-04&engl=1

Authors: Elm, Melanie, Wunderlich, Hans-Joachim

Contributors: ITI, Rechnerarchitektur

Superior Title: In: GMM/VDE/VDI/ITG (ed.): Zuverlässigkeit und Entwurf (GMM-FB 61), 3. GMM/GI/ITG-Fachtagung; Stuttgart, Germany, 21.09 - 23.09.2009, pp. 21-28

Subject Terms: Reliability, Testing, and Fault-Tolerance (CR B.8.1), Logic BIST, Diagnosis

Relation: GMM-Fachbericht; 61; VDE/VDI-Fachgesellschaft Mikroelektronik, Mikro- und Feinwerktechnik (GMM); http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-106&engl=1

Availability: http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-106&engl=1

Authors: Eberle, Hanna, Unger, Tobias, Leymann, Frank

Contributors: Institut für Architektur von Anwendungssystemen (IAAS)

Superior Title: In: Meersman, R. (ed.); Dillon, T. (ed.); Herrero, P. (ed.): On the Move to Meaningful Internet Systems: OTM 2009, Part I, pp. 398-405

Subject Terms: Software Engineering Design Tools and Techniques (CR D.2.2), Mathematical Logic (CR F.4.1), Process Managment, Process Adaption, Process Flexibility

Relation: Lecture Notes in Computer Science; 5870; Lecture Notes in Computer Science; http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-73&engl=1

Availability: https://doi.org/10.1007/978-3-642-05148-7_29
http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-73&engl=1

Authors: Marconi, Annapaola, Pistore, Marco, Sirbu, Adina, Leymann, Frank, Eberle, Hanna, Unger, Tobias

Contributors: Institut für Architektur von Anwendungssystemen (IAAS)

Superior Title: In: Baresi, Luciano (ed.); Chi, Chi-Hung (ed.); Suzuki, Jun (ed.): Service-Oriented Computing, 7th International Joint Conference,ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009, pp. 445-454

Subject Terms: Software Engineering Design Tools and Techniques (CR D.2.2), Mathematical Logic (CR F.4.1), Adaption, Adaptation, Business Process Management, Flexibility

Relation: Lecture Notes in Computer Science; 5900; http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-74&engl=1

Availability: https://doi.org/10.1007/978-3-642-10383-4_33
http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-74&engl=1