Publications

2023 | 2022 | 2021 | 2020 | 2018 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996

2023

Martin Wirsing and Alexander Knapp. 2023. A reduction-based cut-free Gentzen calculus for dynamic epistemic logic. DOI: 10.1093/jigpal/jzac078
PDF | BibTeX | RIS | DOI

2022

Rolf Hennicker and Alexander Knapp. 2022. Specification of systems with parameterised events: an institution-independent approach. DOI: 10.1016/j.jlamp.2022.100791
PDF | BibTeX | RIS | DOI

2021

Rolf Hennicker, Alexander Knapp and Alexandre Madeira. 2021. Hybrid dynamic logic institutions for event/data-based systems.
PDF | BibTeX | RIS | URL

Rolf Hennicker, Alexander Knapp and Alexandre Madeira. 2021. Observational interpretations of hybrid dynamic logic with binders and silent transitions. DOI: 10.1016/j.jlamp.2021.100698
BibTeX | RIS | DOI

2020

Alexander Knapp and María Victoria Cengarle. 2020. 2-term charters. DOI: 10.5381/jot.2020.19.3.a10
PDF | BibTeX | RIS | DOI

Alexander Knapp and Markus Roggenbach. 2020. Book Review: André Platzer: Logical foundations of cyber-physical systems. Springer International Publishing, 2018, XXXI+639 pp, ISBN: 978-3-319-63587-3 (Hardcover, $39.99). DOI: 10.1007/s00165-020-00510-7
PDF | BibTeX | RIS | DOI

2018

Benedikt Eberhardinger, Hella Seebach, André Reichstaller, Alexander Knapp and Wolfgang Reif. 2018. Adaptive tests for adaptive systems: the need for new concepts in testing for future software systems.
PDF | BibTeX | RIS | URL

Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Alexander Knapp and Wolfgang Reif. 2018. An approach for isolated testing of self-organization algorithms. DOI: 10.1007/978-3-319-74183-3_7
PDF | BibTeX | RIS | DOI

André Reichstaller, Benedikt Eberhardinger, Hella Seebach, Alexander Knapp and Wolfgang Reif. 2018. Applying deep learning for imitating adaptive agent behavior in statistical software testing.
PDF | BibTeX | RIS | URL

Maurice H. ter Beek, Stefania Gnesi and Alexander Knapp. 2018. Formal methods and automated verification of critical systems. DOI: 10.1007/s10009-018-0494-5
PDF | BibTeX | RIS | DOI

Maurice H. ter Beek, Stefania Gnesi and Alexander Knapp. 2018. Formal methods for transport systems. DOI: 10.1007/s10009-018-0487-4
PDF | BibTeX | RIS | DOI

Alexander Schiendorfer, Alexander Knapp, Gerrit Anders and Wolfgang Reif. 2018. MiniBrass: soft constraints for MiniZinc. DOI: 10.1007/s10601-018-9289-2
PDF | BibTeX | RIS | DOI

Johannes Leupolz, Alexander Knapp, Axel Habermaier and Wolfgang Reif. 2018. Qualitative and quantitative analysis of safety-critical systems with S#. DOI: 10.1007/s10009-017-0464-3
PDF | BibTeX | RIS | DOI

2016

Axel Habermaier, Alexander Knapp, Johannes Leupolz and Wolfgang Reif. 2016. Fault-aware modeling and specification for efficient formal safety analysis. DOI: 10.1007/978-3-319-45943-1_7
PDF | BibTeX | RIS | DOI

2015

Alexander Knapp, Till Mossakowski, Markus Roggenbach and Martin Glauer. 2015. An institution for simple UML state machines. DOI: 10.1007/978-3-662-46675-9_1
PDF | BibTeX | RIS | DOI

Alexander Knapp and María Victoria Cengarle. 2015. Institutions for OCL-like expression languages. DOI: 10.1007/978-3-319-15545-6_14
PDF | BibTeX | RIS | DOI

Rolf Hennicker and Alexander Knapp. 2015. Moving from interface theories to assembly theories. DOI: 10.1007/s00236-015-0220-7
PDF | BibTeX | RIS | DOI

