Formal methods for the validation of automotive product configuration data von SINZ, CARSTEN, KAISER, ANDREAS, KÜCHLIN, WOLFGANG

Volltext

Parallel propositional satisfiability checking with distributed dynamic learning von Blochinger, Wolfgang, Sinz, Carsten, Küchlin, Wolfgang

Volltext

SANchk: SQL-based SAN configuration checking von Gencay, Eray, Sinz, Carsten, Kuchlin, Wolfgang, Schafer, Thorsten

Volltext

Virtual Java devices. Integration of fieldbus based systems in the Internet von Lumpp, T., Gruhler, G., Kuchlin, W.

Volltext bestellen

Object-oriented robot control framework von Speck, A., Gruhler, G., Kuchlin, W.

Volltext bestellen

The design of an API for strict multithreading in C++ von BLOCHINGER, Wolfgang, KÜCHLIN, Wolfgang

Volltext

A service-based agent framework for distributed symbolic computation von SCHIMKAT, R.-D, BLOCHINGER, W, SINZ, C, FRIEDRICH, M, KÜCHLIN, W

Volltext

Proving Consistency Assertions for Automotive Product Data Management von Küchlin, Wolfgang, Sinz, Carsten

Volltext

Detection of dynamic execution errors in IBM system automation's rule-based expert system von Sinz, Carsten, Lumpp, Thomas, Schneider, Jürgen, Küchlin, Wolfgang

Volltext

Towards SLA-based optimal workload distribution in SANs von Gencay, E., Sinz, C., Kuchlin, W.

Volltext

Verifying CIM models of Apache Web-server configurations von Sinz, C., Khosravizadeh, A., Kuchlin, W., Mihajlovski, V.

Volltext bestellen

Remote fieldbus system management with Java and XML von Buhler, D., Kuchlin, W.

Volltext bestellen

SLA-based SAN design von Gencay, E., Sinz, C., Kuchlin, W.

Volltext bestellen

Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs von Sinz, Carsten, Küchlin, Wolfgang

Volltext

Parallel real root isolation using the coefficient sign variation method von Collins, G. E., Johnson, J. R., Küchlin, W.

Volltext

Mathematik für Informatik und BioInformatik von Wolff, M.P.H, Hauck, P, Küchlin, W

Volltext

Maintenance of distributed systems with mobile agents von Friedrich, M., Nusser, G., Kuchlin, W.

Volltext

An object-oriented platform for distributed high-performance symbolic computation von Blochinger, Wolfgang, Küchlin, Wolfgang, Ludwig, Christoph, Weber, Andreas

Volltext

Towards a verification of the rule-based expert system of the IBM SA for OS/390 Automation Manager von Sinz, C., Kuchlin, W., Lumpp, T.

Volltext bestellen

HighRobot: a high-performance universal robot control on parallel workstations von Kuchlin, W., Gruhler, G., Lumpp, Th, Speck, A.

Volltext bestellen