Alexander Schiendorfer, Alexander Knapp, Jan-Philipp Steghöfer, Gerrit Anders, Florian Siefert and Wolfgang Reif. 2015. Partial valuation structures for qualitative soft constraints. DOI: 10.1007/978-3-319-15545-6_10
PDF | BibTeX | RIS | DOI

Alexander Knapp, Till Mossakowski and Markus Roggenbach. 2015. Towards an institutional framework for heterogeneous formal development in UML: a position paper. DOI: 10.1007/978-3-319-15545-6_15
PDF | BibTeX | RIS | DOI

2014

Rolf Hennicker, Alexander Knapp and Martin Wirsing. 2014. Assembly theories for communication-safe component systems. DOI: 10.1007/978-3-642-54848-2_10
PDF | BibTeX | RIS | DOI

Alexander Knapp and Harald Störrle. 2014. Efficient representation of timed UML 2 interactions. DOI: 10.1007/978-3-319-11743-0_8
PDF | BibTeX | RIS | DOI

Alexander Knapp and Alexander Schiendorfer. 2014. Embedding constraint relationships into C-semirings.
PDF | BibTeX | RIS

Alexander Knapp, Markus Roggenbach and Bernd-Holger Schlingloff. 2014. On the use of test cases in model-based software product line development. DOI: 10.1145/2648511.2648539
PDF | BibTeX | RIS | DOI

Alexander Knapp, Alexander Schiendorfer and Wolfgang Reif. 2014. Quality over quantity in soft constraints. DOI: 10.1109/ictai.2014.75
PDF | BibTeX | RIS | DOI

Benedikt Eberhardinger, Hella Seebach, Alexander Knapp and Wolfgang Reif. 2014. Towards testing self-organizing, adaptive systems. DOI: 10.1007/978-3-662-44857-1_13
PDF | BibTeX | RIS | DOI

2013

Vitalian A. Danciu and Alexander Knapp. 2013. Adapting applications to exploit virtualization management knowledge. DOI: 10.1109/cnsm.2013.6727858
PDF | BibTeX | RIS | DOI

Alexander Schiendorfer, Jan-Philipp Steghöfer, Alexander Knapp, Florian Nafz and Wolfgang Reif. 2013. Constraint relationships for soft constraints. DOI: 10.1007/978-3-319-02621-3_17
BibTeX | RIS | DOI

Marco Kuhrmann, Daniel Méndez Fernández, Oliver Linssen and Alexander Knapp. 2013. Modellierung von Vorgehensmodellen – Paradigmen, Sprachen, Tools.
PDF | BibTeX | RIS

Marco Kuhrmann, Georg Kalus and Alexander Knapp. 2013. Rapid Prototyping for Domain-specific Languages - From Stakeholder Analyses to Modelling Tools. DOI: 10.18417/emisa.8.1.4
PDF | BibTeX | RIS | DOI

Marco Kuhrmann, Daniel Méndez Fernández and Alexander Knapp. 2013. Who cares about software process modelling? A first investigation about the perceived value of process engineering and process consumption. DOI: 10.1007/978-3-642-39259-7_13
PDF | BibTeX | RIS | DOI

2012

Nora Koch, Alexander Knapp and Sergej Kozuruba. 2012. Assessment of effort reduction due to model-to-model transformations in the web domain. DOI: 10.1007/978-3-642-31753-8_16
PDF | BibTeX | RIS | DOI

G. Roeder, A. Mattes, M. Pfeffer, M. Schellenberger, L. Pfitzner, Alexander Knapp, H. Muhlberger, A. Kyek, B. Lenz, M. Frisch, J. Bichlmeier, G. Leditzky, E. Lind, S. Zoia and G. Fazio. 2012. Framework for integration of virtual metrology and predictive maintenance. DOI: 10.1109/asmc.2012.6212913
PDF | BibTeX | RIS | DOI

Axel Habermaier and Alexander Knapp. 2012. On the Correctness of the SIMT Execution Model of GPUs.
PDF | BibTeX | RIS

Axel Habermaier and Alexander Knapp. 2012. On the correctness of the SIMT execution model of GPUs. DOI: 10.1007/978-3-642-28869-2_16
PDF | BibTeX | RIS | DOI

Maximilian Junker, Ralf Huuck, Ansgar Fehnker and Alexander Knapp. 2012. SMT-based false positive elimination in static program analysis. DOI: 10.1007/978-3-642-34281-3_23
PDF | BibTeX | RIS | DOI

2011

Matthias P. Krieger, Alexander Knapp and Burkhart Wolff. 2011. Automatic and efficient simulation of operation contracts. DOI: 10.1145/1942788.1868303
PDF | BibTeX | RIS | DOI

M. Schellenberger, Georg Roeder, Andreas Mattes, Markus Pfeffer, Lothar Pfitzner, Alexander Knapp, H. Mühlberger, Josef Bichlmeier, Christian Valeanu, Andreas Kyek, Benjamin Lenz, Markus Frisch and Günther Leditzky. 2011. Developing a framework for virtual metrology and predictive maintenance.
PDF | BibTeX | RIS

Rolf Hennicker and Alexander Knapp. 2011. Modal interface theories for communication-safe component assemblies. DOI: 10.1007/978-3-642-23283-1_11
PDF | BibTeX | RIS | DOI

Marianne Busch, Alexander Knapp and Nora Koch. 2011. Modeling secure navigation in web information systems. DOI: 10.1007/978-3-642-24511-4_19
PDF | BibTeX | RIS | DOI

2010

Alexander Knapp, Grzegorz Marczyński, Martin Wirsing and Artur Zawłocki. 2010. A heterogeneous approach to service-oriented systems specification. DOI: 10.1145/1774088.1774600
PDF | BibTeX | RIS | DOI

Moritz Hammer and Alexander Knapp. 2010. Correct Execution of Reconfiguration for Stateful Components. DOI: 10.1016/j.entcs.2009.12.033
PDF | BibTeX | RIS | DOI

Matthias Hölzl, Alexander Knapp and Gefei Zhang. 2010. Modeling the car crash crisis management system using HiLA. DOI: 10.1007/978-3-642-16086-8_7
PDF | BibTeX | RIS | DOI

Rolf Hennicker, Stephan Janisch and Alexander Knapp. 2010. On the Observable Behaviour of Composite Components. DOI: 10.1016/j.entcs.2009.12.035
PDF | BibTeX | RIS | DOI

Rolf Hennicker, Stephan Janisch and Alexander Knapp. 2010. Refinement of components in connection-safe assemblies with synchronous and asynchronous communication. DOI: 10.1007/978-3-642-12566-9_9
PDF | BibTeX | RIS | DOI

2009

María Victoria Cengarle, Alexander Knapp and Heribert Mühlberger. 2009. Interactions. DOI: 10.1002/9780470522622.ch9
PDF | BibTeX | RIS | DOI | URL

Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frederic Jouault and Alexander Knapp. 2009. Preface: The Pragmatics of OCL and Other Textual Specification Languages 2009. DOI: 10.14279/tuj.eceasst.24.342.326
PDF | BibTeX | RIS | DOI

Christian Kroiss, Nora Koch and Alexander Knapp. 2009. UWE4JSF: a model-driven generation approach for web applications. DOI: 10.1007/978-3-642-02818-2_46
PDF | BibTeX | RIS | DOI

Artur Boronat, Alexander Knapp, José Meseguer and Martin Wirsing. 2009. What is a multi-modeling language?. DOI: 10.1007/978-3-642-03429-9_6
PDF | BibTeX | RIS | DOI

2008

María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki and Martin Wirsing. 2008. A heterogeneous approach to UML semantics. DOI: 10.1007/978-3-540-68679-8_23
PDF | BibTeX | RIS | DOI

María Victoria Cengarle and Alexander Knapp. 2008. An institution for UML 2.0 interactions.
PDF | BibTeX | RIS | URL

Matthias P. Krieger and Alexander Knapp. 2008. Executing Underspecified OCL Operation Contracts with a SAT Solver. DOI: 10.14279/tuj.eceasst.15.176.173
PDF | BibTeX | RIS | DOI

Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister and Martin Wirsing. 2008. Modelling the CoCoME with the Java/A component model. DOI: 10.1007/978-3-540-85289-6_9
PDF | BibTeX | RIS | DOI

2007

Rolf Hennicker and Alexander Knapp. 2007. Activity-driven synthesis of state machines. DOI: 10.1007/978-3-540-71289-3_8
PDF | BibTeX | RIS | DOI

Gefei Zhang, Matthias Hölzl and Alexander Knapp. 2007. Enhancing UML state machines with aspects. DOI: 10.1007/978-3-540-75209-7_36
PDF | BibTeX | RIS | DOI

Antonio Vallecillo, Nora Koch, Cristina Cachero, Sara Comai, Piero Fraternali, Irene Garrigós, Jaime Gómez, Gerti Kappel, Alexander Knapp, Maristella Matera, Santiago Meliá, Nathalie Moreno, Birgit Pröll, Thomas Reiter, Werner Retschitzegger, José E. Rivera, Andrea Schauerhuber, Wieland Schwinger, Manuel Wimmer and Gefei Zhang. 2007. MDWEnet: a practical approach to achieving interoperability of model-driven web engineering methods.
PDF | BibTeX | RIS | URL

Alexander Knapp and Jochen Wuttke. 2007. Model checking of UML 2.0 interactions. DOI: 10.1007/978-3-540-69489-2_6
PDF | BibTeX | RIS | DOI

Andreas Kraus, Alexander Knapp and Nora Koch. 2007. Model-driven generation of web applications in UWE.
PDF | BibTeX | RIS | URL

Andrew Fish, Alexander Knapp and Harald Störrle. 2007. Proceedings of the Workshop on the Layout of (Software) Engineering Diagrams (LED 2007) - Preface. DOI: 10.14279/tuj.eceasst.7
PDF | BibTeX | RIS | DOI

Pietro Cenciarelli, Alexander Knapp and Eleonora Sibilio. 2007. The Java memory model: operationally, denotationally, axiomatically. DOI: 10.1007/978-3-540-71316-6_23
PDF | BibTeX | RIS | DOI

Alexander Knapp, Nora Koch, Martin Wirsing and Gefei Zhang. 2007. UWE – Ein Ansatz zur modellgetriebenen Entwicklung von Webanwendungen (UWE – An Approach for the Model-Driven Development of Web Applications). DOI: 10.1524/icom.2007.6.3.5
PDF | BibTeX | RIS | DOI

Nora Koch, Alexander Knapp, Gefei Zhang and Hubert Baumeister. 2007. Uml-Based Web Engineering: An Approach Based on Standards. DOI: 10.1007/978-1-84628-923-1_7
BibTeX | RIS | DOI

2006

Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp and Martin Wirsing. 2006. A Component Model for Architectural Programming. DOI: 10.1016/j.entcs.2006.05.015
PDF | BibTeX | RIS | DOI

Alexander Knapp and Gefei Zhang. 2006. Model transformations for integrating and validating web application models.
PDF | BibTeX | RIS | URL

Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias Hölzl, Alexander Knapp, Nora Koch and Andreas Schroeder. 2006. Semantic-based development of service-oriented systems. DOI: 10.1007/11888116_3
PDF | BibTeX | RIS | DOI

Alexander Knapp, Stephan Merz, Martin Wirsing and Júlia Zappe. 2006. Specification and refinement of mobile systems in MTLA and mobile UML. DOI: 10.1016/j.tcs.2005.09.067
PDF | BibTeX | RIS | DOI

2005

Gefei Zhang, Hubert Baumeister, Nora Koch and Alexander Knapp. 2005. Aspect-oriented modeling of access control in web applications.
PDF | BibTeX | RIS

Hubert Baumeister, Alexander Knapp, Nora Koch and Gefei Zhang. 2005. Modelling adaptivity with aspects. DOI: 10.1007/11531371_53
PDF | BibTeX | RIS | DOI

Alexander Knapp, Nora Koch and Gefei Zhang. 2005. Modelling the behaviour of web applications with ArgoUWE. DOI: 10.1007/11531371_87
PDF | BibTeX | RIS | DOI

María Victoria Cengarle and Alexander Knapp. 2005. Operational semantics of UML 2.0 interactions.
PDF | BibTeX | RIS | URL

Moritz Hammer, Alexander Knapp and Stephan Merz. 2005. Truly on-the-fly LTL model checking. DOI: 10.1007/978-3-540-31980-1_13
PDF | BibTeX | RIS | DOI

2004

Michael Barth and Alexander Knapp. 2004. A Coordination Architecture for Time-Dependent Components.
BibTeX | RIS

A. Rauschmayer, Alexander Knapp and Martin Wirsing. 2004. Consistency checking in an infrastructure for large-scale generative programming. DOI: 10.1109/ase.2004.1342741
PDF | BibTeX | RIS | DOI

M. Bidoit, R. Hennicker, Alexander Knapp and H. Baumeister. 2004. Glass-box and black-box views on object-oriented specifications. DOI: 10.1109/sefm.2004.1347522
PDF | BibTeX | RIS | DOI

Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif and Andreas Thums. 2004. Interactive verification of UML state machines. DOI: 10.1007/978-3-540-30482-1_36
PDF | BibTeX | RIS | DOI

Alexander Knapp, Nora Koch, Gefei Zhang and Hanns-Martin Hassler. 2004. Modeling business processes in web applications with ArgoUWE. DOI: 10.1007/978-3-540-30187-5_6
PDF | BibTeX | RIS | DOI

Alexander Knapp, Nora Koch and Gefei Zhang. 2004. Modeling the structure of web applications with ArgoUWE. DOI: 10.1007/978-3-540-27834-4_91
PDF | BibTeX | RIS | DOI

María Victoria Cengarle and Alexander Knapp. 2004. OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness. DOI: 10.1007/s10270-003-0035-9
PDF | BibTeX | RIS | DOI

H. Baumeister, Alexander Knapp and Martin Wirsing. 2004. Property-driven development. DOI: 10.1109/sefm.2004.1347507
PDF | BibTeX | RIS | DOI

Martin Wirsing, Alexander Knapp and Simonetta Balsamo (Ed.). 2004. Radical innovations of software and systems engineering in the future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002; revised papers. DOI: 10.1007/b96009
BibTeX | RIS | DOI

Alexander Knapp, Stephan Merz and Martin Wirsing. 2004. Refining mobile UML state machines. DOI: 10.1007/978-3-540-27815-3_23
PDF | BibTeX | RIS | DOI

Rolf Hennicker, Alexander Knapp and Hubert Baumeister. 2004. Semantics of OCL Operation Specifications. DOI: 10.1016/j.entcs.2003.09.006
PDF | BibTeX | RIS | DOI

Alexander Knapp. 2004. Semantics of UML state machines.
PDF | BibTeX | RIS

Axel Rauschmayer, Alexander Knapp and Martin Wirsing. 2004. Type-checking AHEAD.
PDF | BibTeX | RIS

María Victoria Cengarle and Alexander Knapp. 2004. UML 2.0 interactions: semantics and refinement.
PDF | BibTeX | RIS | URL

Martin Wirsing and Alexander Knapp. 2004. View consistency in software development. DOI: 10.1007/978-3-540-24626-8_24
PDF | BibTeX | RIS | DOI

2003

Alexander Knapp, Nora Koch, Flavia Moser and Gefei Zhang. 2003. ArgoUWE: a CASE tool for web applications.
PDF | BibTeX | RIS | URL

2002

Martin Wirsing and Alexander Knapp. 2002. A formal approach to object-oriented software engineering. DOI: 10.1016/s0304-3975(01)00367-x
PDF | BibTeX | RIS | DOI

Alexander Knapp and Stephan Merz. 2002. Model checking and code generation for UML state machines and collaborations.
PDF | BibTeX | RIS

Alexander Knapp, Stephan Merz and Christopher Rauh. 2002. Model checking timed UML state machines and collaborations. DOI: 10.1007/3-540-45739-9_23
PDF | BibTeX | RIS | DOI

María Victoria Cengarle and Alexander Knapp. 2002. Towards OCL/RT. DOI: 10.1007/3-540-45614-7_22
PDF | BibTeX | RIS | DOI

2001

María Victoria Cengarle and Alexander Knapp. 2001. A formal semantics for OCL 1.4. DOI: 10.1007/3-540-45441-1_10
PDF | BibTeX | RIS | DOI

Timm Schäfer, Alexander Knapp and Stephan Merz. 2001. Model Checking UML State Machines and Collaborations. DOI: 10.1016/s1571-0661(04)00262-2
PDF | BibTeX | RIS | DOI

Hubert Baumeister, Rolf Henniker, Alexander Knapp and Martin Wirsing. 2001. OCL component invariants.
PDF | BibTeX | RIS | URL

María Victoria Cengarle and Alexander Knapp. 2001. On the expressive power of pure OCL.
PDF | BibTeX | RIS

Rolf Hennicker, Hubert Baumeister, Alexander Knapp and Martin Wirsing. 2001. Specifying component invariants with OCL.
PDF | BibTeX | RIS

Alexander Knapp. 2001. fOOSE - eine integrierte formale Softwareentwicklungsmethode.
PDF | BibTeX | RIS | URL

2000

2000. Dynamic Behaviour in UML Models: Semantic Questions; Workshop Proceedings.
BibTeX | RIS

Alexander Knapp. 2000. Generating Rewrite Theories from UML Collaborations. DOI: 10.1016/b978-044450556-9/50065-4
BibTeX | RIS | DOI

1999

Alexander Knapp. 1999. A formal semantics for UML interactions. DOI: 10.1007/3-540-46852-8_9
PDF | BibTeX | RIS | DOI

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus and Martin Wirsing. 1999. An event-based structural operational semantics of multi-threaded Java. DOI: 10.1007/3-540-48737-9_5
PDF | BibTeX | RIS | DOI

1998

Alexander Knapp. 1998. Case studies with CafeOBJ.
PDF | BibTeX | RIS

Bernhard Reus, Alexander Knapp, Pietro Cenciarelli and Martin Wirsing. 1998. Verifying a compiler optimization for multi-threaded Java. DOI: 10.1007/3-540-64299-4_47
BibTeX | RIS | DOI

1997

Alexander Knapp and Luis Mandel. 1997. An Implementation of The First-Order Constrained Lambda Calculus via Explicit Substitutions.
BibTeX | RIS

Alexander Knapp and Piotr Kosiuczenko. 1997. Developing formal semantics of epkml.
PDF | BibTeX | RIS

Alexander Knapp, N. Koch, Martin Wirsing, J. Duckeck, R. Lutze, H. Fritzsche, D. Timm, P. Closhen, M. Frisch, H.-J. Hoffmann, B. Gaede, J. Schneeberger, H. Stoyan and A. Turk. 1997. EPK-fix: Methods and tools for engineering electronic product catalogues. DOI: 10.1007/bfb0000352
BibTeX | RIS | DOI

Alexander Knapp and Nora Koch. 1997. EPKML: eine Spezifikationssprache für elektronische Produktkataloge.
PDF | BibTeX | RIS | URL

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus and Martin Wirsing. 1997. From sequential to multi-threaded Java: An event-based operational semantics. DOI: 10.1007/bfb0000464
BibTeX | RIS | DOI

1996

Martin Wirsing and Alexander Knapp. 1996. A Formal Approach to Object-Oriented Software Engineering. DOI: 10.1016/s1571-0661(04)00046-5
PDF | BibTeX | RIS | DOI

Rainer Lutze, Patrick Closhen, Jochen Duckeck, Hartmut Fritzsche, Bernd Gaede, Alexander Knapp, Hans-Jürgen Hoffmann, Nora Koch, Dietrich Timm and Andreas Turk. 1996. EPK-fix: Methoden und Werkzeuge zur effizienten Erstellung elektronischer Produktkataloge.
BibTeX | RIS

Alexander Knapp, Nora Koch and Luis Mandel. 1996. The EPKML language.
PDF | BibTeX | RIS

Search